Package com.mojang.datafixers.kinds
Interface App<F extends K1,A>
- 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>