login

F.2.2 library(apply)

exclude/3Filter elements for which Goal fails.
foldl/4Fold a list, using arguments of the list as left argument.
foldl/5Fold a list, using arguments of the list as left argument.
foldl/6Fold a list, using arguments of the list as left argument.
foldl/7Fold a list, using arguments of the list as left argument.
include/3Filter elements for which Goal succeeds.
maplist/2True if Goal can successfully be applied on all elements of List.
maplist/3As maplist/2, operating on pairs of elements from two lists.
maplist/4As maplist/2, operating on triples of elements from three lists.
maplist/5As maplist/2, operating on quadruples of elements from four lists.
partition/4Filter elements of List according to Pred.
partition/5Filter List according to Pred in three sets.
scanl/4Left scan of list.
scanl/5Left scan of list.
scanl/6Left scan of list.
scanl/7Left scan of list.