Package com.mojang.datafixers.kinds

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

All Superinterfaces:

App<Mu,F>, Functor<F,Mu>, Kind1<F,Mu>

All Known Implementing Classes:

Const.Instance, DataResult.Instance, Either.Instance, IdF.Instance, OptionalBox.Instance, RecordCodecBuilder.Instance

public interface Applicative<F extends K1,Mu extends Applicative.Mu>
extends Functor<F,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Applicative.Mu

Method Summary

Modifier and Type	Method	Description
default <A, R> App<F,R>	ap(App<F,Function<A,R>> func, App<F,A> arg)
default <A, R> App<F,R>	ap(Function<A,R> func, App<F,A> arg)
default <T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, R> App<F,R>	ap10(App<F,Function10<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,R>> func, 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, R> App<F,R>	ap11(App<F,Function11<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,R>> func, 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, R> App<F,R>	ap12(App<F,Function12<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,R>> func, 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, R> App<F,R>	ap13(App<F,Function13<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,R>> func, 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, R> App<F,R>	ap14(App<F,Function14<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,R>> func, 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, R> App<F,R>	ap15(App<F,Function15<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,R>> func, 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, R> App<F,R>	ap16(App<F,Function16<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,R>> func, 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)
default <A, B, R> App<F,R>	ap2(App<F,BiFunction<A,B,R>> func, App<F,A> a, App<F,B> b)
default <T1, T2, T3, R> App<F,R>	ap3(App<F,Function3<T1,T2,T3,R>> func, App<F,T1> t1, App<F,T2> t2, App<F,T3> t3)
default <T1, T2, T3, T4, R> App<F,R>	ap4(App<F,Function4<T1,T2,T3,T4,R>> func, App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4)
default <T1, T2, T3, T4, T5, R> App<F,R>	ap5(App<F,Function5<T1,T2,T3,T4,T5,R>> func, 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, R> App<F,R>	ap6(App<F,Function6<T1,T2,T3,T4,T5,T6,R>> func, 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, R> App<F,R>	ap7(App<F,Function7<T1,T2,T3,T4,T5,T6,T7,R>> func, 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, R> App<F,R>	ap8(App<F,Function8<T1,T2,T3,T4,T5,T6,T7,T8,R>> func, 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, R> App<F,R>	ap9(App<F,Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R>> func, 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 <A, B, R> App<F,R>	apply2(BiFunction<A,B,R> func, App<F,A> a, App<F,B> b)
default <T1, T2, T3, R> App<F,R>	apply3(Function3<T1,T2,T3,R> func, App<F,T1> t1, App<F,T2> t2, App<F,T3> t3)
default <T1, T2, T3, T4, R> App<F,R>	apply4(Function4<T1,T2,T3,T4,R> func, App<F,T1> t1, App<F,T2> t2, App<F,T3> t3, App<F,T4> t4)
default <T1, T2, T3, T4, T5, R> App<F,R>	apply5(Function5<T1,T2,T3,T4,T5,R> func, 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, R> App<F,R>	apply6(Function6<T1,T2,T3,T4,T5,T6,R> func, 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, R> App<F,R>	apply7(Function7<T1,T2,T3,T4,T5,T6,T7,R> func, 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, R> App<F,R>	apply8(Function8<T1,T2,T3,T4,T5,T6,T7,T8,R> func, 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, R> App<F,R>	apply9(Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R> func, 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)
<A, R> Function<App<F,A>,App<F,R>>	lift1(App<F,Function<A,R>> function)
default <A, B, R> BiFunction<App<F,A>,App<F,B>,App<F,R>>	lift2(App<F,BiFunction<A,B,R>> function)
default <T1, T2, T3, R> Function3<App<F,T1>,App<F,T2>,App<F,T3>,App<F,R>>	lift3(App<F,Function3<T1,T2,T3,R>> function)
default <T1, T2, T3, T4, R> Function4<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,R>>	lift4(App<F,Function4<T1,T2,T3,T4,R>> function)
default <T1, T2, T3, T4, T5, R> Function5<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,R>>	lift5(App<F,Function5<T1,T2,T3,T4,T5,R>> function)
default <T1, T2, T3, T4, T5, T6, R> Function6<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,R>>	lift6(App<F,Function6<T1,T2,T3,T4,T5,T6,R>> function)
default <T1, T2, T3, T4, T5, T6, T7, R> Function7<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,R>>	lift7(App<F,Function7<T1,T2,T3,T4,T5,T6,T7,R>> function)
default <T1, T2, T3, T4, T5, T6, T7, T8, R> Function8<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,T8>,App<F,R>>	lift8(App<F,Function8<T1,T2,T3,T4,T5,T6,T7,T8,R>> function)
default <T1, T2, T3, T4, T5, T6, T7, T8, T9, R> Function9<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,T8>,App<F,T9>,App<F,R>>	lift9(App<F,Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R>> function)
<A> App<F,A>	point(A a)
static <F extends K1, Mu extends Applicative.Mu> Applicative<F,Mu>	unbox(App<Mu,F> proofBox)

Methods inherited from interface com.mojang.datafixers.kinds.Functor

map

Methods inherited from interface com.mojang.datafixers.kinds.Kind1

group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, group

Method Details

unbox

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

point

<A> App<F,A> point(A a)

lift1

<A,
R> Function<App<F,A>,App<F,R>> lift1(App<F,Function<A,R>> function)

lift2

default <A,
B,
R>
BiFunction<App<F,A>,App<F,B>,App<F,R>> lift2(App<F,BiFunction<A,B,R>> function)

lift3

default <T1,
T2,
T3,
R>
Function3<App<F,T1>,App<F,T2>,App<F,T3>,App<F,R>> lift3(App<F,Function3<T1,T2,T3,R>> function)

lift4

default <T1,
T2,
T3,
T4,
R>
Function4<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,R>> lift4(App<F,Function4<T1,T2,T3,T4,R>> function)

lift5

default <T1,
T2,
T3,
T4,
T5,
R>
Function5<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,R>> lift5(App<F,Function5<T1,T2,T3,T4,T5,R>> function)

lift6

default <T1,
T2,
T3,
T4,
T5,
T6,
R>
Function6<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,R>> lift6(App<F,Function6<T1,T2,T3,T4,T5,T6,R>> function)

lift7

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
R>
Function7<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,R>> lift7(App<F,Function7<T1,T2,T3,T4,T5,T6,T7,R>> function)

lift8

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
R>
Function8<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,T8>,App<F,R>> lift8(App<F,Function8<T1,T2,T3,T4,T5,T6,T7,T8,R>> function)

lift9

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
R>
Function9<App<F,T1>,App<F,T2>,App<F,T3>,App<F,T4>,App<F,T5>,App<F,T6>,App<F,T7>,App<F,T8>,App<F,T9>,App<F,R>> lift9(App<F,Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R>> function)

ap

default <A,
R> App<F,R> ap(App<F,Function<A,R>> func,
 App<F,A> arg)

ap

default <A,
R> App<F,R> ap(Function<A,R> func,
 App<F,A> arg)

ap2

default <A,
B,
R> App<F,R> ap2(App<F,BiFunction<A,B,R>> func,
 App<F,A> a,
 App<F,B> b)

ap3

default <T1,
T2,
T3,
R> App<F,R> ap3(App<F,Function3<T1,T2,T3,R>> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3)

ap4

default <T1,
T2,
T3,
T4,
R> App<F,R> ap4(App<F,Function4<T1,T2,T3,T4,R>> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4)

ap5

default <T1,
T2,
T3,
T4,
T5,
R> App<F,R> ap5(App<F,Function5<T1,T2,T3,T4,T5,R>> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4,
 App<F,T5> t5)

ap6

default <T1,
T2,
T3,
T4,
T5,
T6,
R> App<F,R> ap6(App<F,Function6<T1,T2,T3,T4,T5,T6,R>> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4,
 App<F,T5> t5,
 App<F,T6> t6)

ap7

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
R> App<F,R> ap7(App<F,Function7<T1,T2,T3,T4,T5,T6,T7,R>> func,
 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)

ap8

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
R> App<F,R> ap8(App<F,Function8<T1,T2,T3,T4,T5,T6,T7,T8,R>> func,
 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)

ap9

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
R> App<F,R> ap9(App<F,Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R>> func,
 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)

ap10

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
R> App<F,R> ap10(App<F,Function10<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,R>> func,
 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)

ap11

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
R>
App<F,R> ap11(App<F,Function11<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,R>> func,
 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)

ap12

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
R>
App<F,R> ap12(App<F,Function12<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,R>> func,
 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)

ap13

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
R>
App<F,R> ap13(App<F,Function13<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,R>> func,
 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)

ap14

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
R>
App<F,R> ap14(App<F,Function14<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,R>> func,
 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)

ap15

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
R>
App<F,R> ap15(App<F,Function15<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,R>> func,
 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)

ap16

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16,
R>
App<F,R> ap16(App<F,Function16<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,R>> func,
 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)

apply2

default <A,
B,
R> App<F,R> apply2(BiFunction<A,B,R> func,
 App<F,A> a,
 App<F,B> b)

apply3

default <T1,
T2,
T3,
R> App<F,R> apply3(Function3<T1,T2,T3,R> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3)

apply4

default <T1,
T2,
T3,
T4,
R> App<F,R> apply4(Function4<T1,T2,T3,T4,R> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4)

apply5

default <T1,
T2,
T3,
T4,
T5,
R> App<F,R> apply5(Function5<T1,T2,T3,T4,T5,R> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4,
 App<F,T5> t5)

apply6

default <T1,
T2,
T3,
T4,
T5,
T6,
R> App<F,R> apply6(Function6<T1,T2,T3,T4,T5,T6,R> func,
 App<F,T1> t1,
 App<F,T2> t2,
 App<F,T3> t3,
 App<F,T4> t4,
 App<F,T5> t5,
 App<F,T6> t6)

apply7

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
R> App<F,R> apply7(Function7<T1,T2,T3,T4,T5,T6,T7,R> func,
 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)

apply8

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
R> App<F,R> apply8(Function8<T1,T2,T3,T4,T5,T6,T7,T8,R> func,
 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)

apply9

default <T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
R> App<F,R> apply9(Function9<T1,T2,T3,T4,T5,T6,T7,T8,T9,R> func,
 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)