com.mojang.datafixers.kinds

Interface App2<F extends K2,A,B>

Type Parameters:

F - The type witness representing the type constructor. This is often a nested Mu empty class.

A - The first type applied to the type constructor.

B - The second type applied to the type constructor.

All Known Subinterfaces:

Adapter<S,T,A,B>, Affine<S,T,A,B>, Forget<R,A,B>, ForgetOpt<R,A,B>, FunctionType<A,B>, Lens<S,T,A,B>, Prism<S,T,A,B>, ReForgetC<R,A,B>, Traversal<S,T,A,B>

All Known Implementing Classes:

Inj1, Inj2, InjTagged, Lens.Box, ListTraversal, Procompose, ProfunctorFunctorWrapper, Proj1, Proj2, View

public interface App2<F extends K2,A,B>

A marker interface representing an applied binary type constructor. This interface is necessary because Java does not support higher-kinded types.

For a generic (or higher kinded) type F<_, _>, the use of App2<F.Mu, A, B> corresponds to the parameterized type F<A, B>. This allows algorithms to be generified over the type of the constructor F, which is not otherwise possible in Java.

Type Shape:

%(0,1,2)

See Also:

K2, App