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.

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.
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