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