com.mojang.datafixers.kinds

Interface App<F extends K1,A>

Type Parameters:

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

A - The type applied to the type constructor.

All Known Subinterfaces:

AffineP<P,Mu>, Applicative<F,Mu>, com.mojang.datafixers.optics.profunctors.Bicontravariant<P,Mu>, Cartesian<P,Mu>, CartesianLike<T,C,Mu>, Closed<P,Mu>, Cocartesian<P,Mu>, CocartesianLike<T,C,Mu>, FunctionType<A,B>, Functor<F,Mu>, FunctorProfunctor<T,P,Mu>, GetterP<P,Mu>, Kind1<F,Mu>, Kind2<F,Mu>, Mapping<P,Mu>, Monoidal<P,Mu>, MonoidProfunctor<P,Mu>, Profunctor<P,Mu>, ReCartesian<P,Mu>, ReCocartesian<P,Mu>, Representable<T,C,Mu>, Traversable<T,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:

Adapter.Instance, Affine.Instance, Check.CheckType, CompoundList.CompoundListType, Const, Const.Instance, Const.PrimitiveType, DataResult, DataResult.Instance, Either, Either.Instance, EmptyPart, EmptyPartPassthrough, Forget.Instance, ForgetOpt.Instance, Func, FunctionType.Instance, FunctionType.ReaderInstance, Hook.HookType, IdF, IdF.Instance, Lens.Instance, List.ListType, ListBox, ListBox.Instance, Named.NamedType, OptionalBox, OptionalBox.Instance, Pair, Pair.Instance, Prism.Instance, Product.ProductType, ProfunctorFunctorWrapper.Instance, RecordCodecBuilder, RecordCodecBuilder.Instance, RecursivePoint.RecursivePointType, ReForgetC.Instance, Sum.SumType, Tag.TagType, TaggedChoice.TaggedChoiceType, Traversal.Instance, Type

public interface App<F extends K1,A>

A marker interface representing an applied unary 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 App<F.Mu, A> corresponds to the parameterized type F<A>. This allows algorithms to be generified over the type of the constructor F, which is not otherwise possible in Java.

Type Shape:

%(0,1)

See Also:

K1