| Interface | Description |
|---|---|
| Adapter<S,T,A,B> |
An adapter is an optic that defines an invertible transformation between the input and output types.
|
| Affine<S,T,A,B> |
An affine is an optic that provides access and modification to a single optional field.
|
| Forget<R,A,B> | |
| ForgetOpt<R,A,B> | |
| Lens<S,T,A,B> |
A lens is an optic the provides access and modification to a single field.
|
| Optic<Proof extends K1,S,T,A,B> |
An optic is a generic tool used to inspect and modify part of a structure.
|
| Prism<S,T,A,B> |
A prism is an optic that provides pattern matching against and construction from a field.
|
| ReForgetC<R,A,B> | |
| Traversal<S,T,A,B> |
A traversal is an optic that implements a structure-preserving transformation for (i.e.
|
| Wander<S,T,A,B> |
A generalization of
Traversable for any object types, not just functors. |
| Class | Description |
|---|---|
| Adapter.Instance<A2,B2> |
The
Profunctor type class instance for Adapter. |
| Adapter.Mu<A,B> |
The witness type for
Adapter. |
| Affine.Instance<A2,B2> | |
| Affine.Mu<A,B> |
The witness type for
Affine. |
| Forget.Instance<R> | |
| Forget.Instance.Mu<R> | |
| Forget.Mu<R> | |
| ForgetOpt.Instance<R> | |
| ForgetOpt.Instance.Mu<R> | |
| ForgetOpt.Mu<R> | |
| Inj1<F,G,F2> | |
| Inj2<F,G,G2> | |
| InjTagged<K,A,B> |
Unchecked cast if name matches
|
| Lens.Box<S,T,A,B> | |
| Lens.Instance<A2,B2> | |
| Lens.Mu<A,B> |
The witness type for
Lens with the field types applied. |
| Lens.Mu2<S,T> |
The witness type for
Lens with the object types applied. |
| ListTraversal<A,B> | |
| Optic.CompositionOptic<Proof extends K1,S,T,A,B,A1,B1> |
An optic that represents the composition of two compatible optics.
|
| Optics | |
| Prism.Instance<A2,B2> |
The
Cocartesian type class instance for Prism. |
| Prism.Mu<A,B> |
The witness type for
Prism. |
| Procompose<F extends K2,G extends K2,A,B,C> |
A composition of profunctors.
|
| Procompose.Mu<F extends K2,G extends K2> |
The witness type of
Procompose. |
| Proj1<F,G,F2> | |
| Proj2<F,G,G2> | |
| ReForgetC.Instance<R> | |
| ReForgetC.Instance.Mu<R> | |
| ReForgetC.Mu<R> | |
| Traversal.Instance<A2,B2> |
The
TraversalP type class instance for Traversal. |
| Traversal.Mu<A,B> |
The witness type for
Traversal. |