Class LiftA5<A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>>
java.lang.Object
com.jnape.palatable.lambda.functions.builtin.fn6.LiftA5<A,B,C,D,E,F,App,AppF>
- Type Parameters:
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 fifth argument typeF
- the function's return typeApp
- the applicative witnessAppF
- the inferred applicative return type
- All Implemented Interfaces:
Fn1<Fn5<A,
,B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>> Fn2<Fn5<A,
,B, C, D, E, F>, Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>> Fn3<Fn5<A,
,B, C, D, E, F>, Applicative<A, App>, Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>> Fn4<Fn5<A,
,B, C, D, E, F>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>> Fn5<Fn5<A,
,B, C, D, E, F>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Fn1<Applicative<E, App>, AppF>> Fn6<Fn5<A,
,B, C, D, E, F>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> Applicative<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>> Cartesian<Fn5<A,
,B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<?, ?>> Cocartesian<Fn5<A,
,B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<?, ?>> Contravariant<Fn5<A,
,B, C, D, E, F>, Profunctor<?, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<?, ?>>> Functor<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>> Profunctor<Fn5<A,
,B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<?, ?>> Monad<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>> MonadReader<Fn5<A,
,B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>> MonadRec<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>> MonadWriter<Fn5<A,
B, C, D, E, F>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, AppF>>>>>, Fn1<Fn5<A, B, C, D, E, F>, ?>>
public final class LiftA5<A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>>
extends Object
implements Fn6<Fn5<A,B,C,D,E,F>,Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>
Lift into and apply an
Fn5
to five Applicative
values, returning the result inside the same
Applicative
context.- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE) static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
LiftA5<A, B, C, D, E, F, App, AppF> liftA5()
static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
Fn5<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
Fn4<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> liftA5
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA) static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
Fn3<Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> liftA5
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB) static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
Fn2<Applicative<D, App>, Applicative<E, App>, AppF> liftA5
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
Fn1<Applicative<E, App>, AppF> liftA5
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) static <A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>>
AppFliftA5
(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE) Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1
andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2
checkedApply, toBiFunction
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3
checkedApply
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn4
checkedApply
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn5
checkedApply
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
LiftA5
private LiftA5()
-
-
Method Details
-
checkedApply
public AppF checkedApply(Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE) -
liftA5
public static <A,B, LiftA5<A,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> B, liftA5()C, D, E, F, App, AppF> -
liftA5
public static <A,B, Fn5<Applicative<A,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> App>, liftA5Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> (Fn5<A, B, C, D, E, F> fn) -
liftA5
public static <A,B, Fn4<Applicative<B,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> App>, liftA5Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, AppF> (Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA) -
liftA5
public static <A,B, Fn3<Applicative<C,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> App>, liftA5Applicative<D, App>, Applicative<E, App>, AppF> (Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB) -
liftA5
public static <A,B, Fn2<Applicative<D,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> App>, liftA5Applicative<E, App>, AppF> (Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) -
liftA5
public static <A,B, Fn1<Applicative<E,C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> App>, liftA5AppF> (Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) -
liftA5
public static <A,B, AppF liftA5C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> (Fn5<A, B, C, D, E, F> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE)
-