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
join two PSetter with the same target
join two PSetter with the same target
compose a PSetter with a PTraversal
compose a PSetter with a PTraversal
A PSetter is a generalisation of Functor map:
map: (A => B) => F[A] => F[B]
modify: (A => B) => S => T
PSetter stands for Polymorphic Setter as it set and modify methods change a type
A
toB
andS
toT
. Setter is a type alias for PSetter restricted to monomorphic updates:type Setter[S, A] = PSetter[S, S, A, A]
PTraversal, POptional, PPrism, PLens and PIso are valid PSetter
the source of a PSetter
the modified source of a PSetter
the target of a PSetter
the modified target of a PSetter
monocle.law.SetterLaws