Predicate that checks if a Traversable
contains a value
equal to U
.
Predicate that counts the number of elements in a Traversable
which satisfy the predicate PA
and passes the result to the numeric
predicate PC
.
Predicate that checks if a Traversable
is empty.
Predicate that checks if the predicate P
holds for some elements of a
Traversable
.
Predicate that checks if the predicate P
holds for all elements of a
Traversable
.
Predicate that checks if the predicate P
holds for the first element
of a Traversable
.
Predicate that checks if the predicate P
holds for the element at
index N
of a sequence.
Predicate that checks if the predicate P
holds for all but the last
element of a Traversable
.
Predicate that checks if the predicate P
holds for the last element
of a Traversable
.
Predicate that checks if the size of a Traversable
is less than
or equal to N
.
Predicate that checks if the size of a Traversable
is greater than
or equal to N
.
Predicate that checks if a Traversable
is not empty.
Predicate that checks if the size of a Traversable
satisfies the
predicate P
.
Predicate that checks if the predicate P
holds for all but the first
element of a Traversable
.
Module for collection predicates.