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 type
B - the function's second argument type
C - the function's third argument type
D - the function's fourth argument type
E - the function's fifth argument type
F - the function's sixth argument type
G - the function's seventh argument type
H - the function's return type
App - the applicative unification type
AppH - 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: