Class LiftA6<A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>>
java.lang.Object
com.jnape.palatable.lambda.functions.builtin.fn7.LiftA6<A,B,C,D,E,F,G,App,AppG>
- 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 sixth argument typeG
- the function's return typeApp
- the applicative witnessAppG
- the inferred applicative return type
- All Implemented Interfaces:
Fn1<Fn6<A,
,B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>> Fn2<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>> Fn3<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>> Fn4<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>> Fn5<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>> Fn6<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Fn1<Applicative<F, App>, AppG>> Fn7<Fn6<A,
,B, C, D, E, F, G>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> Applicative<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>> Cartesian<Fn6<A,
,B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<?, ?>> Cocartesian<Fn6<A,
,B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<?, ?>> Contravariant<Fn6<A,
,B, C, D, E, F, G>, Profunctor<?, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<?, ?>>> Functor<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>> Profunctor<Fn6<A,
,B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<?, ?>> Monad<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>> MonadReader<Fn6<A,
,B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>> MonadRec<Fn1<Applicative<A,
,App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>> MonadWriter<Fn6<A,
B, C, D, E, F, G>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, AppG>>>>>>, Fn1<Fn6<A, B, C, D, E, F, G>, ?>>
public final class LiftA6<A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>>
extends Object
implements Fn7<Fn6<A,B,C,D,E,F,G>,Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>
Lift into and apply an
Fn6
to six Applicative
values, returning the result inside the same
Applicative
context.- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE, Applicative<F, App> appF) static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
LiftA6<A, B, C, D, E, F, G, App, AppG> liftA6()
static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn5<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> liftA6
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA) static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn4<Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> liftA6
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB) static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn3<Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> liftA6
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn2<Applicative<E, App>, Applicative<F, App>, AppG> liftA6
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn1<Applicative<F, App>, AppG> liftA6
(Fn6<A, B, C, D, E, F, G> 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, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
AppGliftA6
(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE, Applicative<F, App> appF) 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
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn6
checkedApply
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
LiftA6
private LiftA6()
-
-
Method Details
-
checkedApply
public AppG checkedApply(Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE, Applicative<F, App> appF) -
liftA6
public static <A,B, LiftA6<A,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> B, liftA6()C, D, E, F, G, App, AppG> -
liftA6
public static <A,B, Fn6<Applicative<A,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> (Fn6<A, B, C, D, E, F, G> fn) -
liftA6
public static <A,B, Fn5<Applicative<B,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA) -
liftA6
public static <A,B, Fn4<Applicative<C,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB) -
liftA6
public static <A,B, Fn3<Applicative<D,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6Applicative<E, App>, Applicative<F, App>, AppG> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) -
liftA6
public static <A,B, Fn2<Applicative<E,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6Applicative<F, App>, AppG> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) -
liftA6
public static <A,B, Fn1<Applicative<F,C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> App>, liftA6AppG> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE) -
liftA6
public static <A,B, AppG liftA6C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> (Fn6<A, B, C, D, E, F, G> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE, Applicative<F, App> appF)
-