Uses of Package
fj.data.optic

Packages that use fj.data.optic
Package
Description
fj
Types that set the premise for the existence of Functional Java.
fj.data
Common algebraic data types.
fj.data.optic
Optic data types adapted from the Scala Monocle library and inspired by the Haskell Lens library.
  • Classes in fj.data.optic used by fj
    Class
    Description
    Lens
    PLens with a monomorphic set function
    PLens
    A PLens can be seen as a pair of functions: get: S => A i.e. from an S, we can extract an A set: (B, S) => T i.e. if we replace an A by a B in an S, we obtain a T
  • Classes in fj.data.optic used by fj.data
    Class
    Description
    Optional
    POptional restricted to monomorphic update
    PPrism
    A PPrism can be seen as a pair of functions: getOrModify: S => T \/ A reverseGet : B => T
    Prism
    PPrism restricted to monomorphic update
    PTraversal
    A PTraversal can be seen as a POptional generalised to 0 to n targets where n can be infinite.
    Traversal
     
  • Classes in fj.data.optic used by fj.data.optic
    Class
    Description
    Fold
    A Fold can be seen as a Getter with many targets or a weaker PTraversal which cannot modify its target.
    Getter
    A Getter can be seen as a glorified get method between a type S and a type A.
    Iso
    PIso when S = T and A = B
    Lens
    PLens with a monomorphic set function
    Optional
    POptional restricted to monomorphic update
    PIso
    A PIso defines an isomorphism between types S, A and B, T:
    PLens
    A PLens can be seen as a pair of functions: get: S => A i.e. from an S, we can extract an A set: (B, S) => T i.e. if we replace an A by a B in an S, we obtain a T
    POptional
    A POptional can be seen as a pair of functions: getOrModify: S => T \/ A set : (B, S) => T
    PPrism
    A PPrism can be seen as a pair of functions: getOrModify: S => T \/ A reverseGet : B => T
    Prism
    PPrism restricted to monomorphic update
    PSetter
    A PSetter is a generalisation of Functor map: map: (A => B) => F[A] => F[B] modify: (A => B) => S => T
    PTraversal
    A PTraversal can be seen as a POptional generalised to 0 to n targets where n can be infinite.
    Setter
    PSetter with a monomorphic modify function
    Traversal