javaslang.algebra

Interface Monad.Lifted4<T1,T2,T3,T4,R>

Type Parameters:

T1 - 1st argument type

T2 - 2nd argument type

T3 - 3rd argument type

T4 - 4th argument type

R - result type

Enclosing interface:

Monad<M extends Kind1<M,?>,T>

public static interface Monad.Lifted4<T1,T2,T3,T4,R>

Represents a function (T1, T2, T3, T4) -> R lifted to (M<T1>, M<T2>, M<T3>, M<T4>) -> M<R>.

Method Summary

Modifier and Type	Method and Description
<M extends Kind1<M,?>> Monad<M,R>	apply(Monad<M,T1> m1, Monad<M,T2> m2, Monad<M,T3> m3, Monad<M,T4> m4)

Method Detail

apply

<M extends Kind1<M,?>> Monad<M,R> apply(Monad<M,T1> m1,
                                        Monad<M,T2> m2,
                                        Monad<M,T3> m3,
                                        Monad<M,T4> m4)