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)

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

Nested Class Summary

Method Summary

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

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

Method Details

unbox

point

lift1

lift2

lift3

lift4

lift5

lift6

lift7

lift8

lift9

ap

ap

ap2

ap3

ap4

ap5

ap6

ap7

ap8

ap9

ap10

ap11

ap12

ap13

ap14

ap15

ap16

apply2

apply3

apply4

apply5

apply6

apply7

apply8

apply9