com.mojang.datafixers.kinds

Interface K1

All Known Subinterfaces:

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

All Known Implementing Classes:

Const.Instance.Mu, Const.Mu, DataResult.Instance.Mu, DataResult.Mu, Either.Instance.Mu, Either.Mu, Forget.Instance.Mu, ForgetOpt.Instance.Mu, FunctionType.Instance.Mu, FunctionType.ReaderInstance.Mu, FunctionType.ReaderMu, IdF.Instance.Mu, IdF.Mu, ListBox.Instance.Mu, ListBox.Mu, OptionalBox.Instance.Mu, OptionalBox.Mu, Pair.Instance.Mu, Pair.Mu, ProfunctorFunctorWrapper.Instance.Mu, RecordCodecBuilder.Mu, ReForgetC.Instance.Mu, Type.Mu

public interface K1

A marker interface representing a unary type constructor, also called a kind.

A type constructor may be thought of as an unapplied parameterized type. For example, the parameterized type List<String> is an application of the type constructor List<_> on the type String. In DFU, application of a type constructor is done using App.

See Also:

App, K2, Kind (Type Theory)