ForEach
is an abstraction that describes the ability to iterate over a collection, performing an effect for each element in the collection and returning a collection with the same shape in the context of the effect.
By choosing the appropriate effect type to traverse with a wide range of operations on collections can be described. In particular, by traversing with state we can describe folds which allow implementing a wide variety of collection operations that produce summaries from a collection of values.
Attributes
Members list
Value members
Abstract methods
Traverse each element in the collection using the specified effectual function f
, returning a new collection with the results in the context of the effect.
Traverse each element in the collection using the specified effectual function f
, returning a new collection with the results in the context of the effect.
Attributes
Concrete methods
Collects elements of the collection for which the partial functionpf
is defined.
Collects elements of the collection for which the partial functionpf
is defined.
Attributes
Collects elements of the collection for which the effectual partial function pf
is defined.
Collects elements of the collection for which the effectual partial function pf
is defined.
Attributes
Reduces the collection to a summary value using the associative operation. Alias for fold
.
Reduces the collection to a summary value using the associative operation. Alias for fold
.
Attributes
Returns whether the collection contains the specified element.
Returns whether the collection contains the specified element.
Attributes
Returns the number of elements in the collection that satisfy the specified predicate.
Returns the number of elements in the collection that satisfy the specified predicate.
Attributes
Returns whether any element of the collection satisfies the specified predicate.
Returns whether any element of the collection satisfies the specified predicate.
Attributes
Filters the collection with the predicate f
.
Filters the collection with the predicate f
.
Attributes
Filters the collection with the effectual predicate f
.
Filters the collection with the effectual predicate f
.
Attributes
Returns the first element in the collection satisfying the specified predicate if one exists or None
otherwise.
Returns the first element in the collection satisfying the specified predicate if one exists or None
otherwise.
Attributes
Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.
Converts a collection with elements that are in the context of effects to a collection of elements in the context of an effect.
Attributes
Folds over the elements of this collection using an associative operation and an identity. Alias for reduceIdentity
.
Folds over the elements of this collection using an associative operation and an identity. Alias for reduceIdentity
.
Attributes
Folds over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.
Folds over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.
Attributes
Effectually fold over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.
Effectually fold over the elements of this collection from left to right to produce a summary value, maintaining some internal state along the way.
Attributes
Maps each element of the collection to a type B
for which an Identity
is defined using the function f
, then reduces those values to a single summary using the combine
operation of Identity
, or the identity
element if the collection is empty.
Maps each element of the collection to a type B
for which an Identity
is defined using the function f
, then reduces those values to a single summary using the combine
operation of Identity
, or the identity
element if the collection is empty.
Attributes
Effectfully maps each element of the collection to a type B
for which an Identity
is defined using the function f
, then reduces those values to a single summary using the combine
operation of Identity
, or the identity
element if the collection is empty.
Effectfully maps each element of the collection to a type B
for which an Identity
is defined using the function f
, then reduces those values to a single summary using the combine
operation of Identity
, or the identity
element if the collection is empty.
Attributes
Folds over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.
Folds over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.
Attributes
Effectually fold over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.
Effectually fold over the elements of this collection from right to left to produce a summary value, maintaining some internal state along the way.
Attributes
Traverses each element in the collection with the specified effectual function f
purely for its effects.
Traverses each element in the collection with the specified effectual function f
purely for its effects.
Attributes
Returns whether any element of the collection satisfies the specified predicate.
Returns whether any element of the collection satisfies the specified predicate.
Attributes
Folds over the elements of this collection using an associative operation with the middle element interspersed between every element.
Folds over the elements of this collection using an associative operation with the middle element interspersed between every element.
Attributes
Returns whether the collection is empty.
Returns whether the collection is empty.
Attributes
Lifts a function operating on values to a function that operates on each element of a collection.
Lifts a function operating on values to a function that operates on each element of a collection.
Attributes
Statefully maps over the elements of the collection, maintaining some state along the way and returning the final state along with the new collection.
Statefully maps over the elements of the collection, maintaining some state along the way and returning the final state along with the new collection.
Attributes
Returns the largest element in the collection if one exists, using the function f
to map each element to a type for which an Ord
is defined, or None
otherwise.
Returns the largest element in the collection if one exists, using the function f
to map each element to a type for which an Ord
is defined, or None
otherwise.
Attributes
Returns the largest value in the collection if one exists or None
otherwise.
Returns the largest value in the collection if one exists or None
otherwise.
Attributes
Returns the smallest element in the collection if one exists, using the function f
to map each element to a type for which an Ord
is defined, or None
otherwise.
Returns the smallest element in the collection if one exists, using the function f
to map each element to a type for which an Ord
is defined, or None
otherwise.
Attributes
Returns the smallest value in the collection if one exists or None
otherwise.
Returns the smallest value in the collection if one exists or None
otherwise.
Attributes
Returns whether the collection contains at least one element
Returns whether the collection contains at least one element
Attributes
Partitions the collection based on the specified function.
Partitions the collection based on the specified function.
Attributes
Partitions the collection based on the specified effectual function.
Partitions the collection based on the specified effectual function.
Attributes
Partitions the collection based on the specified validation function.
Partitions the collection based on the specified validation function.
Attributes
Returns the product of all elements in the collection.
Returns the product of all elements in the collection.
Attributes
Reduces the collection to a summary value using the associative operation, returning None
if the collection is empty.
Reduces the collection to a summary value using the associative operation, returning None
if the collection is empty.
Attributes
Reduces the collection to a summary value using the idempotent operation, returning None
if the collection is empty.
Reduces the collection to a summary value using the idempotent operation, returning None
if the collection is empty.
Attributes
Reduces the collection to a summary value using the associative operation. Alias for fold
.
Reduces the collection to a summary value using the associative operation. Alias for fold
.
Attributes
Maps each element of the collection to a type B
for which an associative operation exists and then reduces the values using the associative operation, returning None
if the collection is empty.
Maps each element of the collection to a type B
for which an associative operation exists and then reduces the values using the associative operation, returning None
if the collection is empty.
Attributes
Reduces the collection to a summary value using the binary function f
, returning None
if the collection is empty.
Reduces the collection to a summary value using the binary function f
, returning None
if the collection is empty.
Attributes
Reverses the order of elements in the collection.
Reverses the order of elements in the collection.
Attributes
Returns the number of elements in the collection.
Returns the number of elements in the collection.
Attributes
Returns the sum of all elements in the collection.
Returns the sum of all elements in the collection.
Attributes
Converts the collection to a Chunk
.
Converts the collection to a Chunk
.
Attributes
Converts the collection to a List
.
Converts the collection to a List
.
Attributes
Zips the left collection and right collection together, using None
to handle the case where one collection is larger than the other.
Zips the left collection and right collection together, using None
to handle the case where one collection is larger than the other.
Attributes
Zips the left collection and right collection together, using the specified function to handle the cases where one collection is larger than the other.
Zips the left collection and right collection together, using the specified function to handle the cases where one collection is larger than the other.
Attributes
Zips each element of the collection with its index.
Zips each element of the collection with its index.
Attributes
Inherited methods
Compose covariant and contravariant functors.
Compose two covariant functors.
Compose two invariant functors.
Attributes
- Inherited from:
- Invariant
Attributes
- Inherited from:
- Invariant
Attributes
- Inherited from:
- Covariant