Class LiftA7<A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>>
java.lang.Object
com.jnape.palatable.lambda.functions.builtin.fn8.LiftA7<A,B,C,D,E,F,G,H,App,AppH>
- 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 seventh argument typeH
- the function's return typeApp
- the applicative unification typeAppH
- the inferred applicative return type
- All Implemented Interfaces:
Fn1<Fn7<A,
,B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>> Fn2<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>> Fn3<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>> Fn4<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>> Fn5<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>> Fn6<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>> Fn7<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Fn1<Applicative<G, App>, AppH>> Fn8<Fn7<A,
,B, C, D, E, F, G, H>, Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> 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>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>> Cartesian<Fn7<A,
,B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<?, ?>> Cocartesian<Fn7<A,
,B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<?, ?>> Contravariant<Fn7<A,
,B, C, D, E, F, G, H>, 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>, Fn1<Applicative<G, App>, AppH>>>>>>>, 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>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>> Profunctor<Fn7<A,
,B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>, 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>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>> MonadReader<Fn7<A,
,B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>> 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>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>> MonadWriter<Fn7<A,
B, C, D, E, F, G, H>, Fn1<Applicative<A, App>, Fn1<Applicative<B, App>, Fn1<Applicative<C, App>, Fn1<Applicative<D, App>, Fn1<Applicative<E, App>, Fn1<Applicative<F, App>, Fn1<Applicative<G, App>, AppH>>>>>>>, Fn1<Fn7<A, B, C, D, E, F, G, H>, ?>>
public final class LiftA7<A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>>
extends Object
implements Fn8<Fn7<A,B,C,D,E,F,G,H>,Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>
Lift into and apply an
Fn7
to seven Applicative
values, returning the result inside the same
Applicative
context.- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(Fn7<A, B, C, D, E, F, G, H> 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, Applicative<G, App> appG) static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
LiftA7<A, B, C, D, E, F, G, H, App, AppH> liftA7()
static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn6<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA) static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn5<Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB) static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn4<Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn3<Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> 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, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn2<Applicative<F, App>, Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> 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, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn1<Applicative<G, App>, AppH> liftA7
(Fn7<A, B, C, D, E, F, G, H> 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, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
AppHliftA7
(Fn7<A, B, C, D, E, F, G, H> 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, Applicative<G, App> appG) 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
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn7
checkedApply, widen
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
LiftA7
private LiftA7()
-
-
Method Details
-
checkedApply
public AppH checkedApply(Fn7<A, B, C, D, E, F, G, H> 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, Applicative<G, App> appG) -
liftA7
public static <A,B, LiftA7<A,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> B, liftA7()C, D, E, F, G, H, App, AppH> -
liftA7
public static <A,B, Fn7<Applicative<A,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn) -
liftA7
public static <A,B, Fn6<Applicative<B,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA) -
liftA7
public static <A,B, Fn5<Applicative<C,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB) -
liftA7
public static <A,B, Fn4<Applicative<D,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC) -
liftA7
public static <A,B, Fn3<Applicative<E,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<F, App>, Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD) -
liftA7
public static <A,B, Fn2<Applicative<F,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7Applicative<G, App>, AppH> (Fn7<A, B, C, D, E, F, G, H> fn, Applicative<A, App> appA, Applicative<B, App> appB, Applicative<C, App> appC, Applicative<D, App> appD, Applicative<E, App> appE) -
liftA7
public static <A,B, Fn1<Applicative<G,C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> App>, liftA7AppH> (Fn7<A, B, C, D, E, F, G, H> 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) -
liftA7
public static <A,B, AppH liftA7C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> (Fn7<A, B, C, D, E, F, G, H> 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, Applicative<G, App> appG)
-