Class LiftA4<A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>>
java.lang.Object
com.jnape.palatable.lambda.functions.builtin.fn5.LiftA4<A,B,C,D,E,App,AppE>
- 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 return typeApp
- the applicative witnessAppE
- the inferred applicative return type
- All Implemented Interfaces:
Fn1<Fn4<A,
,B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>> Fn2<Fn4<A,
,B, C, D, E>, Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>> Fn3<Fn4<A,
,B, C, D, E>, Applicative<A, App>, Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>> Fn4<Fn4<A,
,B, C, D, E>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Fn1<Applicative<D, App>, AppE>> Fn5<Fn4<A,
,B, C, D, E>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> Applicative<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>> Cartesian<Fn4<A,
,B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<?, ?>> Cocartesian<Fn4<A,
,B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<?, ?>> Contravariant<Fn4<A,
,B, C, D, E>, Profunctor<?, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<?, ?>>> Functor<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>> Profunctor<Fn4<A,
,B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<?, ?>> Monad<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>> MonadReader<Fn4<A,
,B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>> MonadRec<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>> MonadWriter<Fn4<A,
B, C, D, E>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, AppE>>>>, Fn1<Fn4<A, B, C, D, E>, ?>>
public 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>
Lift into and apply an
Fn4
to four Applicative
values, returning the result inside the same
Applicative
context.- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(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<A, B, C, D, E, App, AppE> liftA4()
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> 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) 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) 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) static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
AppEliftA4
(Fn4<A, B, C, D, E> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) 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
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
LiftA4
private LiftA4()
-
-
Method Details
-
checkedApply
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) - Specified by:
checkedApply
in interfaceFn5<A,
B, C, D, E, App extends Applicative<?, App>>
-
liftA4
public static <A,B, LiftA4<A,C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> B, liftA4()C, D, E, App, AppE> -
liftA4
public static <A,B, Fn4<Applicative<A,C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> App>, liftA4Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> (Fn4<A, B, C, D, E> fn) -
liftA4
public static <A,B, Fn3<Applicative<B,C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> App>, liftA4Applicative<C, App>, Applicative<D, App>, AppE> (Fn4<A, B, C, D, E> fn, Applicative<A, App> appA) -
liftA4
public static <A,B, Fn2<Applicative<C,C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> App>, liftA4Applicative<D, App>, AppE> (Fn4<A, B, C, D, E> fn, Applicative<A, App> appA, Applicative<B, App> appB) -
liftA4
public static <A,B, Fn1<Applicative<D,C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> App>, liftA4AppE> (Fn4<A, B, C, D, E> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) -
liftA4
public static <A,B, AppE liftA4C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> (Fn4<A, B, C, D, E> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD)
-