Uses of Class
com.jnape.palatable.lambda.adt.choice.Choice5
Packages that use Choice5
-
Uses of Choice5 in com.jnape.palatable.lambda.adt.choice
Subclasses of Choice5 in com.jnape.palatable.lambda.adt.choiceModifier and TypeClassDescriptionprivate 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> Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type Choice5Modifier and TypeMethodDescription<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.Methods in com.jnape.palatable.lambda.adt.choice that return Choice5Modifier and TypeMethodDescriptionstatic <A,
B, C, D, E>
Choice5<A, B, C, D, E> Choice5.a
(A a) Static factory method for wrapping a value of typeA
in aChoice5
.static <A,
B, C, D, E>
Choice5<A, B, C, D, E> Choice5.b
(B b) Static factory method for wrapping a value of typeB
in aChoice5
.Dually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.static <A,
B, C, D, E>
Choice5<A, B, C, D, E> Choice5.c
(C c) Static factory method for wrapping a value of typeC
in aChoice5
.Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.static <A,
B, C, D, E>
Choice5<A, B, C, D, E> Choice5.d
(D d) Static factory method for wrapping a value of typeD
in aChoice5
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Choice4.diverge()
Diverge this coproduct by introducing another possible type that it could represent.static <A,
B, C, D, E>
Choice5<A, B, C, D, E> Choice5.e
(E e) Static factory method for wrapping a value of typeE
in aChoice5
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.Choice5.pure
(F f) Lift the valueb
into this applicative functor.Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.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.adt.choice that return types with arguments of type Choice5Modifier and TypeMethodDescriptionChoice5.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.Choice5.pureChoice()
Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type Choice5Modifier and TypeMethodDescriptionSequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.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.Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.