Package fj.data.optic

Class PSetter<S,T,A,B>

java.lang.Object
fj.data.optic.PSetter<S,T,A,B>
Type Parameters:
S - the source of a PSetter
T - the modified source of a PSetter
A - the target of a PSetter
B - the modified target of a PSetter
Direct Known Subclasses:
Setter

public abstract class PSetter<S,T,A,B> extends Object
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 to B and S to T.

PTraversal, POptional, PPrism, PLens and PIso are valid PSetter