A
- the function's first argument typeB
- the function's second argument typeC
- the function's third argument typeD
- the function's fourth argument typeE
- the function's return typeApp
- the applicative witnessAppE
- the inferred applicative return typepublic final class LiftA4<A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> extends Object implements Fn5<Fn4<A,B,C,D,E>,Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE>
Fn4
to four Applicative
values, returning the result inside the same
Applicative
context.Applicative.zip(Applicative)
Modifier and Type | Method and Description |
---|---|
AppE |
checkedApply(Fn4<A,B,C,D,E> fn,
Applicative<A,App> appA,
Applicative<B,App> appB,
Applicative<C,App> appC,
Applicative<D,App> appD) |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4() |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4(Fn4<A,B,C,D,E> fn) |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4(Fn4<A,B,C,D,E> fn,
Applicative<A,App> appA) |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4(Fn4<A,B,C,D,E> fn,
Applicative<A,App> appA,
Applicative<B,App> appB) |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4(Fn4<A,B,C,D,E> fn,
Applicative<A,App> appA,
Applicative<B,App> appB,
Applicative<C,App> appC) |
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> |
liftA4(Fn4<A,B,C,D,E> fn,
Applicative<A,App> appA,
Applicative<B,App> appB,
Applicative<C,App> appC,
Applicative<D,App> appD) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply, apply, apply, apply, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, fn5, fn5, fn5, fn5, fn5, uncurry, widen
checkedApply, fn4, fn4, fn4, fn4
checkedApply, fn3, fn3, fn3
checkedApply, curried, curry, fn2, fromBiFunction, toBiFunction
public AppE checkedApply(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC, Applicative<D,App> appD)
checkedApply
in interface Fn5<Fn4<A,B,C,D,E>,Applicative<A,App extends Applicative<?,App>>,Applicative<B,App extends Applicative<?,App>>,Applicative<C,App extends Applicative<?,App>>,Applicative<D,App extends Applicative<?,App>>,AppE extends Applicative<E,App>>
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> LiftA4<A,B,C,D,E,App,AppE> liftA4()
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> Fn4<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE> liftA4(Fn4<A,B,C,D,E> fn)
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> Fn3<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE> liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA)
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> Fn2<Applicative<C,App>,Applicative<D,App>,AppE> liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB)
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> Fn1<Applicative<D,App>,AppE> liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)
public static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> AppE liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC, Applicative<D,App> appD)