Uses of Package
fj.data.optic
Packages that use fj.data.optic
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
Optic data types adapted from the Scala Monocle library
and inspired by the
Haskell Lens library.
-
Classes in fj.data.optic used by fj
-
Classes in fj.data.optic used by fj.dataClassDescription
POptional
restricted to monomorphic updatePPrism
restricted to monomorphic updateAPTraversal
can be seen as aPOptional
generalised to 0 to n targets where n can be infinite. -
Classes in fj.data.optic used by fj.data.opticClassDescriptionA
Fold
can be seen as aGetter
with many targets or a weakerPTraversal
which cannot modify its target.AGetter
can be seen as a glorified get method between a type S and a type A.PIso
when S = T and A = BPLens
with a monomorphic set functionPOptional
restricted to monomorphic updateAPIso
defines an isomorphism between types S, A and B, T:APLens
can be seen as a pair of functions:get: S => A
i.e.PPrism
restricted to monomorphic updateAPSetter
is a generalisation of Functor map:map: (A => B) => F[A] => F[B]
modify: (A => B) => S => T
APTraversal
can be seen as aPOptional
generalised to 0 to n targets where n can be infinite.PSetter
with a monomorphic modify function