alias to composeIso
alias to composeIso
alias to composePrism
alias to composePrism
alias to composeLens
alias to composeLens
alias to composeTraversal
alias to composeTraversal
alias to composeOptional
alias to composeOptional
check if all targets satisfy the predicate
check if all targets satisfy the predicate
compose a Fold with a PTraversal
compose a Fold with a PTraversal
check if at least one target satisfies the predicate
check if at least one target satisfies the predicate
find the first target of a Fold matching the predicate
find the first target of a Fold matching the predicate
combine all targets using a target's Monoid
combine all targets using a target's Monoid
get all the targets of a Fold TODO: Shall it return a Stream as there might be an infinite number of targets?
get all the targets of a Fold TODO: Shall it return a Stream as there might be an infinite number of targets?
get the first target of a Fold
get the first target of a Fold
join two Fold with the same target
join two Fold with the same target
A Fold can be seen as a Getter with many targets or a weaker PTraversal which cannot modify its target.
Fold is on the top of the Optic hierarchy which means that Getter, PTraversal, POptional, PLens, PPrism and PIso are valid Fold
the source of a Fold
the target of a Fold