Package com.mojang.datafixers.kinds

Interface Kind1<F extends K1,Mu extends Kind1.Mu>

All Superinterfaces:
App<Mu,F>
All Known Subinterfaces:
Applicative<F,Mu>, CartesianLike<T,C,Mu>, CocartesianLike<T,C,Mu>, Functor<F,Mu>, Representable<T,C,Mu>, Traversable<T,Mu>
All Known Implementing Classes:
Const.Instance, DataResult.Instance, Either.Instance, FunctionType.ReaderInstance, IdF.Instance, ListBox.Instance, OptionalBox.Instance, Pair.Instance, RecordCodecBuilder.Instance
public interface Kind1<F extends K1,Mu extends Kind1.Mu> extends App<Mu,F>

  • Method Details

    • unbox

      static <F extends K1, Proof extends Kind1.Mu> Kind1<F,Proof> unbox(App<Proof,F> proofBox)

    • group

      default <T1> Products.P1<F,T1> group(App<F,T1> t1)

    • group

      default <T1, T2> Products.P2<F,T1,T2> group(App<F,T1> t1, App<F,T2> t2)

    • group

      default <T1, T2, T3> Products.P3<F,T1,T2,T3> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3)

    • group

      default <T1, T2, T3, T4> Products.P4<F,T1,T2,T3,T4> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4)

    • group

      default <T1, T2, T3, T4, T5> Products.P5<F,T1,T2,T3,T4,T5> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5)

    • group

      default <T1, T2, T3, T4, T5, T6> Products.P6<F,T1,T2,T3,T4,T5,T6> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6)

    • group

      default <T1, T2, T3, T4, T5, T6, T7> Products.P7<F,T1,T2,T3,T4,T5,T6,T7> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8> Products.P8<F,T1,T2,T3,T4,T5,T6,T7,T8> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9> Products.P9<F,T1,T2,T3,T4,T5,T6,T7,T8,T9> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Products.P10<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Products.P11<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> Products.P12<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11, App<F,T12> t12)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> Products.P13<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11, App<F,T12> t12, App<F,T13> t13)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> Products.P14<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11, App<F,T12> t12, App<F,T13> t13, App<F,T14> t14)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> Products.P15<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11, App<F,T12> t12, App<F,T13> t13, App<F,T14> t14, App<F,T15> t15)

    • group

      default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Products.P16<F,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4, App<F,T5> t5, App<F,T6> t6, App<F,T7> t7, App<F,T8> t8, App<F,T9> t9, App<F,T10> t10, App<F,T11> t11, App<F,T12> t12, App<F,T13> t13, App<F,T14> t14, App<F,T15> t15, App<F,T16> t16)