All Classes and Interfaces

Class
Description
 
 
 
 
 
 
AffineP<P extends K2,Mu extends AffineP.Mu>
 
 
 
App<F extends K1,A>
 
App2<F extends K2,A,B>
 
Applicative<F extends K1,Mu extends Applicative.Mu>
 
 
 
Cartesian<P extends K2,Mu extends Cartesian.Mu>
 
 
 
 
 
 
Closed<P extends K2,Mu extends Closed.Mu>
 
 
Cocartesian<P extends K2,Mu extends Cocartesian.Mu>
 
 
 
 
A combined Encoder and Decoder which can convert objects to and from a serialized form.
An operator on the result a codec, describing how to transform the result on both encoding and decoding.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Decodes objects from a serialized form.
Like a Decoder, but deserializes from a Dynamic, which combines the serialized form and the DynamicOps for that form.
Like a Decoder.Terminal, but deserializes from a Dynamic, which combines the serialized form and the DynamicOps for that form.
Can decode an object from a serialized form, but does not return any remaining serialized data.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Encodes objects to a serialized form.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Functor<F extends K1,Mu extends Functor.Mu>
 
 
FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor.Mu<T>>
 
 
GetterP<P extends K2,Mu extends GetterP.Mu>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Delegate codecs allow using the value of an initially decoded key to determine how to decode the rest of the input.
Kind1<F extends K1,Mu extends Kind1.Mu>
 
 
Kind2<F extends K2,Mu extends Kind2.Mu>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
A combined MapEncoder and MapDecoder which can convert objects to and from a series of fields.
A Codec that encodes and decodes a MapCodec.
 
 
 
 
 
 
Mapping<P extends K2,Mu extends Mapping.Mu>
 
 
 
Monoidal<P extends K2,Mu extends Monoidal.Mu>
 
 
 
 
 
 
Optic<Proof extends K1,S,T,A,B>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Procompose<F extends K2,G extends K2,A,B,C>
 
Procompose.Mu<F extends K2,G extends K2>
 
 
 
 
Products.P1<F extends K1,T1>
 
 
 
 
 
 
 
 
Products.P2<F extends K1,T1,T2>
 
Products.P3<F extends K1,T1,T2,T3>
 
Products.P4<F extends K1,T1,T2,T3,T4>
 
Products.P5<F extends K1,T1,T2,T3,T4,T5>
 
 
 
 
 
Profunctor<P extends K2,Mu extends Profunctor.Mu>
 
 
ProfunctorFunctorWrapper<P extends K2,F extends K1,G extends K1,A,B>
 
ProfunctorFunctorWrapper.Instance<P extends K2,F extends K1,G extends K1>
 
 
ProfunctorFunctorWrapper.Mu<P extends K2,F extends K1,G extends K1>
 
 
 
ReCartesian<P extends K2,Mu extends ReCartesian.Mu>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Traversable<T extends K1,Mu extends Traversable.Mu>
 
 
 
 
 
TraversalP<P extends K2,Mu extends TraversalP.Mu>