convlist/3 | Similar
to maplist/3, but elements for which call(Goal, ElemIn, _) fails are
omitted from ListOut. |
exclude/3 | Filter
elements for which Goal fails. |
foldl/4 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/5 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/6 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/7 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
include/3 | Filter
elements for which Goal succeeds. |
maplist/2 | True
if Goal is successfully applied on all matching elements of the list. |
maplist/3 | True
if Goal is successfully applied on all matching elements of the list. |
maplist/4 | True
if Goal is successfully applied on all matching elements of the list. |
maplist/5 | True
if Goal is successfully applied on all matching elements of the list. |
partition/4 | Filter
elements of List according to Pred. |
partition/5 | Filter
List according to Pred in three sets. |
scanl/4 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/5 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/6 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/7 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |