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>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Kind1.Mu

Method Summary

Modifier and Type	Method	Description
default <T1> Products.P1<F,T1>	group(App<F,T1> t1)
default <T1, T2> Products.P2<F,T1,T2>	group(App<F,T1> t1, App<F,T2> t2)
default <T1, T2, T3> Products.P3<F,T1,T2,T3>	group(App<F,T1> t1, App<F,T2> t2, App<F,T3> t3)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
static <F extends K1, Proof extends Kind1.Mu> Kind1<F,Proof>	unbox(App<Proof,F> proofBox)

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)