Uses of Interface
com.jnape.palatable.lambda.functor.Applicative
Packages that use Applicative
Package
Description
-
Uses of Applicative in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement ApplicativeModifier and TypeClassDescriptionclass
Either<L,
R> The binary tagged union, implemented as a specializedCoProduct2
.private static final class
Either.Left<L,
R> private static final class
Either.Right<L,
R> class
Maybe<A>
The optional type, representing a potentially absent value.private static final class
Maybe.Just<A>
private static final class
class
These<A,
B> The coproduct of a coproduct (
) and its product (CoProduct2
<A, B>
), represented as aTuple2
<A, B>
.CoProduct3
<A, B,Tuple2
<A, B>>private static final class
These._A<A,
B> private static final class
These._B<A,
B> private static final class
These.Both<A,
B> class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static final class
Try.Failure<A>
private static final class
Try.Success<A>
Methods in com.jnape.palatable.lambda.adt with type parameters of type ApplicativeModifier and TypeMethodDescriptionfinal <R2,
App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravEither.traverse
(Fn1<? super R, ? extends Applicative<R2, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.final <R2,
App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravEither.traverse
(Fn1<? super R, ? extends Applicative<R2, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.final <B,
App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>, AppTrav extends Applicative<TravB, App>>
AppTravMaybe.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) final <B,
App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>, AppTrav extends Applicative<TravB, App>>
AppTravMaybe.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>>
AppTravThese.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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>>
AppTravThese.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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>>
AppTravTry.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTry.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescriptionEither.discardL
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.final <B> Maybe
<B> Maybe.discardL
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.These.discardL
(Applicative<C, These<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Try
<B> Try.discardL
(Applicative<B, Try<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Either.discardR
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Maybe.discardR
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.These.discardR
(Applicative<C, These<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Try.discardR
(Applicative<B, Try<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.final <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.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Terminate early if this is aMaybe.Nothing
; otherwise, continue thezip
.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.final <R2,
App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravEither.traverse
(Fn1<? super R, ? extends Applicative<R2, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.final <B,
App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>, AppTrav extends Applicative<TravB, App>>
AppTravMaybe.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>>
AppTravThese.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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>>
AppTravTry.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeClassDescriptionclass
Choice2<A,
B> Canonical ADT representation ofCoProduct2
.private static final class
Choice2._A<A,
B> private static final class
Choice2._B<A,
B> class
Choice3<A,
B, C> Canonical ADT representation ofCoProduct3
.private static final class
Choice3._A<A,
B, C> private static final class
Choice3._B<A,
B, C> private static final class
Choice3._C<A,
B, C> class
Choice4<A,
B, C, D> Canonical ADT representation ofCoProduct4
.private static final class
Choice4._A<A,
B, C, D> private static final class
Choice4._B<A,
B, C, D> private static final class
Choice4._C<A,
B, C, D> private static final class
Choice4._D<A,
B, C, D> class
Choice5<A,
B, C, D, E> Canonical ADT representation ofCoProduct5
.private static final class
Choice5._A<A,
B, C, D, E> private static final class
Choice5._B<A,
B, C, D, E> private static final class
Choice5._C<A,
B, C, D, E> private static final class
Choice5._D<A,
B, C, D, E> private static final class
Choice5._E<A,
B, C, D, E> class
Choice6<A,
B, C, D, E, F> Canonical ADT representation ofCoProduct6
.private static final class
Choice6._A<A,
B, C, D, E, F> private static final class
Choice6._B<A,
B, C, D, E, F> private static final class
Choice6._C<A,
B, C, D, E, F> private static final class
Choice6._D<A,
B, C, D, E, F> private static final class
Choice6._E<A,
B, C, D, E, F> private static final class
Choice6._F<A,
B, C, D, E, F> class
Choice7<A,
B, C, D, E, F, G> Canonical ADT representation ofCoProduct7
.private static final class
Choice7._A<A,
B, C, D, E, F, G> private static final class
Choice7._B<A,
B, C, D, E, F, G> private static final class
Choice7._C<A,
B, C, D, E, F, G> private static final class
Choice7._D<A,
B, C, D, E, F, G> private static final class
Choice7._E<A,
B, C, D, E, F, G> private static final class
Choice7._F<A,
B, C, D, E, F, G> private static final class
Choice7._G<A,
B, C, D, E, F, G> class
Choice8<A,
B, C, D, E, F, G, H> Canonical ADT representation ofCoProduct8
.private static final class
Choice8._A<A,
B, C, D, E, F, G, H> private static final class
Choice8._B<A,
B, C, D, E, F, G, H> private static final class
Choice8._C<A,
B, C, D, E, F, G, H> private static final class
Choice8._D<A,
B, C, D, E, F, G, H> private static final class
Choice8._E<A,
B, C, D, E, F, G, H> private static final class
Choice8._F<A,
B, C, D, E, F, G, H> private static final class
Choice8._G<A,
B, C, D, E, F, G, H> private static final class
Choice8._H<A,
B, C, D, E, F, G, H> Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type ApplicativeModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, Choice2<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice2.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice2.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice3.traverse
(Fn1<? super C, ? extends Applicative<D, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice3.traverse
(Fn1<? super C, ? extends Applicative<D, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice4.traverse
(Fn1<? super D, ? extends Applicative<E, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice4.traverse
(Fn1<? super D, ? extends Applicative<E, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice5.traverse
(Fn1<? super E, ? extends Applicative<F, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice5.traverse
(Fn1<? super E, ? extends Applicative<F, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice6.traverse
(Fn1<? super F, ? extends Applicative<G, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice6.traverse
(Fn1<? super F, ? extends Applicative<G, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice7.traverse
(Fn1<? super G, ? extends Applicative<H, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice7.traverse
(Fn1<? super G, ? extends Applicative<H, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice8.traverse
(Fn1<? super H, ? extends Applicative<I, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice8.traverse
(Fn1<? super H, ? extends Applicative<I, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescriptionChoice2.discardL
(Applicative<C, Choice2<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Choice3.discardL
(Applicative<D, Choice3<A, B, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Choice2.discardR
(Applicative<C, Choice2<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Choice3.discardR
(Applicative<D, Choice3<A, B, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice5.lazyZip
(Lazy<? extends Applicative<Fn1<? super E, ? extends F>, Choice5<A, B, C, D, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice6.lazyZip
(Lazy<? extends Applicative<Fn1<? super F, ? extends G>, Choice6<A, B, C, D, E, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice7.lazyZip
(Lazy<? extends Applicative<Fn1<? super G, ? extends H>, Choice7<A, B, C, D, E, F, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice8.lazyZip
(Lazy<? extends Applicative<Fn1<? super H, ? extends I>, Choice8<A, B, C, D, E, F, G, ?>>> lazyAppFn) Given alazy
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>>
AppTravChoice2.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice3.traverse
(Fn1<? super C, ? extends Applicative<D, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice4.traverse
(Fn1<? super D, ? extends Applicative<E, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice5.traverse
(Fn1<? super E, ? extends Applicative<F, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice6.traverse
(Fn1<? super F, ? extends Applicative<G, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice7.traverse
(Fn1<? super G, ? extends Applicative<H, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravChoice8.traverse
(Fn1<? super H, ? extends Applicative<I, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeClassDescriptionclass
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 ApplicativeModifier and TypeMethodDescription<B,
App extends Applicative<?, App>, TravB extends Traversable<B, SingletonHList<?>>, AppTrav extends Applicative<TravB, App>>
AppTravSingletonHList.traverse
(Fn1<? super _1, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravSingletonHList.traverse
(Fn1<? super _1, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple2.traverse
(Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple2.traverse
(Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple3.traverse
(Fn1<? super _3, ? extends Applicative<_3Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple3.traverse
(Fn1<? super _3, ? extends Applicative<_3Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple4.traverse
(Fn1<? super _4, ? extends Applicative<_4Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple4.traverse
(Fn1<? super _4, ? extends Applicative<_4Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple5.traverse
(Fn1<? super _5, ? extends Applicative<_5Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple5.traverse
(Fn1<? super _5, ? extends Applicative<_5Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple6.traverse
(Fn1<? super _6, ? extends Applicative<_6Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple6.traverse
(Fn1<? super _6, ? extends Applicative<_6Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple7.traverse
(Fn1<? super _7, ? extends Applicative<_7Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple7.traverse
(Fn1<? super _7, ? extends Applicative<_7Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple8.traverse
(Fn1<? super _8, ? extends Applicative<_8Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple8.traverse
(Fn1<? super _8, ? extends Applicative<_8Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescription<_1Prime> SingletonHList
<_1Prime> SingletonHList.discardL
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tuple2.discardL
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tuple3.discardL
(Applicative<_3Prime, Tuple3<_1, _2, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<_1Prime> SingletonHList
<_1> SingletonHList.discardR
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Tuple2.discardR
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Tuple3.discardR
(Applicative<_3Prime, Tuple3<_1, _2, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<_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.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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 ApplicativeModifier and TypeMethodDescription<_1Prime> Lazy
<SingletonHList<_1Prime>> SingletonHList.lazyZip
(Lazy<? extends Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple2.lazyZip
(Lazy<? extends Applicative<Fn1<? super _2, ? extends _2Prime>, Tuple2<_1, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple3.lazyZip
(Lazy<? extends Applicative<Fn1<? super _3, ? extends _3Prime>, Tuple3<_1, _2, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple4.lazyZip
(Lazy<? extends Applicative<Fn1<? super _4, ? extends _4Prime>, Tuple4<_1, _2, _3, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple5.lazyZip
(Lazy<? extends Applicative<Fn1<? super _5, ? extends _5Prime>, Tuple5<_1, _2, _3, _4, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple6.lazyZip
(Lazy<? extends Applicative<Fn1<? super _6, ? extends _6Prime>, Tuple6<_1, _2, _3, _4, _5, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple7.lazyZip
(Lazy<? extends Applicative<Fn1<? super _7, ? extends _7Prime>, Tuple7<_1, _2, _3, _4, _5, _6, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple8.lazyZip
(Lazy<? extends Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>> lazyAppFn) Given alazy
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>>
AppTravSingletonHList.traverse
(Fn1<? super _1, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple2.traverse
(Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple3.traverse
(Fn1<? super _3, ? extends Applicative<_3Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple4.traverse
(Fn1<? super _4, ? extends Applicative<_4Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple5.traverse
(Fn1<? super _5, ? extends Applicative<_5Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple6.traverse
(Fn1<? super _6, ? extends Applicative<_6Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple7.traverse
(Fn1<? super _7, ? extends Applicative<_7Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTuple8.traverse
(Fn1<? super _8, ? extends Applicative<_8Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.hmapModifier and TypeInterfaceDescriptioninterface
A lens that focuses on theheterogeneous list
of values pointed at by one or moretypesafe keys
that must all exist in the sameHMap
to be collectively extracted.interface
TypeSafeKey<A,
B> An interface representing a parametrized key for use inHMap
s.static interface
Methods in com.jnape.palatable.lambda.adt.hmap with parameters of type Applicative -
Uses of Applicative in com.jnape.palatable.lambda.functions
Subinterfaces of Applicative in com.jnape.palatable.lambda.functionsModifier and TypeInterfaceDescriptioninterface
Effect<A>
A function returning "no result", and therefore only useful as a side-effect.interface
Fn0<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 ApplicativeModifier and TypeMethodDescriptiondefault <B> Fn0
<B> Fn0.discardL
(Applicative<B, Fn1<Unit, ?>> appB) Fn1.discardL
(Applicative<C, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Effect.discardR
(Applicative<C, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Fn0.discardR
(Applicative<B, Fn1<Unit, ?>> appB) Fn1.discardR
(Applicative<C, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Fn2.discardR
(Applicative<D, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Fn3.discardR
(Applicative<E, Fn1<A, ?>> appB) Fn4.discardR
(Applicative<F, Fn1<A, ?>> appB) Fn5.discardR
(Applicative<G, Fn1<A, ?>> appB) Fn6.discardR
(Applicative<H, Fn1<A, ?>> appB) Fn7.discardR
(Applicative<I, Fn1<A, ?>> appB) Fn8.discardR
(Applicative<J, Fn1<A, ?>> appB) default <B> Fn0
<B> 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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
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 ApplicativeModifier and TypeClassDescriptionfinal class
CatMaybes<A>
final class
Coalesce<L,
R> final class
Constantly<A,
B> A function that takes two arguments and always returns the first argument.final class
Cycle<A>
Given anIterable
, return an infiniteIterable
that repeatedly cycles its elements, in order.final class
Distinct<A>
final class
Downcast<A extends B,
B> Covariantly cast a value of typeB
to a value of subtypeA
.final class
Empty<A>
A predicate that returns true ifas
is empty; false otherwise.final class
Flatten<A>
final class
Force<A>
Deprecated.final class
Head<A>
final class
Id<A>
The identity function.final class
Init<A>
final class
Inits<A>
final class
Last<A>
final class
Magnetize<A>
final class
Not<A>
Negate a predicate function.final class
Occurrences<A>
final class
Repeat<A>
Given a value, return an infiniteIterable
that repeatedly iterates that value.final class
Reverse<A>
Given anIterable
, return a reversed representation of thatIterable
.final class
final class
Sort<A extends Comparable<A>>
final class
Tail<A>
Returns the tail of anIterable
; the is, anIterable
of all the elements except for the head element.final class
Tails<A>
final class
Uncons<A>
final class
Upcast<A extends B,
B> Upcast a value of typeB
to a value of typeA
thatB
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 ApplicativeModifier and TypeClassDescriptionfinal class
Sequence<A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>> Given aTraversable
ofApplicative
s and a pureApplicative
constructor, traverse the elements from left to right, zipping theApplicative
s together and collecting the results.final class
Sequence<A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>> Given aTraversable
ofApplicative
s and a pureApplicative
constructor, traverse the elements from left to right, zipping theApplicative
s together and collecting the results.Classes in com.jnape.palatable.lambda.functions.builtin.fn2 that implement ApplicativeModifier and TypeClassDescriptionfinal class
$<A,
B> final class
All<A>
Eagerly apply a predicate to each element in anIterable
, returningtrue
if every element satisfies the predicate, andfalse
otherwise.final class
Alter<A>
final class
Any<A>
Eagerly apply a predicate to each element in anIterable
, returningtrue
if any element satisfies the predicate, andfalse
otherwise.final class
AutoBracket<A extends AutoCloseable,
B> Given anIO
yielding someAutoCloseable
typeA
and a kleisli arrow from that type to a newIO
of typeB
, attempt to provision theA
, applying the body operation if provisioning was successful and ensuring thatAutoCloseable.close()
is called regardless of whether the body succeeds or fails.final class
Both<A,
B, C> final class
CartesianProduct<A,
B> Lazily compute the cartesian product of anIterable<A>
andIterable<B>
, returning anIterable<Tuple2<A, B>>
, the products as tuples of multiplicandA
s and multiplierB
s.final class
CmpEq<A extends Comparable<A>>
Given twoComparable
values of typeA
, returntrue
if the first value is strictly equal to the second value (according toComparable.compareTo(Object)
; otherwise, return false.final class
Cons<A>
Prepend an element to anIterable
.final class
Difference<A>
final class
Drop<A>
Lazily skip the firstn
elements from anIterable
by returning anIterable
that begins iteration after thenth
element.final class
DropWhile<A>
Lazily limit theIterable
by skipping the first contiguous group of elements that satisfy the predicate, beginning iteration at the first element for which the predicate evaluates tofalse
.final class
Eq<A>
Type-safe equality in function form; usesObject.equals(java.lang.Object)
, not==
.final class
Filter<A>
Lazily apply a predicate to each element in anIterable
, returning anIterable
of just the elements for which the predicate evaluated totrue
.final class
Find<A>
Iterate the elements in anIterable
, applying a predicate to each one, returning the first element that matches the predicate, wrapped in aMaybe
.final class
GroupBy<K,
V> Given anIterable<V>
vs
and a key functionV -> K
f
, foldvs
into aMap<K, List<V>>
by applyingf
to each element ofvs
, retaining values that map to the same key in a list, in the order they were iterated in.final class
GT<A extends Comparable<A>>
Given twoComparable
values of typeA
, returntrue
if the second value is strictly greater than the first value; otherwise, return false.final class
GTE<A extends Comparable<A>>
Given twoComparable
values of typeA
, returntrue
if the second value is greater than or equal to the first value according toComparable.compareTo(Object)
; otherwise, return false.final class
InGroupsOf<A>
Lazily group theIterable
by returning anIterable
of smallerIterable
s of sizek
.final class
Intersperse<A>
Lazily inject the provided separator value between each value in the suppliedIterable
.final class
Into<A,
B, C> final class
Into1<A,
B> Given an
and aFn1
<A, B>
, pop the head and apply it to the function, returning the result.SingletonHList
<A>final class
Into3<A,
B, C, D> final class
Into4<A,
B, C, D, E> final class
Into5<A,
B, C, D, E, F> final class
Into6<A,
B, C, D, E, F, G> final class
Into7<A,
B, C, D, E, F, G, H> final class
Into8<A,
B, C, D, E, F, G, H, I> final class
Iterate<A>
final class
LazyRec<A,
B> final class
LT<A extends Comparable<A>>
Given twoComparable
values of typeA
, returntrue
if the second value is strictly less than the first value; otherwise, return false.final class
LTE<A extends Comparable<A>>
Given twoComparable
values of typeA
, returntrue
if the second value is less than or equal to the first value according toComparable.compareTo(Object)
otherwise, return false.final class
MagnetizeBy<A>
final class
Map<A,
B> Lazily apply a function to each element in anIterable
, producing anIterable
of the mapped results.final class
Partition<A,
B, C> Given anIterable<A>
as
and a disjoint mapping functiona -> CoProduct2<A, B>
, return aTuple2
over the lazily unwrapped leftA
and rightB
values in the first and second slots, respectively.final class
final class
Peek2<A,
B, FAB extends BoundedBifunctor<A, B, ? super A, ? super B, ?>> Deprecated.in favor of producing anIO
from the givenBoundedBifunctor
and explicitly running itfinal class
PrependAll<A>
Lazily prepend each value with of theIterable
with the supplied separator value.final class
ReduceLeft<A>
final class
ReduceRight<A>
final class
Replicate<A>
Produce anIterable
of a valuen
times.final class
Sequence<A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>> Given aTraversable
ofApplicative
s and a pureApplicative
constructor, traverse the elements from left to right, zipping theApplicative
s together and collecting the results.final class
Slide<A>
final class
Snoc<A>
final class
SortBy<A,
B extends Comparable<B>> Given anIterable
and some mapping function from theIterable
element type to someComparable
type, produce a sortedList
of the original elements based on sorting applied to the result of the mapping function.final class
SortWith<A>
Given anIterable
and aComparator
over theIterable
element type, produce a sortedList
of the original elements based on sorting applied by theComparator
.final class
Span<A>
final class
Take<A>
Lazily limit theIterable
ton
elements by returning anIterable
that stops iteration after thenth
element, or the last element of theIterable
, whichever comes first.final class
TakeWhile<A>
Lazily limit theIterable
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 tofalse
.final class
ToArray<A>
Write all the elements of anIterable
directly into an array of the specified type.final class
ToCollection<A,
C extends Collection<A>> Given anFn0
of someCollection
C
, create an instance ofC
and add all of the elements in the providedIterable
to the instance.final class
final class
Tupler2<A,
B> Creates aTuple2
from two values.final class
Unfoldr<A,
B> final class
Until<A>
Given apredicate function
for a value of some typeA
and anIO
that yields a value of typeA
, produce anIO
that repeatedly executes the originalIO
until the predicate returns true when applied to the yielded value.final class
Zip<A,
B> Zip together twoIterable
s into a singleIterable
ofTuple2<A, B>
.Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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>>
AppTravSequence.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>>
AppTravSequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
Fn1<Fn1<Iterable<A>, ? extends AppIterable>, AppIterable> Sequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
Fn1<Fn1<Iterable<A>, ? extends AppIterable>, AppIterable> Sequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
AppIterableSequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp, Fn1<Iterable<A>, ? extends AppIterable> pure) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
AppIterableSequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp, Fn1<Iterable<A>, ? extends AppIterable> pure) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
Fn1<Fn1<Map<A, B>, ? extends AppMap>, AppMap> Sequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
Fn1<Fn1<Map<A, B>, ? extends AppMap>, AppMap> Sequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
AppMapSequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp, Fn1<Map<A, B>, ? extends AppMap> pure) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
AppMapSequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp, Fn1<Map<A, B>, ? extends AppMap> pure) Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type ApplicativeModifier and TypeMethodDescriptionSequence.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>>
AppTravSequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
Fn1<Fn1<Iterable<A>, ? extends AppIterable>, AppIterable> Sequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp) static <A,
App extends Applicative<?, App>, AppIterable extends Applicative<Iterable<A>, App>>
AppIterableSequence.sequence
(Iterable<? extends Applicative<A, App>> iterableApp, Fn1<Iterable<A>, ? extends AppIterable> pure) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
Fn1<Fn1<Map<A, B>, ? extends AppMap>, AppMap> Sequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp) static <A,
B, App extends Applicative<?, App>, AppMap extends Applicative<Map<A, B>, App>>
AppMapSequence.sequence
(Map<A, ? extends Applicative<B, App>> mapApp, Fn1<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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA2<A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>> Lift into and apply anFn2
to twoApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA2<A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>> Lift into and apply anFn2
to twoApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn3 that implement ApplicativeModifier and TypeClassDescriptionfinal class
Between<A extends 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.final class
Bracket<A,
B> Given anIO
that yields some typeA
, a cleanup operation to run if a value of that type could be provisioned, and a kleisli arrow from that type to a newIO
of typeB
, produce an
that, when run, will provision theIO
<B>A
,flatMap
it toB
, and clean up the original value if it was produced in the first place.final class
Clamp<A extends 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 valuefinal class
CmpEqBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
and two values of typeA
, returntrue
if the first value is strictly equal to the second value (according toComparable.compareTo(Object)
in terms of their mappedB
results; otherwise, return false.final class
CmpEqWith<A>
Given aComparator
from some typeA
and two values of typeA
, returntrue
if the first value is strictly equal to the second value (according toComparator.compare(Object, Object)
otherwise, return false.final class
Compare<A>
Given aComparator
from some typeA
and two values of typeA
, return aComparisonRelation
of the first value with reference to the second value (according toComparator.compare(Object, Object)
.final class
FoldLeft<A,
B> Given anIterable
ofA
s, a starting valueB
, and a
, iteratively accumulate over theFn2
<B, A, B>Iterable
, ultimately returning a finalB
value.final class
FoldRight<A,
B> final class
GTBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
and two values of typeA
, returntrue
if the second value is strictly greater than the first value in terms of their mappedB
results; otherwise, return false.final class
GTEBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
and two values of typeA
, returntrue
if the second value is greater than or equal to the first value in terms of their mappedB
results according toComparable.compareTo(Object)
; otherwise, return false.final class
GTEWith<A>
Given aComparator
from some typeA
and two values of typeA
, returntrue
if the second value is greater than or equal to the first value in terms of their mappedB
results according toComparator.compare(Object, Object)
; otherwise, return false.final class
GTWith<A>
Given aComparator
from some typeA
and two values of typeA
, returntrue
if the second value is strictly greater than the first value in terms of their mappedB
results; otherwise, return false.final class
LiftA2<A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>> Lift into and apply anFn2
to twoApplicative
values, returning the result inside the sameApplicative
context.final class
LTBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
and two values of typeA
, returntrue
if the second value is strictly less than the first value in terms of their mappedB
results; otherwise, return false.final class
LTEBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
and two values of typeA
, returntrue
if the second value is less than or equal to the first value in terms of their mappedB
results according toComparable.compareTo(Object)
; otherwise, return false.final class
LTEWith<A>
Given aComparator
from some typeA
and two values of typeA
, returntrue
if the second value is less than or equal to the first value in terms of their mappedB
results according toComparator.compare(Object, Object)
; otherwise, return false.final class
LTWith<A>
Given a comparator for some typeA
and two values of typeA
, returntrue
if the second value is strictly less than than the first value in terms of their mappedB
results; otherwise, return false.final class
ScanLeft<A,
B> Given anIterable
ofA
s, a starting valueB
, and a
, iteratively accumulate over theFn2
<B, A, B>Iterable
, collecting each function application result, finally returning anIterable
of all the results.final class
Times<A>
Given some number of timesn
to invoke a functionA -> A
, and given an inputA
, iteratively apply the function to the input, and then to the result of the invocation, a total ofn
times, returning the result.final class
ZipWith<A,
B, C> Zip together twoIterable
s by applying a zipping function to the successive elements of eachIterable
until one of them runs out of elements.Methods in com.jnape.palatable.lambda.functions.builtin.fn3 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> static <A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>>
Fn2<Applicative<A, App>, Applicative<B, App>, AppC> 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>>
AppCLiftA2.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>>
AppCLiftA2.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 ApplicativeModifier and TypeMethodDescriptionstatic <A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>>
Fn2<Applicative<A, App>, Applicative<B, App>, AppC> static <A,
B, C, App extends Applicative<?, App>, AppC extends Applicative<C, App>>
Fn2<Applicative<A, App>, Applicative<B, App>, AppC> 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 ApplicativeModifier and TypeMethodDescriptionLiftA2.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>>
AppCLiftA2.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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA3<A,
B, C, D, App extends Applicative<?, App>, AppD extends Applicative<D, App>> Lift into and apply anFn3
to threeApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA3<A,
B, C, D, App extends Applicative<?, App>, AppD extends Applicative<D, App>> Lift into and apply anFn3
to threeApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn4 that implement ApplicativeModifier and TypeClassDescriptionfinal class
IfThenElse<A,
B> final class
LiftA3<A,
B, C, D, App extends Applicative<?, App>, AppD extends Applicative<D, App>> Lift into and apply anFn3
to threeApplicative
values, returning the result inside the sameApplicative
context.final class
RateLimit<A>
Methods in com.jnape.palatable.lambda.functions.builtin.fn4 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> 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> 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>>
AppDLiftA3.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>>
AppDLiftA3.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 ApplicativeModifier and TypeMethodDescriptionstatic <A,
B, C, D, App extends Applicative<?, App>, AppD extends Applicative<D, App>>
Fn3<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, AppD> 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> 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> 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 ApplicativeModifier and TypeMethodDescriptionLiftA3.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>>
AppDLiftA3.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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA4<A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> Lift into and apply anFn4
to fourApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA4<A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> Lift into and apply anFn4
to fourApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn5 that implement ApplicativeModifier and TypeClassDescriptionfinal class
LiftA4<A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>> Lift into and apply anFn4
to fourApplicative
values, returning the result inside the sameApplicative
context.Methods in com.jnape.palatable.lambda.functions.builtin.fn5 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn4<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn3<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> LiftA4.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>>
AppELiftA4.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>>
AppELiftA4.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 ApplicativeModifier and TypeMethodDescriptionstatic <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn4<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn4<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn4<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn4<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> static <A,
B, C, D, E, App extends Applicative<?, App>, AppE extends Applicative<E, App>>
Fn3<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, AppE> LiftA4.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 ApplicativeModifier and TypeMethodDescriptionLiftA4.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>>
AppELiftA4.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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA5<A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> Lift into and apply anFn5
to fiveApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA5<A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> Lift into and apply anFn5
to fiveApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn6 that implement ApplicativeModifier and TypeClassDescriptionfinal class
LiftA5<A,
B, C, D, E, F, App extends Applicative<?, App>, AppF extends Applicative<F, App>> Lift into and apply anFn5
to fiveApplicative
values, returning the result inside the sameApplicative
context.Methods in com.jnape.palatable.lambda.functions.builtin.fn6 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> 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> 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>>
AppFLiftA5.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>>
AppFLiftA5.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 ApplicativeModifier and TypeMethodDescriptionstatic <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> 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> 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> 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> 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> 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 ApplicativeModifier and TypeMethodDescriptionLiftA5.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>>
AppFLiftA5.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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA6<A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> Lift into and apply anFn6
to sixApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA6<A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> Lift into and apply anFn6
to sixApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn7 that implement ApplicativeModifier and TypeClassDescriptionfinal class
LiftA6<A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>> Lift into and apply anFn6
to sixApplicative
values, returning the result inside the sameApplicative
context.Methods in com.jnape.palatable.lambda.functions.builtin.fn7 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn5<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> LiftA6.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>>
AppGLiftA6.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>>
AppGLiftA6.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 ApplicativeModifier and TypeMethodDescriptionstatic <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn6<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> static <A,
B, C, D, E, F, G, App extends Applicative<?, App>, AppG extends Applicative<G, App>>
Fn5<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, AppG> LiftA6.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 ApplicativeModifier and TypeMethodDescriptionLiftA6.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>>
AppGLiftA6.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 ApplicativeModifier and TypeClassDescriptionfinal class
LiftA7<A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> Lift into and apply anFn7
to sevenApplicative
values, returning the result inside the sameApplicative
context.final class
LiftA7<A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> Lift into and apply anFn7
to sevenApplicative
values, returning the result inside the sameApplicative
context.Classes in com.jnape.palatable.lambda.functions.builtin.fn8 that implement ApplicativeModifier and TypeClassDescriptionfinal class
LiftA7<A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>> Lift into and apply anFn7
to sevenApplicative
values, returning the result inside the sameApplicative
context.Methods in com.jnape.palatable.lambda.functions.builtin.fn8 with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <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> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn6<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> LiftA7.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>>
AppHLiftA7.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>>
AppHLiftA7.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 ApplicativeModifier and TypeMethodDescriptionstatic <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn7<Applicative<A, App>, Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> static <A,
B, C, D, E, F, G, H, App extends Applicative<?, App>, AppH extends Applicative<H, App>>
Fn6<Applicative<B, App>, Applicative<C, App>, Applicative<D, App>, Applicative<E, App>, Applicative<F, App>, Applicative<G, App>, AppH> LiftA7.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 ApplicativeModifier and TypeMethodDescriptionLiftA7.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>>
AppHLiftA7.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 ApplicativeModifier and TypeClassDescriptionclass
RecursiveResult<A,
B> SpecializedCoProduct2
representing the possible results of a primitive recursive function.(package private) static final class
(package private) static final class
final class
Trampoline<A,
B> Given an
(analogous to "recurse" and "return" tail position instructions, respectively), produce aFn1
<A,CoProduct2
<A, B, ?>>
that unrolls the original function by iteratively passing each result that matches the input (Fn1
<A, B>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 ApplicativeModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, RecursiveResult<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravRecursiveResult.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravRecursiveResult.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescription<C> RecursiveResult
<A, C> RecursiveResult.discardL
(Applicative<C, RecursiveResult<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<C> RecursiveResult
<A, B> RecursiveResult.discardR
(Applicative<C, RecursiveResult<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 ApplicativeModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, RecursiveResult<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravRecursiveResult.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.specializedModifier and TypeInterfaceDescriptioninterface
BiMonoidFactory<A,
B, C> interface
BiPredicate<A,
B> interface
BiSemigroupFactory<A,
B, C> interface
interface
MonoidFactory<A,
B> interface
Predicate<A>
A specializedFn1
that returns aBoolean
.interface
SemigroupFactory<A,
B> Methods in com.jnape.palatable.lambda.functions.specialized with type parameters of type ApplicativeModifier and TypeMethodDescriptionstatic <F extends Applicative<?,
? extends F>>
Pure<F> Pure.of
(Applicative<?, ? extends F> app) Methods in com.jnape.palatable.lambda.functions.specialized with parameters of type ApplicativeModifier and TypeMethodDescriptiondefault <D> BiPredicate
<A, B> BiPredicate.discardR
(Applicative<D, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Kleisli.discardR
(Applicative<C, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Predicate.discardR
(Applicative<C, Fn1<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <F extends Applicative<?,
? extends F>>
Pure<F> Pure.of
(Applicative<?, ? extends F> app) -
Uses of Applicative in com.jnape.palatable.lambda.functor
Classes in com.jnape.palatable.lambda.functor with type parameters of type ApplicativeModifier and TypeInterfaceDescriptioninterface
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 ApplicativeModifier and TypeMethodDescriptiondefault <B> Applicative
<B, App> Applicative.discardL
(Applicative<B, App> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> Applicative
<A, App> Applicative.discardR
(Applicative<B, App> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default <B> Applicative
<B, App> Covariantly transmute this functor's parameter using the given mapping function.<B> Applicative
<B, App> Applicative.pure
(B b) Lift the valueb
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 ApplicativeModifier and TypeMethodDescriptiondefault <B> Lazy
<? extends Applicative<B, App>> Given alazy
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 ApplicativeModifier and TypeMethodDescriptiondefault <B> Applicative
<B, App> Applicative.discardL
(Applicative<B, App> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> Applicative
<A, App> Applicative.discardR
(Applicative<B, App> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 ApplicativeModifier and TypeMethodDescriptiondefault <B> Lazy
<? extends Applicative<B, App>> Given alazy
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 ApplicativeModifier and TypeClassDescriptionfinal class
Compose<F extends Applicative<?,
F>, G extends Applicative<?, G>, A> A functor representing the type-level composition of twoApplicative
functors; useful for preserving nested type-level transformations during traversal of aTraversable
.final class
Compose<F extends Applicative<?,
F>, G extends Applicative<?, G>, A> A functor representing the type-level composition of twoApplicative
functors; useful for preserving nested type-level transformations during traversal of aTraversable
.Classes in com.jnape.palatable.lambda.functor.builtin that implement ApplicativeModifier and TypeClassDescriptionfinal class
Compose<F extends Applicative<?,
F>, G extends Applicative<?, G>, A> A functor representing the type-level composition of twoApplicative
functors; useful for preserving nested type-level transformations during traversal of aTraversable
.final class
Const<A,
B> A (surprisingly useful) functor over some phantom typeB
, retaining a value of typeA
that can be retrieved later.final class
Identity<A>
A functor over some value of typeA
that can be mapped over and retrieved later.class
Lazy<A>
AMonad
representing a lazily-computed value.private static final class
Lazy.Compose<A>
private static final class
Lazy.Later<A>
final class
Market<A,
B, S, T> A profunctor used to extract the isomorphic functions aPrism
is composed of.final class
State<S,
A> The stateMonad
, useful for iteratively building up state and state-contextualized result.final class
Tagged<S,
B> LikeConst
, but the phantom parameter is in the contravariant position, and the value is in covariant position.final 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 ApplicativeModifier and TypeFieldDescriptionprivate final Applicative
<? extends Applicative<A, G>, F> Compose.fga
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type ApplicativeModifier and TypeFieldDescriptionprivate final Applicative
<? extends Applicative<A, G>, F> Compose.fga
Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type ApplicativeModifier and TypeMethodDescription<GA extends Applicative<A,
G>, FGA extends Applicative<GA, F>>
FGACompose.getCompose()
<GA extends Applicative<A,
G>, FGA extends Applicative<GA, F>>
FGACompose.getCompose()
static <F extends Applicative<?,
F>, G extends Applicative<?, G>>
Pure<Compose<F, G, ?>> Compose.pureCompose
(Pure<F> pureF, Pure<G> pureG) static <F extends Applicative<?,
F>, G extends Applicative<?, G>>
Pure<Compose<F, G, ?>> Compose.pureCompose
(Pure<F> pureF, Pure<G> pureG) <C,
App extends Applicative<?, App>, TravB extends Traversable<C, Const<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravConst.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravConst.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravIdentity.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravIdentity.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLazy.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLazy.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTagged.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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>>
AppTravTagged.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescriptionCompose.discardL
(Applicative<B, Compose<F, G, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Const.discardL
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Identity
<B> Identity.discardL
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.final <B> Lazy
<B> Lazy.discardL
(Applicative<B, Lazy<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.State.discardL
(Applicative<B, State<S, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tagged.discardL
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Writer.discardL
(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Compose.discardR
(Applicative<B, Compose<F, G, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Const.discardR
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Identity.discardR
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Lazy.discardR
(Applicative<B, Lazy<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.State.discardR
(Applicative<B, State<S, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Tagged.discardR
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Writer.discardR
(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
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>>
AppTravConst.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravIdentity.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLazy.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTagged.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
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 ApplicativeConstructor parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Applicative -
Uses of Applicative in com.jnape.palatable.lambda.io
Classes in com.jnape.palatable.lambda.io that implement ApplicativeModifier and TypeClassDescriptionclass
IO<A>
AMonad
representing some side-effecting computation to be performed.private static final class
IO.Compose<A>
Methods in com.jnape.palatable.lambda.io with parameters of type ApplicativeModifier and TypeMethodDescriptionfinal <B> IO
<B> IO.discardL
(Applicative<B, IO<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IO.discardR
(Applicative<B, IO<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.final <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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
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.monadModifier and TypeInterfaceDescriptioninterface
Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.interface
MonadError<E,
A, M extends MonadError<E, ?, M>> An interface formonads
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 environmentR
and producing a lifted valueA
.interface
A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.interface
MonadWriter<W,
A, MW extends MonadWriter<W, ?, MW>> AMonad
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 ApplicativeModifier and TypeClassDescriptionfinal class
A stack-safemonad transformer
that can safely interpret deeply nested left- or right-associated binds for anyMonadRec
.Methods in com.jnape.palatable.lambda.monad with parameters of type ApplicativeModifier and TypeMethodDescriptionMonad.discardL
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> MonadError
<E, B, M> MonadError.discardL
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> MonadReader
<R, B, MR> MonadReader.discardL
(Applicative<B, MR> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.MonadRec.discardL
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> MonadWriter
<W, B, MW> MonadWriter.discardL
(Applicative<B, MW> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.SafeT.discardL
(Applicative<B, SafeT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Monad.discardR
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default <B> MonadError
<E, A, M> MonadError.discardR
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default <B> MonadReader
<R, A, MR> MonadReader.discardR
(Applicative<B, MR> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.MonadRec.discardR
(Applicative<B, M> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default <B> MonadWriter
<W, A, MW> MonadWriter.discardR
(Applicative<B, MW> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.SafeT.discardR
(Applicative<B, SafeT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.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.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.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
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>> Given alazy
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>> Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
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>> Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
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.transformerModifier and TypeInterfaceDescriptioninterface
Methods in com.jnape.palatable.lambda.monad.transformer with parameters of type ApplicativeModifier and TypeMethodDescriptionMonadT.discardL
(Applicative<B, MT> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.MonadT.discardR
(Applicative<B, MT> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
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 ApplicativeModifier and TypeClassDescriptionfinal class
Amonad transformer
forEither
.final class
Amonad transformer
forIdentity
.class
Amonad transformer
over a co-inductive, singly-linked spine of values embedded in effects.final class
Amonad transformer
forLazy
.final class
Amonad transformer
forMaybe
.final class
final class
TheState
monad transformer
.final class
Amonad transformer
forWriter
.Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type ApplicativeModifier and TypeMethodDescriptionEitherT.discardL
(Applicative<R2, EitherT<M, L, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IdentityT.discardL
(Applicative<B, IdentityT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IterateT.discardL
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.LazyT.discardL
(Applicative<B, LazyT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.MaybeT.discardL
(Applicative<B, MaybeT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.ReaderT.discardL
(Applicative<B, ReaderT<R, M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.StateT.discardL
(Applicative<B, StateT<S, M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.WriterT.discardL
(Applicative<B, WriterT<W, M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.EitherT.discardR
(Applicative<B, EitherT<M, L, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.IdentityT.discardR
(Applicative<B, IdentityT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.IterateT.discardR
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.LazyT.discardR
(Applicative<B, LazyT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.MaybeT.discardR
(Applicative<B, MaybeT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.ReaderT.discardR
(Applicative<B, ReaderT<R, M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.StateT.discardR
(Applicative<B, StateT<S, M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.WriterT.discardR
(Applicative<B, WriterT<W, M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given alazy
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 -
Uses of Applicative in com.jnape.palatable.lambda.monoid.builtin
Classes in com.jnape.palatable.lambda.monoid.builtin that implement ApplicativeModifier and TypeClassDescriptionfinal class
AddAll<A,
C extends Collection<A>> TheMonoid
instance formed under mutative concatenation for an arbitraryCollection
.final class
AMonoid
instance formed byBoolean
.final class
Collapse<_1,
_2> final class
Compose<A>
final class
Concat<A>
final class
Endo<A>
final class
The monoid formed under monadic endomorphism.final class
First<A>
final class
AMonoid
instance formed byString
that concats two strings together.final class
Last<A>
final class
LeftAll<L,
R> final class
LeftAny<L,
R> final class
Merge<L,
R> AMonoid
instance formed byEither.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 overL
, and a monoid overR
.final class
AMonoid
instance formed by mergingHMaps
using the chosenTypeSafeKey
->Semigroup
mappings
, defaulting toLast
in case noSemigroup
has been chosen for a givenTypeSafeKey
.final class
MergeMaps<K,
V> final class
AMonoid
instance formed byBoolean
.final class
Present<A>
final class
final class
RightAll<L,
R> final class
RightAny<L,
R> final class
RunAll<A>
final class
final class
Union<A>
final class
Logical exclusive-or. -
Uses of Applicative in com.jnape.palatable.lambda.optics
Subinterfaces of Applicative in com.jnape.palatable.lambda.opticsModifier and TypeInterfaceDescriptioninterface
Iso<S,
T, A, B> 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 areIsos
that can fail in one direction.static interface
Prism.Simple<S,
A> A convenience type with a simplified type signature for commonprism
with unifiedS/T
andA/B
types.Methods in com.jnape.palatable.lambda.optics with type parameters of type ApplicativeModifier and TypeMethodDescriptionMethods in com.jnape.palatable.lambda.optics with parameters of type ApplicativeModifier and TypeMethodDescriptionSequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default <U> Iso.Simple
<S, A> Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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 ApplicativeModifier and TypeMethodDescriptionGiven alazy
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 ApplicativeModifier and TypeClassDescriptionfinal class
Matching<S,
T, A, B> final class
Over<S,
T, A, B> Given anOptic
, a function fromA
toB
, and a "larger" valueS
, produce aT
by retrieving theA
from theS
, applying the function, and updating theS
with theB
resulting from the function.final class
Pre<P extends Profunctor<?,
?, ? extends P>, S, T, A, B> final class
Re<S,
T, A, B> Turn anOptic
with a unary mapping that can be used for setting (e.g.final class
Set<S,
T, A, B> final class
Under<S,
T, A, B> final class
View<S,
T, A, B> -
Uses of Applicative in com.jnape.palatable.lambda.semigroup
Subinterfaces of Applicative in com.jnape.palatable.lambda.semigroupModifier and TypeInterfaceDescriptioninterface
Semigroup<A>
ASemigroup
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 ApplicativeModifier and TypeClassDescriptionfinal class
Absent<A>
final class
Collapse<_1,
_2> final class
Compose<A>
final class
Intersection<A>
final class
LeftAll<L,
R> final class
LeftAny<L,
R> final class
Max<A extends Comparable<A>>
ASemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly less thany
, returny
Otherwise, returnx
final class
MaxBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
, produce aSemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly less thany
in terms ofB
, returny
Otherwise, returnx
final class
MaxWith<A>
Given a comparator for some typeA
, produce aSemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly less thany
in terms ofB
, returny
Otherwise, returnx
final class
Merge<L,
R> final class
Min<A extends Comparable<A>>
ASemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly greater thany
, returny
Otherwise, returnx
final class
MinBy<A,
B extends Comparable<B>> Given a mapping function from some typeA
to someComparable
typeB
, produce aSemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly greater thany
in terms ofB
, returny
Otherwise, returnx
final class
MinWith<A>
Given a comparator for some typeA
, produce aSemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly greater thany
in terms ofB
, returny
Otherwise, returnx
final class
RightAll<L,
R> final class
RightAny<L,
R> final class
RunAll<A>
-
Uses of Applicative in com.jnape.palatable.lambda.traversable
Classes in com.jnape.palatable.lambda.traversable that implement ApplicativeModifier and TypeClassDescriptionfinal class
Methods in com.jnape.palatable.lambda.traversable with type parameters of type ApplicativeModifier and TypeMethodDescription<B,
App extends Applicative<?, App>, TravB extends Traversable<B, LambdaIterable<?>>, AppTrav extends Applicative<TravB, App>>
AppTravLambdaIterable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLambdaIterable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLambdaMap.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>>
AppTravLambdaMap.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>>
AppTravTraversable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravTraversable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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 ApplicativeModifier and TypeMethodDescription<B> LambdaIterable
<B> LambdaIterable.discardL
(Applicative<B, LambdaIterable<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> LambdaIterable
<A> LambdaIterable.discardR
(Applicative<B, LambdaIterable<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 ApplicativeModifier and TypeMethodDescription<B> Lazy
<LambdaIterable<B>> LambdaIterable.lazyZip
(Lazy<? extends Applicative<Fn1<? super A, ? extends B>, LambdaIterable<?>>> lazyAppFn) Given alazy
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>>
AppTravLambdaIterable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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>>
AppTravLambdaMap.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>>
AppTravTraversable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
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.
traversing
into anIO
and running it