Uses of Interface
com.jnape.palatable.lambda.functor.Applicative

Packages that use Applicative

Package	Description
com.jnape.palatable.lambda.adt
com.jnape.palatable.lambda.adt.choice
com.jnape.palatable.lambda.adt.hlist
com.jnape.palatable.lambda.adt.hmap
com.jnape.palatable.lambda.functions
com.jnape.palatable.lambda.functions.builtin.fn1
com.jnape.palatable.lambda.functions.builtin.fn2
com.jnape.palatable.lambda.functions.builtin.fn3
com.jnape.palatable.lambda.functions.builtin.fn4
com.jnape.palatable.lambda.functions.builtin.fn5
com.jnape.palatable.lambda.functions.builtin.fn6
com.jnape.palatable.lambda.functions.builtin.fn7
com.jnape.palatable.lambda.functions.builtin.fn8
com.jnape.palatable.lambda.functions.recursion
com.jnape.palatable.lambda.functions.specialized
com.jnape.palatable.lambda.functor
com.jnape.palatable.lambda.functor.builtin
com.jnape.palatable.lambda.io
com.jnape.palatable.lambda.monad
com.jnape.palatable.lambda.monad.transformer
com.jnape.palatable.lambda.monad.transformer.builtin
com.jnape.palatable.lambda.monoid
com.jnape.palatable.lambda.monoid.builtin
com.jnape.palatable.lambda.optics
com.jnape.palatable.lambda.optics.functions
com.jnape.palatable.lambda.semigroup
com.jnape.palatable.lambda.semigroup.builtin
com.jnape.palatable.lambda.traversable

Uses of Applicative in com.jnape.palatable.lambda.adt

Classes in com.jnape.palatable.lambda.adt that implement Applicative

Modifier and Type	Class	Description
class	Either<L,R>	The binary tagged union, implemented as a specialized CoProduct2.
private static class	Either.Left<L,R>
private static class	Either.Right<L,R>
class	Maybe<A>	The optional type, representing a potentially absent value.
private static class	Maybe.Just<A>
private static class	Maybe.Nothing<A>
class	These<A,B>	The coproduct of a coproduct (CoProduct2<A, B>) and its product (Tuple2<A, B>), represented as a CoProduct3<A, B, Tuple2<A, B>>.
private static class	These._A<A,B>
private static class	These._B<A,B>
private static class	These.Both<A,B>
class	Try<A>	A Monad of the evaluation outcome of an expression that might throw.
private static class	Try.Failure<A>
private static class	Try.Success<A>

Methods in com.jnape.palatable.lambda.adt with type parameters of type Applicative

