modify polymorphically the target of a PTraversal with an Applicative function all traversal methods are written in terms of modifyF
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
view a PTraversal as a Fold
view a PTraversal as a Fold
view a PTraversal as a PSetter
view a PTraversal as a PSetter
join two PTraversal with the same target
join two PTraversal with the same target
compose a PTraversal with a Fold
compose a PTraversal with a Fold
compose a PTraversal with a Getter
compose a PTraversal with a Getter
compose a PTraversal with a PIso
compose a PTraversal with a PIso
compose a PTraversal with a PLens
compose a PTraversal with a PLens
compose a PTraversal with a POptional
compose a PTraversal with a POptional
compose a PTraversal with a PPrism
compose a PTraversal with a PPrism
compose a PTraversal with a PSetter
compose a PTraversal with a PSetter
compose a PTraversal with a PTraversal
compose a PTraversal 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 PTraversal matching the predicate
find the first target of a PTraversal matching the predicate
combine all targets using a target's Monoid
combine all targets using a target's Monoid
map each target to a Monoid and combine the results
map each target to a Monoid and combine the results
get all the targets of a PTraversal
get all the targets of a PTraversal
get the first target of a PTraversal
get the first target of a PTraversal
calculate the number of targets
calculate the number of targets
modify polymorphically the target of a PTraversal with a function
modify polymorphically the target of a PTraversal with a function
set polymorphically the target of a PTraversal with a value
set polymorphically the target of a PTraversal with a value
(Since version 1.2.0) use choice
A PTraversal can be seen as a POptional generalised to 0 to n targets where n can be infinite.
PTraversal stands for Polymorphic Traversal as it set and modify methods change a type
A
toB
andS
toT
. Traversal is a type alias for PTraversal restricted to monomorphic updates:type Traversal[S, A] = PTraversal[S, S, A, A]
the source of a PTraversal
the modified source of a PTraversal
the target of a PTraversal
the modified target of a PTraversal
monocle.law.TraversalLaws