Package com.mojang.datafixers.optics.profunctors

Interface Summary

Interface	Description
AffineP<P extends K2,Mu extends AffineP _>	An interface combining the Cartesian and Cocartesian type classes.
AffineP.Mu	The witness type for AffineP.
Cartesian<P extends K2,Mu extends Cartesian _>	A profunctor that supports converting a transformation acting on some type to and from a transformation acting on pairs holding that type.
Cartesian.Mu	The witness type for Cartesian.
Closed<P extends K2,Mu extends Closed.Mu>	A Profunctor that may be turned into a transformation on functions.
Closed.Mu	The witness type for a Closed.
Cocartesian<P extends K2,Mu extends Cocartesian _>	A profunctor that supports converting a transformation acting on some type to and from a transformation acting on eithers holding that type.
Cocartesian.Mu	The witness type for Cocartesian.
FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor<T> _>	A type class that defines a method FunctorProfunctor.distribute(App, App2) that wraps the input and output of a profunctor into an effect defined via a functor.
FunctorProfunctor.Mu<T extends K1>	The witness type for FunctorProfunctor.
GetterP<P extends K2,Mu extends GetterP.Mu>
GetterP.Mu
Mapping<P extends K2,Mu extends Mapping.Mu>
Mapping.Mu
Monoidal<P extends K2,Mu extends Monoidal.Mu>
Monoidal.Mu
MonoidProfunctor<P extends K2,Mu extends MonoidProfunctor.Mu>
MonoidProfunctor.Mu
Profunctor<P extends K2,Mu extends Profunctor _>	The profunctor type class defines a method, Profunctor.dimap(Function, Function), which transforms a mapping between types to a mapping between wrapped types.
Profunctor.Mu	The witness type of a Profunctor.
ReCartesian<P extends K2,Mu extends ReCartesian _>	A profunctor that supports converting a transformation on one of the types in a pair into a transformation on that type.
ReCartesian.Mu	The witness type for ReCartesian.
ReCocartesian<P extends K2,Mu extends ReCocartesian _>	A profunctor that supports converting a transformation on one of the types in an Either into a transformation on that type.
ReCocartesian.Mu	The witness type for ReCocartesian.
TraversalP<P extends K2,Mu extends TraversalP _>	The Profunctor type class for Traversal optics.
TraversalP.Mu	The witness type for TraversalP.

Class Summary

Class	Description
ProfunctorFunctorWrapper<P extends K2,F extends K1,G extends K1,A,B>
ProfunctorFunctorWrapper.Instance<P extends K2,F extends K1,G extends K1>
ProfunctorFunctorWrapper.Instance.Mu
ProfunctorFunctorWrapper.Mu<P extends K2,F extends K1,G extends K1>