com.mojang.datafixers.kinds

Interface Kind2<F extends K2,Mu extends Kind2 _>

Type Parameters:

F - The witness type for the type constructor this type class is defined for.

Mu - The witness type for this type class.

All Superinterfaces:

Mu<F>

All Known Subinterfaces:

AffineP<P,Mu>, com.mojang.datafixers.optics.profunctors.Bicontravariant<P,Mu>, Cartesian<P,Mu>, Closed<P,Mu>, Cocartesian<P,Mu>, FunctorProfunctor<T,P,Mu>, GetterP<P,Mu>, Mapping<P,Mu>, Monoidal<P,Mu>, MonoidProfunctor<P,Mu>, Profunctor<P,Mu>, ReCartesian<P,Mu>, ReCocartesian<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:

Adapter.Instance, Affine.Instance, Forget.Instance, ForgetOpt.Instance, FunctionType.Instance, Lens.Instance, Prism.Instance, ProfunctorFunctorWrapper.Instance, ReForgetC.Instance, Traversal.Instance

public interface Kind2<F extends K2,Mu extends Kind2 _>

A type class for a binary type constructor.

A type class may be thought of as an interface for types. All types that implement this type class must define the operations specified within that type class. This interface, being the base type for type classes, specifies no required operations.

Type Shape:

%.Type. %0

API Note:

This interface is called Kind2 because it operates on types of the kind K2.

See Also:

Kind1, K2, Type class