com.mojang.datafixers.kinds

public interface Applicative<F extends K1, Mu extends Applicative$Mu>

extends Functor<F, Mu>

com.mojang.datafixers.kinds.Applicative

Method summary

Modifier and TypeMethod
static <F extends K1, Mu extends Applicative$Mu> Applicative<F, Mu>
unbox(App<Mu, F> arg0)
<A> App<F, A>
point(A arg0)
<A, R> Function<App<F, A>, App<F, R>>
lift1(App<F, Function<A, R>> arg0)
default <A, B, R> BiFunction<App<F, A>, App<F, B>, App<F, R>>
lift2(App<F, BiFunction<A, B, R>> arg0)
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>> arg0)
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>> arg0)
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>> arg0)
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>> arg0)
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>> arg0)
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>> arg0)
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>> arg0)
default <A, R> App<F, R>
ap(App<F, Function<A, R>> arg0, App<F, A> arg1)
default <A, R> App<F, R>
ap(Function<A, R> arg0, App<F, A> arg1)
default <A, B, R> App<F, R>
ap2(App<F, BiFunction<A, B, R>> arg0, App<F, A> arg1, App<F, B> arg2)
default <T1, T2, T3, R> App<F, R>
ap3(App<F, Function3<T1, T2, T3, R>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3)
default <T1, T2, T3, T4, R> App<F, R>
ap4(App<F, Function4<T1, T2, T3, T4, R>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4)
default <T1, T2, T3, T4, T5, R> App<F, R>
ap5(App<F, Function5<T1, T2, T3, T4, T5, R>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5)
default <T1, T2, T3, T4, T5, T6, R> App<F, R>
ap6(App<F, Function6<T1, T2, T3, T4, T5, T6, R>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6)
default <T1, T2, T3, T4, T5, T6, T7, R> App<F, R>
ap7(App<F, Function7<T1, T2, T3, T4, T5, T6, T7, R>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11, App<F, T12> arg12)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11, App<F, T12> arg12, App<F, T13> arg13)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11, App<F, T12> arg12, App<F, T13> arg13, App<F, T14> arg14)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11, App<F, T12> arg12, App<F, T13> arg13, App<F, T14> arg14, App<F, T15> arg15)
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>> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9, App<F, T10> arg10, App<F, T11> arg11, App<F, T12> arg12, App<F, T13> arg13, App<F, T14> arg14, App<F, T15> arg15, App<F, T16> arg16)
default <A, B, R> App<F, R>
apply2(BiFunction<A, B, R> arg0, App<F, A> arg1, App<F, B> arg2)
default <T1, T2, T3, R> App<F, R>
apply3(Function3<T1, T2, T3, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3)
default <T1, T2, T3, T4, R> App<F, R>
apply4(Function4<T1, T2, T3, T4, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4)
default <T1, T2, T3, T4, T5, R> App<F, R>
apply5(Function5<T1, T2, T3, T4, T5, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5)
default <T1, T2, T3, T4, T5, T6, R> App<F, R>
apply6(Function6<T1, T2, T3, T4, T5, T6, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6)
default <T1, T2, T3, T4, T5, T6, T7, R> App<F, R>
apply7(Function7<T1, T2, T3, T4, T5, T6, T7, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7)
default <T1, T2, T3, T4, T5, T6, T7, T8, R> App<F, R>
apply8(Function8<T1, T2, T3, T4, T5, T6, T7, T8, R> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8)
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> arg0, App<F, T1> arg1, App<F, T2> arg2, App<F, T3> arg3, App<F, T4> arg4, App<F, T5> arg5, App<F, T6> arg6, App<F, T7> arg7, App<F, T8> arg8, App<F, T9> arg9)