Modifier and Type	Method	Description
<R2,App extends Applicative<?,App>,TravB extends Traversable<R2,Either<L,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Either.traverse(Fn1<? super R,? extends Applicative<R2,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<R2,App extends Applicative<?,App>,TravB extends Traversable<R2,Either<L,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Either.traverse(Fn1<? super R,? extends Applicative<R2,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Maybe<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Maybe.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Maybe<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Maybe.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)
<C,App extends Applicative<?,App>,TravC extends Traversable<C,These<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	These.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,These<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	These.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Try<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Try.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Try<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Try.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.adt with parameters of type Applicative

Modifier and Type	Method	Description
<R2> Either<L,R2>	Either.discardL(Applicative<R2,Either<L,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Maybe<B>	Maybe.discardL(Applicative<B,Maybe<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<C> These<A,C>	These.discardL(Applicative<C,These<A,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Try<B>	Try.discardL(Applicative<B,Try<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<R2> Either<L,R>	Either.discardR(Applicative<R2,Either<L,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Maybe<A>	Maybe.discardR(Applicative<B,Maybe<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<C> These<A,B>	These.discardR(Applicative<C,These<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Try<A>	Try.discardR(Applicative<B,Try<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<R2> Either<L,R2>	Either.zip(Applicative<Fn1<? super R,? extends R2>,Either<L,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Maybe<B>	Maybe.zip(Applicative<Fn1<? super A,? extends B>,Maybe<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C> These<A,C>	These.zip(Applicative<Fn1<? super B,? extends C>,These<A,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Try<B>	Try.zip(Applicative<Fn1<? super A,? extends B>,Try<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.adt with type arguments of type Applicative

Modifier and Type	Method	Description
<R2> Lazy<Either<L,R2>>	Either.lazyZip(Lazy<? extends Applicative<Fn1<? super R,? extends R2>,Either<L,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<Maybe<B>>	Maybe.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Maybe<?>>> lazyAppFn)	Terminate early if this is a Maybe.Nothing; otherwise, continue the zip.
<C> Lazy<These<A,C>>	These.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,These<A,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<Try<B>>	Try.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Try<?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<R2,App extends Applicative<?,App>,TravB extends Traversable<R2,Either<L,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Either.traverse(Fn1<? super R,? extends Applicative<R2,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Maybe<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Maybe.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)
<C,App extends Applicative<?,App>,TravC extends Traversable<C,These<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	These.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Try<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Try.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Uses of Applicative in com.jnape.palatable.lambda.adt.choice

Classes in com.jnape.palatable.lambda.adt.choice that implement Applicative

Modifier and Type	Class	Description
class	Choice2<A,B>	Canonical ADT representation of CoProduct2.
private static class	Choice2._A<A,B>
private static class	Choice2._B<A,B>
class	Choice3<A,B,C>	Canonical ADT representation of CoProduct3.
private static class	Choice3._A<A,B,C>
private static class	Choice3._B<A,B,C>
private static class	Choice3._C<A,B,C>
class	Choice4<A,B,C,D>	Canonical ADT representation of CoProduct4.
private static class	Choice4._A<A,B,C,D>
private static class	Choice4._B<A,B,C,D>
private static class	Choice4._C<A,B,C,D>
private static class	Choice4._D<A,B,C,D>
class	Choice5<A,B,C,D,E>	Canonical ADT representation of CoProduct5.
private static class	Choice5._A<A,B,C,D,E>
private static class	Choice5._B<A,B,C,D,E>
private static class	Choice5._C<A,B,C,D,E>
private static class	Choice5._D<A,B,C,D,E>
private static class	Choice5._E<A,B,C,D,E>
class	Choice6<A,B,C,D,E,F>	Canonical ADT representation of CoProduct6.
private static class	Choice6._A<A,B,C,D,E,F>
private static class	Choice6._B<A,B,C,D,E,F>
private static class	Choice6._C<A,B,C,D,E,F>
private static class	Choice6._D<A,B,C,D,E,F>
private static class	Choice6._E<A,B,C,D,E,F>
private static class	Choice6._F<A,B,C,D,E,F>
class	Choice7<A,B,C,D,E,F,G>	Canonical ADT representation of CoProduct7.
private static class	Choice7._A<A,B,C,D,E,F,G>
private static class	Choice7._B<A,B,C,D,E,F,G>
private static class	Choice7._C<A,B,C,D,E,F,G>
private static class	Choice7._D<A,B,C,D,E,F,G>
private static class	Choice7._E<A,B,C,D,E,F,G>
private static class	Choice7._F<A,B,C,D,E,F,G>
private static class	Choice7._G<A,B,C,D,E,F,G>
class	Choice8<A,B,C,D,E,F,G,H>	Canonical ADT representation of CoProduct8.
private static class	Choice8._A<A,B,C,D,E,F,G,H>
private static class	Choice8._B<A,B,C,D,E,F,G,H>
private static class	Choice8._C<A,B,C,D,E,F,G,H>
private static class	Choice8._D<A,B,C,D,E,F,G,H>
private static class	Choice8._E<A,B,C,D,E,F,G,H>
private static class	Choice8._F<A,B,C,D,E,F,G,H>
private static class	Choice8._G<A,B,C,D,E,F,G,H>
private static class	Choice8._H<A,B,C,D,E,F,G,H>

Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type Applicative

Modifier and Type	Method	Description
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Choice2<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice2.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Choice2<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice2.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<D,App extends Applicative<?,App>,TravB extends Traversable<D,Choice3<A,B,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice3.traverse(Fn1<? super C,? extends Applicative<D,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<D,App extends Applicative<?,App>,TravB extends Traversable<D,Choice3<A,B,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice3.traverse(Fn1<? super C,? extends Applicative<D,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<E,App extends Applicative<?,App>,TravB extends Traversable<E,Choice4<A,B,C,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice4.traverse(Fn1<? super D,? extends Applicative<E,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<E,App extends Applicative<?,App>,TravB extends Traversable<E,Choice4<A,B,C,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice4.traverse(Fn1<? super D,? extends Applicative<E,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<F,App extends Applicative<?,App>,TravB extends Traversable<F,Choice5<A,B,C,D,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice5.traverse(Fn1<? super E,? extends Applicative<F,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<F,App extends Applicative<?,App>,TravB extends Traversable<F,Choice5<A,B,C,D,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice5.traverse(Fn1<? super E,? extends Applicative<F,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<G,App extends Applicative<?,App>,TravB extends Traversable<G,Choice6<A,B,C,D,E,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice6.traverse(Fn1<? super F,? extends Applicative<G,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<G,App extends Applicative<?,App>,TravB extends Traversable<G,Choice6<A,B,C,D,E,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice6.traverse(Fn1<? super F,? extends Applicative<G,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<H,App extends Applicative<?,App>,TravB extends Traversable<H,Choice7<A,B,C,D,E,F,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice7.traverse(Fn1<? super G,? extends Applicative<H,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<H,App extends Applicative<?,App>,TravB extends Traversable<H,Choice7<A,B,C,D,E,F,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice7.traverse(Fn1<? super G,? extends Applicative<H,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<I,App extends Applicative<?,App>,TravB extends Traversable<I,Choice8<A,B,C,D,E,F,G,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice8.traverse(Fn1<? super H,? extends Applicative<I,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<I,App extends Applicative<?,App>,TravB extends Traversable<I,Choice8<A,B,C,D,E,F,G,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice8.traverse(Fn1<? super H,? extends Applicative<I,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.adt.choice with parameters of type Applicative

Modifier and Type	Method	Description
<C> Choice2<A,C>	Choice2.discardL(Applicative<C,Choice2<A,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<D> Choice3<A,B,D>	Choice3.discardL(Applicative<D,Choice3<A,B,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<E> Choice4<A,B,C,E>	Choice4.discardL(Applicative<E,Choice4<A,B,C,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<F> Choice5<A,B,C,D,F>	Choice5.discardL(Applicative<F,Choice5<A,B,C,D,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<G> Choice6<A,B,C,D,E,G>	Choice6.discardL(Applicative<G,Choice6<A,B,C,D,E,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<H> Choice7<A,B,C,D,E,F,H>	Choice7.discardL(Applicative<H,Choice7<A,B,C,D,E,F,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<I> Choice8<A,B,C,D,E,F,G,I>	Choice8.discardL(Applicative<I,Choice8<A,B,C,D,E,F,G,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<C> Choice2<A,B>	Choice2.discardR(Applicative<C,Choice2<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<D> Choice3<A,B,C>	Choice3.discardR(Applicative<D,Choice3<A,B,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<E> Choice4<A,B,C,D>	Choice4.discardR(Applicative<E,Choice4<A,B,C,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<F> Choice5<A,B,C,D,E>	Choice5.discardR(Applicative<F,Choice5<A,B,C,D,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<G> Choice6<A,B,C,D,E,F>	Choice6.discardR(Applicative<G,Choice6<A,B,C,D,E,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<H> Choice7<A,B,C,D,E,F,G>	Choice7.discardR(Applicative<H,Choice7<A,B,C,D,E,F,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<I> Choice8<A,B,C,D,E,F,G,H>	Choice8.discardR(Applicative<I,Choice8<A,B,C,D,E,F,G,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<C> Choice2<A,C>	Choice2.zip(Applicative<Fn1<? super B,? extends C>,Choice2<A,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<D> Choice3<A,B,D>	Choice3.zip(Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<E> Choice4<A,B,C,E>	Choice4.zip(Applicative<Fn1<? super D,? extends E>,Choice4<A,B,C,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<F> Choice5<A,B,C,D,F>	Choice5.zip(Applicative<Fn1<? super E,? extends F>,Choice5<A,B,C,D,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<G> Choice6<A,B,C,D,E,G>	Choice6.zip(Applicative<Fn1<? super F,? extends G>,Choice6<A,B,C,D,E,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<H> Choice7<A,B,C,D,E,F,H>	Choice7.zip(Applicative<Fn1<? super G,? extends H>,Choice7<A,B,C,D,E,F,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<I> Choice8<A,B,C,D,E,F,G,I>	Choice8.zip(Applicative<Fn1<? super H,? extends I>,Choice8<A,B,C,D,E,F,G,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type Applicative

Modifier and Type	Method	Description
<C> Lazy<Choice2<A,C>>	Choice2.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Choice2<A,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<D> Lazy<Choice3<A,B,D>>	Choice3.lazyZip(Lazy<? extends Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<E> Lazy<Choice4<A,B,C,E>>	Choice4.lazyZip(Lazy<? extends Applicative<Fn1<? super D,? extends E>,Choice4<A,B,C,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<F> Lazy<Choice5<A,B,C,D,F>>	Choice5.lazyZip(Lazy<? extends Applicative<Fn1<? super E,? extends F>,Choice5<A,B,C,D,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<G> Lazy<Choice6<A,B,C,D,E,G>>	Choice6.lazyZip(Lazy<? extends Applicative<Fn1<? super F,? extends G>,Choice6<A,B,C,D,E,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<H> Lazy<Choice7<A,B,C,D,E,F,H>>	Choice7.lazyZip(Lazy<? extends Applicative<Fn1<? super G,? extends H>,Choice7<A,B,C,D,E,F,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<I> Lazy<Choice8<A,B,C,D,E,F,G,I>>	Choice8.lazyZip(Lazy<? extends Applicative<Fn1<? super H,? extends I>,Choice8<A,B,C,D,E,F,G,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Choice2<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice2.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<D,App extends Applicative<?,App>,TravB extends Traversable<D,Choice3<A,B,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice3.traverse(Fn1<? super C,? extends Applicative<D,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<E,App extends Applicative<?,App>,TravB extends Traversable<E,Choice4<A,B,C,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice4.traverse(Fn1<? super D,? extends Applicative<E,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<F,App extends Applicative<?,App>,TravB extends Traversable<F,Choice5<A,B,C,D,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice5.traverse(Fn1<? super E,? extends Applicative<F,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<G,App extends Applicative<?,App>,TravB extends Traversable<G,Choice6<A,B,C,D,E,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice6.traverse(Fn1<? super F,? extends Applicative<G,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<H,App extends Applicative<?,App>,TravB extends Traversable<H,Choice7<A,B,C,D,E,F,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice7.traverse(Fn1<? super G,? extends Applicative<H,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<I,App extends Applicative<?,App>,TravB extends Traversable<I,Choice8<A,B,C,D,E,F,G,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Choice8.traverse(Fn1<? super H,? extends Applicative<I,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Uses of Applicative in com.jnape.palatable.lambda.adt.hlist

Classes in com.jnape.palatable.lambda.adt.hlist that implement Applicative

Modifier and Type	Class	Description
class	SingletonHList<_1>	A singleton HList.
class	Tuple2<_1,_2>	A 2-element tuple product type, implemented as a specialized HList.
class	Tuple3<_1,_2,_3>	A 3-element tuple product type, implemented as a specialized HList.
class	Tuple4<_1,_2,_3,_4>	A 4-element tuple product type, implemented as a specialized HList.
class	Tuple5<_1,_2,_3,_4,_5>	A 5-element tuple product type, implemented as a specialized HList.
class	Tuple6<_1,_2,_3,_4,_5,_6>	A 6-element tuple product type, implemented as a specialized HList.
class	Tuple7<_1,_2,_3,_4,_5,_6,_7>	A 7-element tuple product type, implemented as a specialized HList.
class	Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>	An 8-element tuple product type, implemented as a specialized HList.

Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type Applicative

Modifier and Type	Method	Description
<B,App extends Applicative<?,App>,TravB extends Traversable<B,SingletonHList<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	SingletonHList.traverse(Fn1<? super _1,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,SingletonHList<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	SingletonHList.traverse(Fn1<? super _1,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_2Prime,App extends Applicative<?,App>,TravB extends Traversable<_2Prime,Tuple2<_1,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple2.traverse(Fn1<? super _2,? extends Applicative<_2Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_2Prime,App extends Applicative<?,App>,TravB extends Traversable<_2Prime,Tuple2<_1,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple2.traverse(Fn1<? super _2,? extends Applicative<_2Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_3Prime,App extends Applicative<?,App>,TravB extends Traversable<_3Prime,Tuple3<_1,_2,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple3.traverse(Fn1<? super _3,? extends Applicative<_3Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_3Prime,App extends Applicative<?,App>,TravB extends Traversable<_3Prime,Tuple3<_1,_2,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple3.traverse(Fn1<? super _3,? extends Applicative<_3Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_4Prime,App extends Applicative<?,App>,TravB extends Traversable<_4Prime,Tuple4<_1,_2,_3,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple4.traverse(Fn1<? super _4,? extends Applicative<_4Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_4Prime,App extends Applicative<?,App>,TravB extends Traversable<_4Prime,Tuple4<_1,_2,_3,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple4.traverse(Fn1<? super _4,? extends Applicative<_4Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_5Prime,App extends Applicative<?,App>,TravB extends Traversable<_5Prime,Tuple5<_1,_2,_3,_4,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple5.traverse(Fn1<? super _5,? extends Applicative<_5Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_5Prime,App extends Applicative<?,App>,TravB extends Traversable<_5Prime,Tuple5<_1,_2,_3,_4,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple5.traverse(Fn1<? super _5,? extends Applicative<_5Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_6Prime,App extends Applicative<?,App>,TravB extends Traversable<_6Prime,Tuple6<_1,_2,_3,_4,_5,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple6.traverse(Fn1<? super _6,? extends Applicative<_6Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_6Prime,App extends Applicative<?,App>,TravB extends Traversable<_6Prime,Tuple6<_1,_2,_3,_4,_5,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple6.traverse(Fn1<? super _6,? extends Applicative<_6Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_7Prime,App extends Applicative<?,App>,TravB extends Traversable<_7Prime,Tuple7<_1,_2,_3,_4,_5,_6,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple7.traverse(Fn1<? super _7,? extends Applicative<_7Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_7Prime,App extends Applicative<?,App>,TravB extends Traversable<_7Prime,Tuple7<_1,_2,_3,_4,_5,_6,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple7.traverse(Fn1<? super _7,? extends Applicative<_7Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_8Prime,App extends Applicative<?,App>,TravB extends Traversable<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple8.traverse(Fn1<? super _8,? extends Applicative<_8Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_8Prime,App extends Applicative<?,App>,TravB extends Traversable<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple8.traverse(Fn1<? super _8,? extends Applicative<_8Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.adt.hlist with parameters of type Applicative

Modifier and Type	Method	Description
<_1Prime> SingletonHList<_1Prime>	SingletonHList.discardL(Applicative<_1Prime,SingletonHList<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_2Prime> Tuple2<_1,_2Prime>	Tuple2.discardL(Applicative<_2Prime,Tuple2<_1,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_3Prime> Tuple3<_1,_2,_3Prime>	Tuple3.discardL(Applicative<_3Prime,Tuple3<_1,_2,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_4Prime> Tuple4<_1,_2,_3,_4Prime>	Tuple4.discardL(Applicative<_4Prime,Tuple4<_1,_2,_3,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_5Prime> Tuple5<_1,_2,_3,_4,_5Prime>	Tuple5.discardL(Applicative<_5Prime,Tuple5<_1,_2,_3,_4,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_6Prime> Tuple6<_1,_2,_3,_4,_5,_6Prime>	Tuple6.discardL(Applicative<_6Prime,Tuple6<_1,_2,_3,_4,_5,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_7Prime> Tuple7<_1,_2,_3,_4,_5,_6,_7Prime>	Tuple7.discardL(Applicative<_7Prime,Tuple7<_1,_2,_3,_4,_5,_6,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	Tuple8.discardL(Applicative<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_1Prime> SingletonHList<_1>	SingletonHList.discardR(Applicative<_1Prime,SingletonHList<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_2Prime> Tuple2<_1,_2>	Tuple2.discardR(Applicative<_2Prime,Tuple2<_1,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_3Prime> Tuple3<_1,_2,_3>	Tuple3.discardR(Applicative<_3Prime,Tuple3<_1,_2,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_4Prime> Tuple4<_1,_2,_3,_4>	Tuple4.discardR(Applicative<_4Prime,Tuple4<_1,_2,_3,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_5Prime> Tuple5<_1,_2,_3,_4,_5>	Tuple5.discardR(Applicative<_5Prime,Tuple5<_1,_2,_3,_4,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_6Prime> Tuple6<_1,_2,_3,_4,_5,_6>	Tuple6.discardR(Applicative<_6Prime,Tuple6<_1,_2,_3,_4,_5,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_7Prime> Tuple7<_1,_2,_3,_4,_5,_6,_7>	Tuple7.discardR(Applicative<_7Prime,Tuple7<_1,_2,_3,_4,_5,_6,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>	Tuple8.discardR(Applicative<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<_1Prime> SingletonHList<_1Prime>	SingletonHList.zip(Applicative<Fn1<? super _1,? extends _1Prime>,SingletonHList<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_2Prime> Tuple2<_1,_2Prime>	Tuple2.zip(Applicative<Fn1<? super _2,? extends _2Prime>,Tuple2<_1,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_3Prime> Tuple3<_1,_2,_3Prime>	Tuple3.zip(Applicative<Fn1<? super _3,? extends _3Prime>,Tuple3<_1,_2,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_4Prime> Tuple4<_1,_2,_3,_4Prime>	Tuple4.zip(Applicative<Fn1<? super _4,? extends _4Prime>,Tuple4<_1,_2,_3,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_5Prime> Tuple5<_1,_2,_3,_4,_5Prime>	Tuple5.zip(Applicative<Fn1<? super _5,? extends _5Prime>,Tuple5<_1,_2,_3,_4,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_6Prime> Tuple6<_1,_2,_3,_4,_5,_6Prime>	Tuple6.zip(Applicative<Fn1<? super _6,? extends _6Prime>,Tuple6<_1,_2,_3,_4,_5,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_7Prime> Tuple7<_1,_2,_3,_4,_5,_6,_7Prime>	Tuple7.zip(Applicative<Fn1<? super _7,? extends _7Prime>,Tuple7<_1,_2,_3,_4,_5,_6,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	Tuple8.zip(Applicative<Fn1<? super _8,? extends _8Prime>,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type Applicative

Modifier and Type	Method	Description
<_1Prime> Lazy<SingletonHList<_1Prime>>	SingletonHList.lazyZip(Lazy<? extends Applicative<Fn1<? super _1,? extends _1Prime>,SingletonHList<?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_2Prime> Lazy<Tuple2<_1,_2Prime>>	Tuple2.lazyZip(Lazy<? extends Applicative<Fn1<? super _2,? extends _2Prime>,Tuple2<_1,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_3Prime> Lazy<Tuple3<_1,_2,_3Prime>>	Tuple3.lazyZip(Lazy<? extends Applicative<Fn1<? super _3,? extends _3Prime>,Tuple3<_1,_2,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_4Prime> Lazy<Tuple4<_1,_2,_3,_4Prime>>	Tuple4.lazyZip(Lazy<? extends Applicative<Fn1<? super _4,? extends _4Prime>,Tuple4<_1,_2,_3,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_5Prime> Lazy<Tuple5<_1,_2,_3,_4,_5Prime>>	Tuple5.lazyZip(Lazy<? extends Applicative<Fn1<? super _5,? extends _5Prime>,Tuple5<_1,_2,_3,_4,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_6Prime> Lazy<Tuple6<_1,_2,_3,_4,_5,_6Prime>>	Tuple6.lazyZip(Lazy<? extends Applicative<Fn1<? super _6,? extends _6Prime>,Tuple6<_1,_2,_3,_4,_5,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_7Prime> Lazy<Tuple7<_1,_2,_3,_4,_5,_6,_7Prime>>	Tuple7.lazyZip(Lazy<? extends Applicative<Fn1<? super _7,? extends _7Prime>,Tuple7<_1,_2,_3,_4,_5,_6,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_8Prime> Lazy<Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>>	Tuple8.lazyZip(Lazy<? extends Applicative<Fn1<? super _8,? extends _8Prime>,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,SingletonHList<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	SingletonHList.traverse(Fn1<? super _1,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_2Prime,App extends Applicative<?,App>,TravB extends Traversable<_2Prime,Tuple2<_1,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple2.traverse(Fn1<? super _2,? extends Applicative<_2Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_3Prime,App extends Applicative<?,App>,TravB extends Traversable<_3Prime,Tuple3<_1,_2,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple3.traverse(Fn1<? super _3,? extends Applicative<_3Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_4Prime,App extends Applicative<?,App>,TravB extends Traversable<_4Prime,Tuple4<_1,_2,_3,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple4.traverse(Fn1<? super _4,? extends Applicative<_4Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_5Prime,App extends Applicative<?,App>,TravB extends Traversable<_5Prime,Tuple5<_1,_2,_3,_4,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple5.traverse(Fn1<? super _5,? extends Applicative<_5Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_6Prime,App extends Applicative<?,App>,TravB extends Traversable<_6Prime,Tuple6<_1,_2,_3,_4,_5,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple6.traverse(Fn1<? super _6,? extends Applicative<_6Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_7Prime,App extends Applicative<?,App>,TravB extends Traversable<_7Prime,Tuple7<_1,_2,_3,_4,_5,_6,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple7.traverse(Fn1<? super _7,? extends Applicative<_7Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<_8Prime,App extends Applicative<?,App>,TravB extends Traversable<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Tuple8.traverse(Fn1<? super _8,? extends Applicative<_8Prime,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Uses of Applicative in com.jnape.palatable.lambda.adt.hmap

Subinterfaces of Applicative in com.jnape.palatable.lambda.adt.hmap

Modifier and Type	Interface	Description
interface	Schema<Values extends HList>	A lens that focuses on the heterogeneous list of values pointed at by one or more typesafe keys that must all exist in the same HMap to be collectively extracted.
interface	TypeSafeKey<A,B>	An interface representing a parametrized key for use in HMaps.
static interface	TypeSafeKey.Simple<A>	A simplified TypeSafeKey that can only view a value of type A as an A.

Methods in com.jnape.palatable.lambda.adt.hmap with parameters of type Applicative

Modifier and Type	Method	Description
default <U> TypeSafeKey<A,B>	TypeSafeKey.discardR(Applicative<U,Iso<A,?,B,B>> appB)

Uses of Applicative in com.jnape.palatable.lambda.functions

Subinterfaces of Applicative in com.jnape.palatable.lambda.functions

Modifier and Type	Interface	Description
interface	Effect<A>	A function returning "no result", and therefore only useful as a side-effect.
interface	Fn0<A>	A function taking "no arguments", implemented as an Fn1<Unit, A>.
interface	Fn1<A,B>	A function taking a single argument.
interface	Fn2<A,B,C>	A function taking two arguments.
interface	Fn3<A,B,C,D>	A function taking three arguments.
interface	Fn4<A,B,C,D,E>	A function taking four arguments.
interface	Fn5<A,B,C,D,E,F>	A function taking five arguments.
interface	Fn6<A,B,C,D,E,F,G>	A function taking six arguments.
interface	Fn7<A,B,C,D,E,F,G,H>	A function taking seven arguments.
interface	Fn8<A,B,C,D,E,F,G,H,I>	A function taking eight arguments.

Methods in com.jnape.palatable.lambda.functions with parameters of type Applicative

Modifier and Type	Method	Description
default <B> Fn0<B>	Fn0.discardL(Applicative<B,Fn1<Unit,?>> appB)
default <C> Fn1<A,C>	Fn1.discardL(Applicative<C,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <C> Effect<A>	Effect.discardR(Applicative<C,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> Fn0<A>	Fn0.discardR(Applicative<B,Fn1<Unit,?>> appB)
default <C> Fn1<A,B>	Fn1.discardR(Applicative<C,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <D> Fn2<A,B,C>	Fn2.discardR(Applicative<D,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <E> Fn3<A,B,C,D>	Fn3.discardR(Applicative<E,Fn1<A,?>> appB)
default <F> Fn4<A,B,C,D,E>	Fn4.discardR(Applicative<F,Fn1<A,?>> appB)
default <G> Fn5<A,B,C,D,E,F>	Fn5.discardR(Applicative<G,Fn1<A,?>> appB)
default <H> Fn6<A,B,C,D,E,F,G>	Fn6.discardR(Applicative<H,Fn1<A,?>> appB)
default <I> Fn7<A,B,C,D,E,F,G,H>	Fn7.discardR(Applicative<I,Fn1<A,?>> appB)
default <J> Fn8<A,B,C,D,E,F,G,H,I>	Fn8.discardR(Applicative<J,Fn1<A,?>> appB)
default <B> Fn0<B>	Fn0.zip(Applicative<Fn1<? super A,? extends B>,Fn1<Unit,?>> appFn)
default <C> Fn1<A,C>	Fn1.zip(Applicative<Fn1<? super B,? extends C>,Fn1<A,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.functions with type arguments of type Applicative

Modifier and Type	Method	Description
default <C> Lazy<Fn1<A,C>>	Fn1.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Fn1<A,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn1

Classes in com.jnape.palatable.lambda.functions.builtin.fn1 that implement Applicative

Modifier and Type	Class	Description
class	CatMaybes<A>	Given an Iterable<Maybe<A>>, return an Iterable<A> of only the present values.
class	Coalesce<L,R>	Fold an Iterable<Either<L, R>> into an Either<Iterable<L>, Iterable<R>>, preserving all results of the side that's returned.
class	Constantly<A,B>	A function that takes two arguments and always returns the first argument.
class	Cycle<A>	Given an Iterable, return an infinite Iterable that repeatedly cycles its elements, in order.
class	Distinct<A>	Return an Iterable of the distinct values from the given input Iterable.
class	Downcast<A extends B,B>	Covariantly cast a value of type B to a value of subtype A.
class	Empty<A>	A predicate that returns true if as is empty; false otherwise.
class	Flatten<A>	Given a nested Iterable of Iterables, return a lazily flattening Iterable of the nested elements.
class	Force<A>	Deprecated. in favor of traversing into an IO and running it
class	Head<A>	Retrieve the head element of an Iterable, wrapped in an Maybe.
class	Id<A>	The identity function.
class	Init<A>	Given an Iterable<A>, produce an Iterable<A> of all elements but the last one.
class	Inits<A>	Given an Iterable<A>, produce an Iterable<Iterable<A>>, representing all of the subsequences of initial elements, ordered by size, starting with the empty Iterable.
class	Last<A>	Retrieve the last element of an Iterable, wrapped in a Maybe.
class	Magnetize<A>	Magnetize an Iterable using value equality as the magnetizing function.
class	Not<A>	Negate a predicate function.
class	Occurrences<A>	Given an Iterable<A>, return a Map<A, Long> representing each unique element in the Iterable paired with its number of occurrences.
class	Repeat<A>	Given a value, return an infinite Iterable that repeatedly iterates that value.
class	Reverse<A>	Given an Iterable, return a reversed representation of that Iterable.
class	Size
class	Sort<A extends java.lang.Comparable<A>>	Given an Iterable of Comparable elements, return a List of the sorted elements.
class	Tail<A>	Returns the tail of an Iterable; the is, an Iterable of all the elements except for the head element.
class	Tails<A>	Given an Iterable<A>, produce an Iterable<Iterable<A>>, representing all of the subsequences of tail elements, ordered by size, starting with the full Iterable.
class	Uncons<A>	Destructure an Iterable into a Tuple2 of its head and tail, wrapped in an Maybe.
class	Upcast<A extends B,B>	Upcast a value of type B to a value of type A that B extends.

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn2

Classes in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type Applicative

Modifier and Type	Class	Description
class	Sequence<A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>>	Given a Traversable of Applicatives and a pure Applicative constructor, traverse the elements from left to right, zipping the Applicatives together and collecting the results.
class	Sequence<A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>>	Given a Traversable of Applicatives and a pure Applicative constructor, traverse the elements from left to right, zipping the Applicatives together and collecting the results.

Classes in com.jnape.palatable.lambda.functions.builtin.fn2 that implement Applicative

Modifier and Type	Class	Description
class	$<A,B>	Function application, represented as a higher-order Fn2 that receives an Fn1 and its argument, and applies it.
class	All<A>	Eagerly apply a predicate to each element in an Iterable, returning true if every element satisfies the predicate, and false otherwise.
class	Alter<A>	Given an Effect<A> and some A, produce an IO that, when run, performs the effect on A and returns it.
class	Any<A>	Eagerly apply a predicate to each element in an Iterable, returning true if any element satisfies the predicate, and false otherwise.
class	AutoBracket<A extends java.lang.AutoCloseable,B>	Given an IO yielding some AutoCloseable type A and a kleisli arrow from that type to a new IO of type B, attempt to provision the A, applying the body operation if provisioning was successful and ensuring that AutoCloseable.close() is called regardless of whether the body succeeds or fails.
class	Both<A,B,C>	Given two functions f and g, produce a Fn1<A, Tuple2<B, C>> (the dual application of both functions).
class	CartesianProduct<A,B>	Lazily compute the cartesian product of an Iterable<A> and Iterable<B>, returning an Iterable<Tuple2<A, B>>, the products as tuples of multiplicand As and multiplier Bs.
class	CmpEq<A extends java.lang.Comparable<A>>	Given two Comparable values of type A, return true if the first value is strictly equal to the second value (according to Comparable.compareTo(Object); otherwise, return false.
class	Cons<A>	Prepend an element to an Iterable.
class	Difference<A>	Given two Iterables xs and ys, return the distinct elements of xs that are not in ys.
class	Drop<A>	Lazily skip the first n elements from an Iterable by returning an Iterable that begins iteration after the nth element.
class	DropWhile<A>	Lazily limit the Iterable by skipping the first contiguous group of elements that satisfy the predicate, beginning iteration at the first element for which the predicate evaluates to false.
class	Eq<A>	Type-safe equality in function form; uses Object.equals(java.lang.Object), not ==.
class	Filter<A>	Lazily apply a predicate to each element in an Iterable, returning an Iterable of just the elements for which the predicate evaluated to true.
class	Find<A>	Iterate the elements in an Iterable, applying a predicate to each one, returning the first element that matches the predicate, wrapped in a Maybe.
class	GroupBy<K,V>	Given an Iterable<V> vs and a key function V -> K f, fold vs into a Map<K, List<V>> by applying f to each element of vs, retaining values that map to the same key in a list, in the order they were iterated in.
class	GT<A extends java.lang.Comparable<A>>	Given two Comparable values of type A, return true if the second value is strictly greater than the first value; otherwise, return false.
class	GTE<A extends java.lang.Comparable<A>>	Given two Comparable values of type A, return true if the second value is greater than or equal to the first value according to Comparable.compareTo(Object); otherwise, return false.
class	InGroupsOf<A>	Lazily group the Iterable by returning an Iterable of smaller Iterables of size k.
class	Intersperse<A>	Lazily inject the provided separator value between each value in the supplied Iterable.
class	Into<A,B,C>	Given an Fn2<A, B, C> and a Map.Entry<A, B>, destructure the entry and apply the key and value as arguments to the function, returning the result.
class	Into1<A,B>	Given an Fn1<A, B> and a SingletonHList<A>, pop the head and apply it to the function, returning the result.
class	Into3<A,B,C,D>	Given an Fn3<A, B, C, D> and a Product3<A, B, C>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Into4<A,B,C,D,E>	Given an Fn4<A, B, C, D, E> and a Product4<A, B, C, D>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Into5<A,B,C,D,E,F>	Given an Fn5<A, B, C, D, E, F> and a Product5<A, B, C, D, E>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Into6<A,B,C,D,E,F,G>	Given an Fn6<A, B, C, D, E, F, G> and a Product6<A, B, C, D, E, F>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Into7<A,B,C,D,E,F,G,H>	Given an Fn7<A, B, C, D, E, F, G, H> and a Product7<A, B, C, D, E, F, G>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Into8<A,B,C,D,E,F,G,H,I>	Given an Fn8<A, B, C, D, E, F, G, H, I> and a Product8<A, B, C, D, E, F, G, H>, destructure the product and apply the slots as arguments to the function, returning the result.
class	Iterate<A>	Lazily generate an infinite Iterable from the successive applications of the function first to the initial seed value, then to the result, and so on; i.e., the result of iterate(x -> x + 1, 0) would produce an infinite Iterable over the elements 0, 1, 2, 3, ...
class	LazyRec<A,B>	Given a Fn2 that receives a recursive function and an input and yields a lazy result, and an input, produce a lazy result that, when forced, will recursively invoke the function until it terminates in a stack-safe way.
class	LT<A extends java.lang.Comparable<A>>	Given two Comparable values of type A, return true if the second value is strictly less than the first value; otherwise, return false.
class	LTE<A extends java.lang.Comparable<A>>	Given two Comparable values of type A, return true if the second value is less than or equal to the first value according to Comparable.compareTo(Object) otherwise, return false.
class	MagnetizeBy<A>	Given a binary predicate and an Iterable<A>, return an Iterable<Iterable<A>> of the contiguous groups of elements that match the predicate pairwise.
class	Map<A,B>	Lazily apply a function to each element in an Iterable, producing an Iterable of the mapped results.
class	Partition<A,B,C>	Given an Iterable<A> as and a disjoint mapping function a -> CoProduct2<A, B>, return a Tuple2 over the lazily unwrapped left A and right B values in the first and second slots, respectively.
class	Peek<A,FA extends Functor<A,?>>	Deprecated. in favor of producing an IO from the given Functor and explicitly running it
class	Peek2<A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>	Deprecated. in favor of producing an IO from the given BoundedBifunctor and explicitly running it
class	PrependAll<A>	Lazily prepend each value with of the Iterable with the supplied separator value.
class	ReduceLeft<A>	Given an Iterable<A> and a Fn2<A, A, A>, iteratively accumulate over the Iterable, returning Maybe<A>.
class	ReduceRight<A>	Given an Iterable<A> and a Fn2<A, A, A>, iteratively accumulate over the Iterable, returning Maybe<A>.
class	Replicate<A>	Produce an Iterable of a value n times.
class	Sequence<A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>>	Given a Traversable of Applicatives and a pure Applicative constructor, traverse the elements from left to right, zipping the Applicatives together and collecting the results.
class	Slide<A>	Given an Iterable<A>, "slide" a window of k elements across the Iterable by one element at a time, returning an Iterable<Iterable<A>>.
class	Snoc<A>	Opposite of Cons: lazily append an element to the end of the given Iterable.
class	SortBy<A,B extends java.lang.Comparable<B>>	Given an Iterable and some mapping function from the Iterable element type to some Comparable type, produce a sorted List of the original elements based on sorting applied to the result of the mapping function.
class	SortWith<A>	Given an Iterable and a Comparator over the Iterable element type, produce a sorted List of the original elements based on sorting applied by the Comparator.
class	Span<A>	Given a predicate, return a Tuple2 where the first slot is the front contiguous elements of an Iterable matching the predicate and the second slot is all the remaining elements.
class	Take<A>	Lazily limit the Iterable to n elements by returning an Iterable that stops iteration after the nth element, or the last element of the Iterable, whichever comes first.
class	TakeWhile<A>	Lazily limit the Iterable to the first group of contiguous elements that satisfy the predicate by iterating up to, but not including, the first element for which the predicate evaluates to false.
class	ToArray<A>	Write all the elements of an Iterable directly into an array of the specified type.
class	ToCollection<A,C extends java.util.Collection<A>>	Given an Fn0 of some Collection C, create an instance of C and add all of the elements in the provided Iterable to the instance.
class	ToMap<K,V,M extends java.util.Map<K,V>>	Given an Fn0 of some Map M, create an instance of M and put all of the entries in the provided Iterable into the instance.
class	Tupler2<A,B>	Creates a Tuple2 from two values.
class	Unfoldr<A,B>	Given an initial seed value and a function that takes the seed type and produces an Maybe<Tuple2<X, Seed>>, where the tuple's first slot represents the next Iterable element, and the second slot represents the next input to the unfolding function, unfold an Iterable of Xs.
class	Until<A>	Given a predicate function for a value of some type A and an IO that yields a value of type A, produce an IO that repeatedly executes the original IO until the predicate returns true when applied to the yielded value.
class	Zip<A,B>	Zip together two Iterables into a single Iterable of Tuple2<A, B>.

Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type Applicative

Modifier and Type	Method	Description
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> Sequence<A,App,Trav,TravA,AppTrav>	Sequence.sequence()
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> Sequence<A,App,Trav,TravA,AppTrav>	Sequence.sequence()
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> Fn1<Fn1<TravA,? extends AppTrav>,AppTrav>	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable)
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> Fn1<Fn1<TravA,? extends AppTrav>,AppTrav>	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable)
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> AppTrav	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable, Fn1<TravA,? extends AppTrav> pure)
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> AppTrav	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable, Fn1<TravA,? extends AppTrav> pure)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> Fn1<Fn1<java.lang.Iterable<A>,? extends AppIterable>,AppIterable>	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> Fn1<Fn1<java.lang.Iterable<A>,? extends AppIterable>,AppIterable>	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> AppIterable	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp, Fn1<java.lang.Iterable<A>,? extends AppIterable> pure)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> AppIterable	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp, Fn1<java.lang.Iterable<A>,? extends AppIterable> pure)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> Fn1<Fn1<java.util.Map<A,B>,? extends AppMap>,AppMap>	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> Fn1<Fn1<java.util.Map<A,B>,? extends AppMap>,AppMap>	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> AppMap	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp, Fn1<java.util.Map<A,B>,? extends AppMap> pure)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> AppMap	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp, Fn1<java.util.Map<A,B>,? extends AppMap> pure)

Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type Applicative

Modifier and Type	Method	Description
AppTrav	Sequence.checkedApply(Traversable<? extends Applicative<A,App>,Trav> traversable, Fn1<TravA,? extends AppTrav> pure)
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> Fn1<Fn1<TravA,? extends AppTrav>,AppTrav>	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable)
static <A,App extends Applicative<?,App>,Trav extends Traversable<?,Trav>,TravA extends Traversable<A,Trav>,AppTrav extends Applicative<TravA,App>> AppTrav	Sequence.sequence(Traversable<? extends Applicative<A,App>,Trav> traversable, Fn1<TravA,? extends AppTrav> pure)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> Fn1<Fn1<java.lang.Iterable<A>,? extends AppIterable>,AppIterable>	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp)
static <A,App extends Applicative<?,App>,AppIterable extends Applicative<java.lang.Iterable<A>,App>> AppIterable	Sequence.sequence(java.lang.Iterable<? extends Applicative<A,App>> iterableApp, Fn1<java.lang.Iterable<A>,? extends AppIterable> pure)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> Fn1<Fn1<java.util.Map<A,B>,? extends AppMap>,AppMap>	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp)
static <A,B,App extends Applicative<?,App>,AppMap extends Applicative<java.util.Map<A,B>,App>> AppMap	Sequence.sequence(java.util.Map<A,? extends Applicative<B,App>> mapApp, Fn1<java.util.Map<A,B>,? extends AppMap> pure)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn3

Classes in com.jnape.palatable.lambda.functions.builtin.fn3 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA2<A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>>	Lift into and apply an Fn2 to two Applicative values, returning the result inside the same Applicative context.
class	LiftA2<A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>>	Lift into and apply an Fn2 to two Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn3 that implement Applicative

Modifier and Type	Class	Description
class	Between<A extends java.lang.Comparable<A>>	Given two bounds and a value, return whether or not the value is greater than or equal to the lower bound and less than or equal to the upper bound.
class	Bracket<A,B>	Given an IO that yields some type A, a cleanup operation to run if a value of that type could be provisioned, and a kleisli arrow from that type to a new IO of type B, produce an IO<B> that, when run, will provision the A, flatMap it to B, and clean up the original value if it was produced in the first place.
class	Clamp<A extends java.lang.Comparable<A>>	Given two bounds and a value, "clamp" the value between the bounds via the following algorithm: - if the value is strictly less than the lower bound, return the lower bound - if the value is strictly greater than the upper bound, return the upper bound - otherwise, return the value
class	CmpEqBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B and two values of type A, return true if the first value is strictly equal to the second value (according to Comparable.compareTo(Object) in terms of their mapped B results; otherwise, return false.
class	CmpEqWith<A>	Given a Comparator from some type A and two values of type A, return true if the first value is strictly equal to the second value (according to Comparator.compare(Object, Object) otherwise, return false.
class	Compare<A>	Given a Comparator from some type A and two values of type A, return a ComparisonRelation of the first value with reference to the second value (according to Comparator.compare(Object, Object).
class	FoldLeft<A,B>	Given an Iterable of As, a starting value B, and a Fn2<B, A, B>, iteratively accumulate over the Iterable, ultimately returning a final B value.
class	FoldRight<A,B>	Given an Iterable of As, a starting lazy value B, and a Fn2<A, Lazy<B>, Lazy<B>>, iteratively accumulate over the Iterable, ultimately returning a final Lazy<B> value.
class	GTBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B and two values of type A, return true if the second value is strictly greater than the first value in terms of their mapped B results; otherwise, return false.
class	GTEBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B and two values of type A, return true if the second value is greater than or equal to the first value in terms of their mapped B results according to Comparable.compareTo(Object); otherwise, return false.
class	GTEWith<A>	Given a Comparator from some type A and two values of type A, return true if the second value is greater than or equal to the first value in terms of their mapped B results according to Comparator.compare(Object, Object); otherwise, return false.
class	GTWith<A>	Given a Comparator from some type A and two values of type A, return true if the second value is strictly greater than the first value in terms of their mapped B results; otherwise, return false.
class	LiftA2<A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>>	Lift into and apply an Fn2 to two Applicative values, returning the result inside the same Applicative context.
class	LTBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B and two values of type A, return true if the second value is strictly less than the first value in terms of their mapped B results; otherwise, return false.
class	LTEBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B and two values of type A, return true if the second value is less than or equal to the first value in terms of their mapped B results according to Comparable.compareTo(Object); otherwise, return false.
class	LTEWith<A>	Given a Comparator from some type A and two values of type A, return true if the second value is less than or equal to the first value in terms of their mapped B results according to Comparator.compare(Object, Object); otherwise, return false.
class	LTWith<A>	Given a comparator for some type A and two values of type A, return true if the second value is strictly less than than the first value in terms of their mapped B results; otherwise, return false.
class	ScanLeft<A,B>	Given an Iterable of As, a starting value B, and a Fn2<B, A, B>, iteratively accumulate over the Iterable, collecting each function application result, finally returning an Iterable of all the results.
class	Times<A>	Given some number of times n to invoke a function A -> A, and given an input A, iteratively apply the function to the input, and then to the result of the invocation, a total of n times, returning the result.
class	ZipWith<A,B,C>	Zip together two Iterables by applying a zipping function to the successive elements of each Iterable until one of them runs out of elements.

Methods in com.jnape.palatable.lambda.functions.builtin.fn3 with type parameters of type Applicative

Modifier and Type	Method	Description
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> LiftA2<A,B,C,App,AppC>	LiftA2.liftA2()
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> LiftA2<A,B,C,App,AppC>	LiftA2.liftA2()
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn2<Applicative<A,App>,Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn2<Applicative<A,App>,Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn1<Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn1<Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> AppC	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA, Applicative<B,App> appB)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> AppC	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA, Applicative<B,App> appB)

Methods in com.jnape.palatable.lambda.functions.builtin.fn3 that return types with arguments of type Applicative

Modifier and Type	Method	Description
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn2<Applicative<A,App>,Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn2<Applicative<A,App>,Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn1<Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA)

Methods in com.jnape.palatable.lambda.functions.builtin.fn3 with parameters of type Applicative

Modifier and Type	Method	Description
AppC	LiftA2.checkedApply(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA, Applicative<B,App> appB)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> Fn1<Applicative<B,App>,AppC>	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA)
static <A,B,C,App extends Applicative<?,App>,AppC extends Applicative<C,App>> AppC	LiftA2.liftA2(Fn2<? super A,? super B,? extends C> fn, Applicative<A,App> appA, Applicative<B,App> appB)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn4

Classes in com.jnape.palatable.lambda.functions.builtin.fn4 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA3<A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>>	Lift into and apply an Fn3 to three Applicative values, returning the result inside the same Applicative context.
class	LiftA3<A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>>	Lift into and apply an Fn3 to three Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn4 that implement Applicative

Modifier and Type	Class	Description
class	IfThenElse<A,B>
class	LiftA3<A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>>	Lift into and apply an Fn3 to three Applicative values, returning the result inside the same Applicative context.
class	RateLimit<A>	Given an Fn0 of Instants (presumably backed by a clock), a limit, a Duration, and an Iterable as, return an Iterable that iterates as according to the threshold specified by the limit per duration, using the Fn0 to advance time.

Methods in com.jnape.palatable.lambda.functions.builtin.fn4 with type parameters of type Applicative

Modifier and Type	Method	Description
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> LiftA3<A,B,C,D,App,AppD>	LiftA3.liftA3()
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> LiftA3<A,B,C,D,App,AppD>	LiftA3.liftA3()
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn3<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn3<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn2<Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn2<Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn1<Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn1<Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> AppD	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> AppD	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)

Methods in com.jnape.palatable.lambda.functions.builtin.fn4 that return types with arguments of type Applicative

Modifier and Type	Method	Description
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn3<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn3<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn3<Applicative<A,App>,Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn2<Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn2<Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn1<Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB)

Methods in com.jnape.palatable.lambda.functions.builtin.fn4 with parameters of type Applicative

Modifier and Type	Method	Description
AppD	LiftA3.checkedApply(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn2<Applicative<B,App>,Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> Fn1<Applicative<C,App>,AppD>	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB)
static <A,B,C,D,App extends Applicative<?,App>,AppD extends Applicative<D,App>> AppD	LiftA3.liftA3(Fn3<A,B,C,D> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn5

Classes in com.jnape.palatable.lambda.functions.builtin.fn5 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA4<A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>>	Lift into and apply an Fn4 to four Applicative values, returning the result inside the same Applicative context.
class	LiftA4<A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>>	Lift into and apply an Fn4 to four Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn5 that implement Applicative

Modifier and Type	Class	Description
class	LiftA4<A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>>	Lift into and apply an Fn4 to four Applicative values, returning the result inside the same Applicative context.

Methods in com.jnape.palatable.lambda.functions.builtin.fn5 with type parameters of type Applicative

Modifier and Type	Method	Description
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> LiftA4<A,B,C,D,E,App,AppE>	LiftA4.liftA4()
static <A,B,C,D,E,App extends Applicative<?,App>,AppE extends Applicative<E,App>> LiftA4<A,B,C,D,E,App,AppE>	LiftA4.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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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.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>> Fn3<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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.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>> Fn2<Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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.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>> Fn1<Applicative<D,App>,AppE>	LiftA4.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>> AppE	LiftA4.liftA4(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>> AppE	LiftA4.liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC, Applicative<D,App> appD)

Methods in com.jnape.palatable.lambda.functions.builtin.fn5 that return types with arguments of type Applicative

Modifier and Type	Method	Description
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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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>	LiftA4.liftA4(Fn4<A,B,C,D,E> fn)
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.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>> Fn3<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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>> Fn3<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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.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>> Fn2<Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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.liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC)

Methods in com.jnape.palatable.lambda.functions.builtin.fn5 with parameters of type Applicative

Modifier and Type	Method	Description
AppE	LiftA4.checkedApply(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>> Fn3<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,AppE>	LiftA4.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.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.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>> AppE	LiftA4.liftA4(Fn4<A,B,C,D,E> fn, Applicative<A,App> appA, Applicative<B,App> appB, Applicative<C,App> appC, Applicative<D,App> appD)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn6

Classes in com.jnape.palatable.lambda.functions.builtin.fn6 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA5<A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>>	Lift into and apply an Fn5 to five Applicative values, returning the result inside the same Applicative context.
class	LiftA5<A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>>	Lift into and apply an Fn5 to five Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn6 that implement Applicative

Modifier and Type	Class	Description
class	LiftA5<A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>>	Lift into and apply an Fn5 to five Applicative values, returning the result inside the same Applicative context.

Methods in com.jnape.palatable.lambda.functions.builtin.fn6 with type parameters of type Applicative

Modifier and Type	Method	Description
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.liftA5()
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.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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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.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>> Fn4<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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>> Fn3<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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>> Fn2<Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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>> Fn1<Applicative<E,App>,AppF>	LiftA5.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>> AppF	LiftA5.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, Applicative<E,App> appE)
static <A,B,C,D,E,F,App extends Applicative<?,App>,AppF extends Applicative<F,App>> AppF	LiftA5.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, Applicative<E,App> appE)

Methods in com.jnape.palatable.lambda.functions.builtin.fn6 that return types with arguments of type Applicative

Modifier and Type	Method	Description
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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>	LiftA5.liftA5(Fn5<A,B,C,D,E,F> fn)
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.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>> Fn4<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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>> Fn4<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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>> Fn4<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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>> Fn3<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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>> Fn3<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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>> Fn2<Applicative<D,App>,Applicative<E,App>,AppF>	LiftA5.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.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)

Methods in com.jnape.palatable.lambda.functions.builtin.fn6 with parameters of type Applicative

Modifier and Type	Method	Description
AppF	LiftA5.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)
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.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.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.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.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>> AppF	LiftA5.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, Applicative<E,App> appE)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn7

Classes in com.jnape.palatable.lambda.functions.builtin.fn7 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA6<A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>>	Lift into and apply an Fn6 to six Applicative values, returning the result inside the same Applicative context.
class	LiftA6<A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>>	Lift into and apply an Fn6 to six Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn7 that implement Applicative

Modifier and Type	Class	Description
class	LiftA6<A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>>	Lift into and apply an Fn6 to six Applicative values, returning the result inside the same Applicative context.

Methods in com.jnape.palatable.lambda.functions.builtin.fn7 with type parameters of type Applicative

Modifier and Type	Method	Description
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.liftA6()
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.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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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.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>> Fn5<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn4<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn3<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn2<Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn1<Applicative<F,App>,AppG>	LiftA6.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>> AppG	LiftA6.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, Applicative<F,App> appF)
static <A,B,C,D,E,F,G,App extends Applicative<?,App>,AppG extends Applicative<G,App>> AppG	LiftA6.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, Applicative<F,App> appF)

Methods in com.jnape.palatable.lambda.functions.builtin.fn7 that return types with arguments of type Applicative

Modifier and Type	Method	Description
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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>	LiftA6.liftA6(Fn6<A,B,C,D,E,F,G> fn)
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.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>> Fn5<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn5<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn5<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn5<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn4<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn4<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn4<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn3<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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>> Fn3<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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>> Fn2<Applicative<E,App>,Applicative<F,App>,AppG>	LiftA6.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.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)

Methods in com.jnape.palatable.lambda.functions.builtin.fn7 with parameters of type Applicative

Modifier and Type	Method	Description
AppG	LiftA6.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)
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.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.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.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.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.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>> AppG	LiftA6.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, Applicative<F,App> appF)

Uses of Applicative in com.jnape.palatable.lambda.functions.builtin.fn8

Classes in com.jnape.palatable.lambda.functions.builtin.fn8 with type parameters of type Applicative

Modifier and Type	Class	Description
class	LiftA7<A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>>	Lift into and apply an Fn7 to seven Applicative values, returning the result inside the same Applicative context.
class	LiftA7<A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>>	Lift into and apply an Fn7 to seven Applicative values, returning the result inside the same Applicative context.

Classes in com.jnape.palatable.lambda.functions.builtin.fn8 that implement Applicative

Modifier and Type	Class	Description
class	LiftA7<A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>>	Lift into and apply an Fn7 to seven Applicative values, returning the result inside the same Applicative context.

Methods in com.jnape.palatable.lambda.functions.builtin.fn8 with type parameters of type Applicative

Modifier and Type	Method	Description
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.liftA7()
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.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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn5<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn4<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn3<Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn2<Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn1<Applicative<G,App>,AppH>	LiftA7.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>> AppH	LiftA7.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, Applicative<G,App> appG)
static <A,B,C,D,E,F,G,H,App extends Applicative<?,App>,AppH extends Applicative<H,App>> AppH	LiftA7.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, Applicative<G,App> appG)

Methods in com.jnape.palatable.lambda.functions.builtin.fn8 that return types with arguments of type Applicative

Modifier and Type	Method	Description
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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>	LiftA7.liftA7(Fn7<A,B,C,D,E,F,G,H> fn)
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.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn6<Applicative<B,App>,Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn5<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn5<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn5<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn5<Applicative<C,App>,Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn4<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn4<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn4<Applicative<D,App>,Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn3<Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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>> Fn3<Applicative<E,App>,Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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>> Fn2<Applicative<F,App>,Applicative<G,App>,AppH>	LiftA7.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.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)

Methods in com.jnape.palatable.lambda.functions.builtin.fn8 with parameters of type Applicative

Modifier and Type	Method	Description
AppH	LiftA7.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)
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.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.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.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.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.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.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>> AppH	LiftA7.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, Applicative<G,App> appG)

Uses of Applicative in com.jnape.palatable.lambda.functions.recursion

Classes in com.jnape.palatable.lambda.functions.recursion that implement Applicative

Modifier and Type	Class	Description
class	RecursiveResult<A,B>	Specialized CoProduct2 representing the possible results of a primitive recursive function.
(package private) static class	RecursiveResult.Recurse<A,B>
(package private) static class	RecursiveResult.Terminate<A,B>
class	Trampoline<A,B>	Given an Fn1<A, CoProduct2<A, B, ?>> (analogous to "recurse" and "return" tail position instructions, respectively), produce a Fn1<A, B> that unrolls the original function by iteratively passing each result that matches the input (A) back to the original function, and then terminating on and returning the first output (B).

Methods in com.jnape.palatable.lambda.functions.recursion with type parameters of type Applicative

Modifier and Type	Method	Description
<C,App extends Applicative<?,App>,TravB extends Traversable<C,RecursiveResult<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	RecursiveResult.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,RecursiveResult<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	RecursiveResult.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.functions.recursion with parameters of type Applicative

Modifier and Type	Method	Description
<C> RecursiveResult<A,C>	RecursiveResult.discardL(Applicative<C,RecursiveResult<A,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<C> RecursiveResult<A,B>	RecursiveResult.discardR(Applicative<C,RecursiveResult<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<C> RecursiveResult<A,C>	RecursiveResult.zip(Applicative<Fn1<? super B,? extends C>,RecursiveResult<A,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.functions.recursion with type arguments of type Applicative

Modifier and Type	Method	Description
<C,App extends Applicative<?,App>,TravB extends Traversable<C,RecursiveResult<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	RecursiveResult.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Uses of Applicative in com.jnape.palatable.lambda.functions.specialized

Subinterfaces of Applicative in com.jnape.palatable.lambda.functions.specialized

Modifier and Type	Interface	Description
interface	BiMonoidFactory<A,B,C>
interface	BiPredicate<A,B>	A specialized Fn2 that returns a Boolean when fully applied, or a Predicate when partially applied.
interface	BiSemigroupFactory<A,B,C>
interface	Kleisli<A,B,M extends Monad<?,M>,MB extends Monad<B,M>>	The Kleisli arrow of a Monad, manifest as simply an Fn1<A, MB>.
interface	MonoidFactory<A,B>
interface	Predicate<A>	A specialized Fn1 that returns a Boolean.
interface	SemigroupFactory<A,B>

Methods in com.jnape.palatable.lambda.functions.specialized with type parameters of type Applicative

Modifier and Type	Method	Description
static <F extends Applicative<?,? extends F>> Pure<F>	Pure.of(Applicative<?,? extends F> app)	Extract an Applicative's pure implementation to an instance of Pure.

Methods in com.jnape.palatable.lambda.functions.specialized with parameters of type Applicative

Modifier and Type	Method	Description
default <D> BiPredicate<A,B>	BiPredicate.discardR(Applicative<D,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <C> Kleisli<A,B,M,MB>	Kleisli.discardR(Applicative<C,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <C> Predicate<A>	Predicate.discardR(Applicative<C,Fn1<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
static <F extends Applicative<?,? extends F>> Pure<F>	Pure.of(Applicative<?,? extends F> app)	Extract an Applicative's pure implementation to an instance of Pure.

Uses of Applicative in com.jnape.palatable.lambda.functor

Classes in com.jnape.palatable.lambda.functor with type parameters of type Applicative

Modifier and Type	Interface	Description
interface	Applicative<A,App extends Applicative<?,App>>	An interface representing applicative functors - functors that can have their results combined with other functors of the same instance in a context-free manner.

Methods in com.jnape.palatable.lambda.functor that return Applicative

Modifier and Type	Method	Description
default <B> Applicative<B,App>	Applicative.discardL(Applicative<B,App> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> Applicative<A,App>	Applicative.discardR(Applicative<B,App> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> Applicative<B,App>	Applicative.fmap(Fn1<? super A,? extends B> fn)	Covariantly transmute this functor's parameter using the given mapping function.
<B> Applicative<B,App>	Applicative.pure(B b)	Lift the value b into this applicative functor.
<B> Applicative<B,App>	Applicative.zip(Applicative<Fn1<? super A,? extends B>,App> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Methods in com.jnape.palatable.lambda.functor that return types with arguments of type Applicative

Modifier and Type	Method	Description
default <B> Lazy<? extends Applicative<B,App>>	Applicative.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,App>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Methods in com.jnape.palatable.lambda.functor with parameters of type Applicative

Modifier and Type	Method	Description
default <B> Applicative<B,App>	Applicative.discardL(Applicative<B,App> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> Applicative<A,App>	Applicative.discardR(Applicative<B,App> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Applicative<B,App>	Applicative.zip(Applicative<Fn1<? super A,? extends B>,App> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.functor with type arguments of type Applicative

Modifier and Type	Method	Description
default <B> Lazy<? extends Applicative<B,App>>	Applicative.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,App>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.functor.builtin

Classes in com.jnape.palatable.lambda.functor.builtin with type parameters of type Applicative

Modifier and Type	Class	Description
class	Compose<F extends Applicative<?,F>,G extends Applicative<?,G>,A>	A functor representing the type-level composition of two Applicative functors; useful for preserving nested type-level transformations during traversal of a Traversable.
class	Compose<F extends Applicative<?,F>,G extends Applicative<?,G>,A>	A functor representing the type-level composition of two Applicative functors; useful for preserving nested type-level transformations during traversal of a Traversable.

Classes in com.jnape.palatable.lambda.functor.builtin that implement Applicative

Modifier and Type	Class	Description
class	Compose<F extends Applicative<?,F>,G extends Applicative<?,G>,A>	A functor representing the type-level composition of two Applicative functors; useful for preserving nested type-level transformations during traversal of a Traversable.
class	Const<A,B>	A (surprisingly useful) functor over some phantom type B, retaining a value of type A that can be retrieved later.
class	Identity<A>	A functor over some value of type A that can be mapped over and retrieved later.
class	Lazy<A>	A Monad representing a lazily-computed value.
private static class	Lazy.Compose<A>
private static class	Lazy.Later<A>
class	Market<A,B,S,T>	A profunctor used to extract the isomorphic functions a Prism is composed of.
class	State<S,A>	The state Monad, useful for iteratively building up state and state-contextualized result.
class	Tagged<S,B>	Like Const, but the phantom parameter is in the contravariant position, and the value is in covariant position.
class	Writer<W,A>	The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and a value.

Fields in com.jnape.palatable.lambda.functor.builtin declared as Applicative

Modifier and Type	Field	Description
private Applicative<? extends Applicative<A,G>,F>	Compose.fga

Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type Applicative

Modifier and Type	Field	Description
private Applicative<? extends Applicative<A,G>,F>	Compose.fga

Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type Applicative

Modifier and Type	Method	Description
<GA extends Applicative<A,G>,FGA extends Applicative<GA,F>> FGA	Compose.getCompose()
<GA extends Applicative<A,G>,FGA extends Applicative<GA,F>> FGA	Compose.getCompose()
static <F extends Applicative<?,F>,G extends Applicative<?,G>> Pure<Compose<F,G,?>>	Compose.pureCompose(Pure<F> pureF, Pure<G> pureG)	The canonical Pure instance for Compose.
static <F extends Applicative<?,F>,G extends Applicative<?,G>> Pure<Compose<F,G,?>>	Compose.pureCompose(Pure<F> pureF, Pure<G> pureG)	The canonical Pure instance for Compose.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Const<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Const.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Const<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Const.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Identity<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Identity.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Identity<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Identity.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Lazy<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Lazy.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Lazy<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Lazy.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,Tagged<S,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	Tagged.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,Tagged<S,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	Tagged.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.functor.builtin with parameters of type Applicative

Modifier and Type	Method	Description
<B> Compose<F,G,B>	Compose.discardL(Applicative<B,Compose<F,G,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<C> Const<A,C>	Const.discardL(Applicative<C,Const<A,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Identity<B>	Identity.discardL(Applicative<B,Identity<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Lazy<B>	Lazy.discardL(Applicative<B,Lazy<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> State<S,B>	State.discardL(Applicative<B,State<S,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<C> Tagged<S,C>	Tagged.discardL(Applicative<C,Tagged<S,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Writer<W,B>	Writer.discardL(Applicative<B,Writer<W,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> Compose<F,G,A>	Compose.discardR(Applicative<B,Compose<F,G,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<C> Const<A,B>	Const.discardR(Applicative<C,Const<A,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Identity<A>	Identity.discardR(Applicative<B,Identity<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Lazy<A>	Lazy.discardR(Applicative<B,Lazy<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> State<S,A>	State.discardR(Applicative<B,State<S,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<C> Tagged<S,B>	Tagged.discardR(Applicative<C,Tagged<S,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Writer<W,A>	Writer.discardR(Applicative<B,Writer<W,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> Compose<F,G,B>	Compose.zip(Applicative<Fn1<? super A,? extends B>,Compose<F,G,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C> Const<A,C>	Const.zip(Applicative<Fn1<? super B,? extends C>,Const<A,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Identity<B>	Identity.zip(Applicative<Fn1<? super A,? extends B>,Identity<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<B>	Lazy.zip(Applicative<Fn1<? super A,? extends B>,Lazy<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<U> Market<A,B,S,U>	Market.zip(Applicative<Fn1<? super T,? extends U>,Market<A,B,S,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> State<S,B>	State.zip(Applicative<Fn1<? super A,? extends B>,State<S,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C> Tagged<S,C>	Tagged.zip(Applicative<Fn1<? super B,? extends C>,Tagged<S,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Writer<W,B>	Writer.zip(Applicative<Fn1<? super A,? extends B>,Writer<W,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Applicative

Modifier and Type	Method	Description
<B> Lazy<Compose<F,G,B>>	Compose.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Compose<F,G,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C> Lazy<Const<A,C>>	Const.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Const<A,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<Identity<B>>	Identity.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Identity<?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<State<S,B>>	State.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,State<S,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<Writer<W,B>>	Writer.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Writer<W,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<C,App extends Applicative<?,App>,TravB extends Traversable<C,Const<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Const.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Identity<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Identity.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,Lazy<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	Lazy.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,Tagged<S,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	Tagged.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Constructors in com.jnape.palatable.lambda.functor.builtin with parameters of type Applicative

Constructor	Description
Compose(Applicative<? extends Applicative<A,G>,F> fga)

Constructor parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Applicative

Constructor	Description
Compose(Applicative<? extends Applicative<A,G>,F> fga)

Uses of Applicative in com.jnape.palatable.lambda.io

Classes in com.jnape.palatable.lambda.io that implement Applicative

Modifier and Type	Class	Description
class	IO<A>	A Monad representing some side-effecting computation to be performed.
private static class	IO.Compose<A>

Methods in com.jnape.palatable.lambda.io with parameters of type Applicative

Modifier and Type	Method	Description
<B> IO<B>	IO.discardL(Applicative<B,IO<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> IO<A>	IO.discardR(Applicative<B,IO<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> IO<B>	IO.zip(Applicative<Fn1<? super A,? extends B>,IO<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.io with type arguments of type Applicative

Modifier and Type	Method	Description
<B> Lazy<IO<B>>	IO.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IO<?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.monad

Subinterfaces of Applicative in com.jnape.palatable.lambda.monad

Modifier and Type	Interface	Description
interface	Monad<A,M extends Monad<?,M>>	Monads are Applicative functors that support a flattening operation to unwrap M<M<A>> -> M<A>.
interface	MonadError<E,A,M extends MonadError<E,?,M>>	An interface for monads that can be interrupted with some type of error.
interface	MonadReader<R,A,MR extends MonadReader<R,?,MR>>	A monad that is capable of reading an environment R and producing a lifted value A.
interface	MonadRec<A,M extends MonadRec<?,M>>	A class of monads that offer a stack-safe interface for performing arbitrarily many flatmap-like operations via MonadRec.trampolineM(Fn1).
interface	MonadWriter<W,A,MW extends MonadWriter<W,?,MW>>	A Monad that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value.

Classes in com.jnape.palatable.lambda.monad that implement Applicative

Modifier and Type	Class	Description
class	SafeT<M extends MonadRec<?,M>,A>	A stack-safe monad transformer that can safely interpret deeply nested left- or right-associated binds for any MonadRec.

Methods in com.jnape.palatable.lambda.monad with parameters of type Applicative

Modifier and Type	Method	Description
default <B> Monad<B,M>	Monad.discardL(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> MonadError<E,B,M>	MonadError.discardL(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> MonadReader<R,B,MR>	MonadReader.discardL(Applicative<B,MR> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> MonadRec<B,M>	MonadRec.discardL(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> MonadWriter<W,B,MW>	MonadWriter.discardL(Applicative<B,MW> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> SafeT<M,B>	SafeT.discardL(Applicative<B,SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> Monad<A,M>	Monad.discardR(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> MonadError<E,A,M>	MonadError.discardR(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> MonadReader<R,A,MR>	MonadReader.discardR(Applicative<B,MR> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> MonadRec<A,M>	MonadRec.discardR(Applicative<B,M> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> MonadWriter<W,A,MW>	MonadWriter.discardR(Applicative<B,MW> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> SafeT<M,A>	SafeT.discardR(Applicative<B,SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> Monad<B,M>	Monad.zip(Applicative<Fn1<? super A,? extends B>,M> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> MonadError<E,B,M>	MonadError.zip(Applicative<Fn1<? super A,? extends B>,M> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> MonadReader<R,B,MR>	MonadReader.zip(Applicative<Fn1<? super A,? extends B>,MR> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> MonadRec<B,M>	MonadRec.zip(Applicative<Fn1<? super A,? extends B>,M> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> MonadWriter<W,B,MW>	MonadWriter.zip(Applicative<Fn1<? super A,? extends B>,MW> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> SafeT<M,B>	SafeT.zip(Applicative<Fn1<? super A,? extends B>,SafeT<M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.monad with type arguments of type Applicative

Modifier and Type	Method	Description
default <B> Lazy<? extends Monad<B,M>>	Monad.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,M>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> Lazy<? extends MonadError<E,B,M>>	MonadError.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,M>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> Lazy<? extends MonadReader<R,B,MR>>	MonadReader.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,MR>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> Lazy<? extends MonadRec<B,M>>	MonadRec.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,M>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <B> Lazy<? extends MonadWriter<W,B,MW>>	MonadWriter.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,MW>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<SafeT<M,B>>	SafeT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,SafeT<M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.monad.transformer

Subinterfaces of Applicative in com.jnape.palatable.lambda.monad.transformer

Modifier and Type	Interface	Description
interface	MonadT<M extends MonadRec<?,M>,A,MT extends MonadT<M,?,MT,T>,T extends MonadT<?,?,?,T>>	The generic type representing a Monad transformer, exposing the argument Monad as a type parameter.

Methods in com.jnape.palatable.lambda.monad.transformer with parameters of type Applicative

Modifier and Type	Method	Description
default <B> MonadT<M,B,MT,T>	MonadT.discardL(Applicative<B,MT> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <B> MonadT<M,A,MT,T>	MonadT.discardR(Applicative<B,MT> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <B> MonadT<M,B,MT,T>	MonadT.zip(Applicative<Fn1<? super A,? extends B>,MT> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.monad.transformer with type arguments of type Applicative

Modifier and Type	Method	Description
default <B> Lazy<? extends MonadT<M,B,MT,T>>	MonadT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,MT>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.monad.transformer.builtin

Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement Applicative

Modifier and Type	Class	Description
class	EitherT<M extends MonadRec<?,M>,L,R>	A monad transformer for Either.
class	IdentityT<M extends MonadRec<?,M>,A>	A monad transformer for Identity.
class	IterateT<M extends MonadRec<?,M>,A>	A monad transformer over a co-inductive, singly-linked spine of values embedded in effects.
class	LazyT<M extends MonadRec<?,M>,A>	A monad transformer for Lazy.
class	MaybeT<M extends MonadRec<?,M>,A>	A monad transformer for Maybe.
class	ReaderT<R,M extends MonadRec<?,M>,A>	A monad transformer for any function from some type R to some monadic embedding MonadRec<A, M>.
class	StateT<S,M extends MonadRec<?,M>,A>	The State monad transformer.
class	WriterT<W,M extends MonadRec<?,M>,A>	A monad transformer for Writer.

Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type Applicative

Modifier and Type	Method	Description
<R2> EitherT<M,L,R2>	EitherT.discardL(Applicative<R2,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> IdentityT<M,B>	IdentityT.discardL(Applicative<B,IdentityT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> IterateT<M,B>	IterateT.discardL(Applicative<B,IterateT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> LazyT<M,B>	LazyT.discardL(Applicative<B,LazyT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> MaybeT<M,B>	MaybeT.discardL(Applicative<B,MaybeT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> ReaderT<R,M,B>	ReaderT.discardL(Applicative<B,ReaderT<R,M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> StateT<S,M,B>	StateT.discardL(Applicative<B,StateT<S,M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> WriterT<W,M,B>	WriterT.discardL(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> EitherT<M,L,R>	EitherT.discardR(Applicative<B,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> IdentityT<M,A>	IdentityT.discardR(Applicative<B,IdentityT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> IterateT<M,A>	IterateT.discardR(Applicative<B,IterateT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> LazyT<M,A>	LazyT.discardR(Applicative<B,LazyT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> MaybeT<M,A>	MaybeT.discardR(Applicative<B,MaybeT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> ReaderT<R,M,A>	ReaderT.discardR(Applicative<B,ReaderT<R,M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> StateT<S,M,A>	StateT.discardR(Applicative<B,StateT<S,M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> WriterT<W,M,A>	WriterT.discardR(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<R2> EitherT<M,L,R2>	EitherT.zip(Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> IdentityT<M,B>	IdentityT.zip(Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> IterateT<M,B>	IterateT.zip(Applicative<Fn1<? super A,? extends B>,IterateT<M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> LazyT<M,B>	LazyT.zip(Applicative<Fn1<? super A,? extends B>,LazyT<M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> MaybeT<M,B>	MaybeT.zip(Applicative<Fn1<? super A,? extends B>,MaybeT<M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> ReaderT<R,M,B>	ReaderT.zip(Applicative<Fn1<? super A,? extends B>,ReaderT<R,M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> StateT<S,M,B>	StateT.zip(Applicative<Fn1<? super A,? extends B>,StateT<S,M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> WriterT<W,M,B>	WriterT.zip(Applicative<Fn1<? super A,? extends B>,WriterT<W,M,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Applicative

Modifier and Type	Method	Description
<R2> Lazy<EitherT<M,L,R2>>	EitherT.lazyZip(Lazy<? extends Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<IdentityT<M,B>>	IdentityT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<IterateT<M,B>>	IterateT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IterateT<M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<LazyT<M,B>>	LazyT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,LazyT<M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<MaybeT<M,B>>	MaybeT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,MaybeT<M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<ReaderT<R,M,B>>	ReaderT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,ReaderT<R,M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<StateT<S,M,B>>	StateT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,StateT<S,M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B> Lazy<WriterT<W,M,B>>	WriterT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,WriterT<W,M,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.monoid

Subinterfaces of Applicative in com.jnape.palatable.lambda.monoid

Modifier and Type	Interface	Description
interface	Monoid<A>	A Monoid is the pairing of a Semigroup with an identity element.

Uses of Applicative in com.jnape.palatable.lambda.monoid.builtin

Classes in com.jnape.palatable.lambda.monoid.builtin that implement Applicative

Modifier and Type	Class	Description
class	AddAll<A,C extends java.util.Collection<A>>	The Monoid instance formed under mutative concatenation for an arbitrary Collection.
class	And	A Monoid instance formed by Boolean.
class	Collapse<_1,_2>	A Monoid instance formed by a Tuple2<_1, _2> and monoids over _1 and _2.
class	Compose<A>	A Monoid instance formed by CompletableFuture<A> and a monoid over A.
class	Concat<A>	The Monoid instance formed under concatenation for an arbitrary Iterable.
class	Endo<A>	A Monoid formed by Fn1 under composition.
class	EndoK<M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>	The monoid formed under monadic endomorphism.
class	First<A>	A Monoid instance formed by Maybe<A>.
class	Join	A Monoid instance formed by String that concats two strings together.
class	Last<A>	A Monoid instance formed by Maybe<A>.
class	LeftAll<L,R>	A Monoid instance formed by Either<L,R> and a monoid over L.
class	LeftAny<L,R>	A Monoid instance formed by Either<L,R> and a monoid over L.
class	Merge<L,R>	A Monoid instance formed by Either.merge(com.jnape.palatable.lambda.functions.Fn2<? super L, ? super L, ? extends L>, com.jnape.palatable.lambda.functions.Fn2<? super R, ? super R, ? extends R>, com.jnape.palatable.lambda.adt.Either<L, R>...), a semigroup over L, and a monoid over R.
class	MergeHMaps	A Monoid instance formed by merging HMaps using the chosen TypeSafeKey -> Semigroup mappings, defaulting to Last in case no Semigroup has been chosen for a given TypeSafeKey.
class	MergeMaps<K,V>	A Monoid instance formed by Map.merge(Object, Object, BiFunction) and a semigroup over V.
class	Or	A Monoid instance formed by Boolean.
class	Present<A>	A Monoid instance formed by Maybe<A> and a semigroup over A.
class	PutAll	A Monoid instance formed by HMap that simply combines all the mappings.
class	RightAll<L,R>	A Monoid instance formed by Either<L,R> and a monoid over R.
class	RightAny<L,R>	A Monoid instance formed by Either<L,R> and a monoid over R.
class	RunAll<A>	Run IO operations, aggregating their results in terms of the provided Monoid.
class	Trivial	The trivial Unit Monoid formed under constantly.
class	Union<A>	Given two Iterables xs and ys, return the concatenation of the distinct elements of both xs and ys.
class	Xor	Logical exclusive-or.

Uses of Applicative in com.jnape.palatable.lambda.optics

Subinterfaces of Applicative in com.jnape.palatable.lambda.optics

Modifier and Type	Interface	Description
interface	Iso<S,T,A,B>	An Iso (short for "isomorphism") is an invertible Lens: an Optic encoding of a bi-directional focusing of two types, and like Lenses, can be Viewed, Set, and updated.
static interface	Iso.Simple<S,A>	A convenience type with a simplified type signature for common isos with both unified "larger" values and unified "smaller" values.
interface	Lens<S,T,A,B>	An approximation of van Laarhoven lenses.
static interface	Lens.Simple<S,A>	A convenience type with a simplified type signature for common lenses with both unified "larger" values and unified "smaller" values.
interface	Prism<S,T,A,B>	Prisms are Isos that can fail in one direction.
static interface	Prism.Simple<S,A>	A convenience type with a simplified type signature for common prism with unified S/T and A/B types.

Methods in com.jnape.palatable.lambda.optics with type parameters of type Applicative

Modifier and Type	Method	Description
<F extends Applicative<?,F>> Optic<P,F,S,T,A,B>	ProtoOptic.toOptic(Pure<F> pure)	Given a Pure lifting function, fix this ProtoOptic to the given Functor and promote it to an Optic.

Methods in com.jnape.palatable.lambda.optics with parameters of type Applicative

Modifier and Type	Method	Description
default <U> Iso<S,U,A,B>	Iso.discardL(Applicative<U,Iso<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <U> Lens<S,U,A,B>	Lens.discardL(Applicative<U,Lens<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <U> Prism<S,U,A,B>	Prism.discardL(Applicative<U,Prism<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
default <U> Iso<S,T,A,B>	Iso.discardR(Applicative<U,Iso<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <U> Iso.Simple<S,A>	Iso.Simple.discardR(Applicative<U,Iso<S,?,A,A>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <U> Lens<S,T,A,B>	Lens.discardR(Applicative<U,Lens<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <U> Prism<S,T,A,B>	Prism.discardR(Applicative<U,Prism<S,?,A,B>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
default <U> Iso<S,U,A,B>	Iso.zip(Applicative<Fn1<? super T,? extends U>,Iso<S,?,A,B>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <U> Lens<S,U,A,B>	Lens.zip(Applicative<Fn1<? super T,? extends U>,Lens<S,?,A,B>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
default <U> Prism<S,U,A,B>	Prism.zip(Applicative<Fn1<? super T,? extends U>,Prism<S,?,A,B>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.optics with type arguments of type Applicative

Modifier and Type	Method	Description
default <U> Lazy<Prism<S,U,A,B>>	Prism.lazyZip(Lazy<? extends Applicative<Fn1<? super T,? extends U>,Prism<S,?,A,B>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Applicative in com.jnape.palatable.lambda.optics.functions

Classes in com.jnape.palatable.lambda.optics.functions that implement Applicative

Modifier and Type	Class	Description
class	Matching<S,T,A,B>
class	Over<S,T,A,B>	Given an Optic, a function from A to B, and a "larger" value S, produce a T by retrieving the A from the S, applying the function, and updating the S with the B resulting from the function.
class	Pre<P extends Profunctor<?,?,? extends P>,S,T,A,B>	Turn an Optic with a unary mapping that can be used for viewing some number of values into an Optic that views the first value, if it exists.
class	Re<S,T,A,B>	Turn an Optic with a unary mapping that can be used for setting (e.g.
class	Set<S,T,A,B>	Given an Optic, a "smaller" value B, and a "larger" value S, produce a T by lifting the Optic into the Identity functor.
class	Under<S,T,A,B>	The inverse of Over: given an Iso, a function from T to S, and a "smaller" value B, return a "smaller" value A by traversing around the type ring (B -> T -> S -> A).
class	View<S,T,A,B>	Given an Optic and a "larger" value S, retrieve a "smaller" value A by lifting the Optic into the Const functor.

Uses of Applicative in com.jnape.palatable.lambda.semigroup

Subinterfaces of Applicative in com.jnape.palatable.lambda.semigroup

Modifier and Type	Interface	Description
interface	Semigroup<A>	A Semigroup is a closed, associative category.

Uses of Applicative in com.jnape.palatable.lambda.semigroup.builtin

Classes in com.jnape.palatable.lambda.semigroup.builtin that implement Applicative

Modifier and Type	Class	Description
class	Absent<A>	A Semigroup instance formed by Maybe<A> and a semigroup over A.
class	Collapse<_1,_2>	A Semigroup instance formed by a Tuple2<_1, _2> and semigroups over _1 and _2.
class	Compose<A>	A Semigroup instance formed by CompletableFuture<A> and a semigroup over A.
class	Intersection<A>	Given two Iterables xs and ys, return the distinct elements of xs that are also in ys in order of their unique occurrence in xs.
class	LeftAll<L,R>	A Semigroup instance formed by Either<L,R> and a semigroup over L.
class	LeftAny<L,R>	A Semigroup instance formed by Either<L,R> and a semigroup over L.
class	Max<A extends java.lang.Comparable<A>>	A Semigroup over A that chooses between two values x and y via the following rules: If x is strictly less than y, return y Otherwise, return x
class	MaxBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B, produce a Semigroup over A that chooses between two values x and y via the following rules: If x is strictly less than y in terms of B, return y Otherwise, return x
class	MaxWith<A>	Given a comparator for some type A, produce a Semigroup over A that chooses between two values x and y via the following rules: If x is strictly less than y in terms of B, return y Otherwise, return x
class	Merge<L,R>	A Semigroup instance formed by Either.merge(com.jnape.palatable.lambda.functions.Fn2<? super L, ? super L, ? extends L>, com.jnape.palatable.lambda.functions.Fn2<? super R, ? super R, ? extends R>, com.jnape.palatable.lambda.adt.Either<L, R>...) and semigroups over L and R.
class	Min<A extends java.lang.Comparable<A>>	A Semigroup over A that chooses between two values x and y via the following rules: If x is strictly greater than y, return y Otherwise, return x
class	MinBy<A,B extends java.lang.Comparable<B>>	Given a mapping function from some type A to some Comparable type B, produce a Semigroup over A that chooses between two values x and y via the following rules: If x is strictly greater than y in terms of B, return y Otherwise, return x
class	MinWith<A>	Given a comparator for some type A, produce a Semigroup over A that chooses between two values x and y via the following rules: If x is strictly greater than y in terms of B, return y Otherwise, return x
class	RightAll<L,R>	A Semigroup instance formed by Either<L,R> and a semigroup over R.
class	RightAny<L,R>	A Semigroup instance formed by Either<L,R> and a semigroup over R.
class	RunAll<A>	Run IO operations, aggregating their results in terms of the provided Semigroup.

Uses of Applicative in com.jnape.palatable.lambda.traversable

Classes in com.jnape.palatable.lambda.traversable that implement Applicative

Modifier and Type	Class	Description
class	LambdaIterable<A>	Extension point for Iterable to adapt lambda core types like Monad and Traversable.

Methods in com.jnape.palatable.lambda.traversable with type parameters of type Applicative

Modifier and Type	Method	Description
<B,App extends Applicative<?,App>,TravB extends Traversable<B,LambdaIterable<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	LambdaIterable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,LambdaIterable<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	LambdaIterable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,LambdaMap<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	LambdaMap.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)
<C,App extends Applicative<?,App>,TravC extends Traversable<C,LambdaMap<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	LambdaMap.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)
<B,App extends Applicative<?,App>,TravB extends Traversable<B,T>,AppTrav extends Applicative<TravB,App>> AppTrav	Traversable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,T>,AppTrav extends Applicative<TravB,App>> AppTrav	Traversable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.

Methods in com.jnape.palatable.lambda.traversable with parameters of type Applicative

Modifier and Type	Method	Description
<B> LambdaIterable<B>	LambdaIterable.discardL(Applicative<B,LambdaIterable<?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> LambdaIterable<A>	LambdaIterable.discardR(Applicative<B,LambdaIterable<?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> LambdaIterable<B>	LambdaIterable.zip(Applicative<Fn1<? super A,? extends B>,LambdaIterable<?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Method parameters in com.jnape.palatable.lambda.traversable with type arguments of type Applicative

Modifier and Type	Method	Description
<B> Lazy<LambdaIterable<B>>	LambdaIterable.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,LambdaIterable<?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<B,App extends Applicative<?,App>,TravB extends Traversable<B,LambdaIterable<?>>,AppTrav extends Applicative<TravB,App>> AppTrav	LambdaIterable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
<C,App extends Applicative<?,App>,TravC extends Traversable<C,LambdaMap<A,?>>,AppTrav extends Applicative<TravC,App>> AppTrav	LambdaMap.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)
<B,App extends Applicative<?,App>,TravB extends Traversable<B,T>,AppTrav extends Applicative<TravB,App>> AppTrav	Traversable.traverse(Fn1<? super A,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)	Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.