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
join two Fold with the same target
join two Fold with the same target
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 matching the predicate
find the first target 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
get all the targets of a Fold
get the first target
get the first target
check if there is no target
check if there is no target
get the last target
get the last target
calculate the number of targets
calculate the number of targets
check if there is at least one target
check if there is at least one 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