Uses of Class
com.jnape.palatable.lambda.adt.choice.Choice6
Packages that use Choice6
-
Uses of Choice6 in com.jnape.palatable.lambda.adt.choice
Subclasses of Choice6 in com.jnape.palatable.lambda.adt.choiceModifier and TypeClassDescriptionprivate 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> Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type Choice6Modifier and TypeMethodDescription<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.Methods in com.jnape.palatable.lambda.adt.choice that return Choice6Modifier and TypeMethodDescriptionstatic <A,
B, C, D, E, F>
Choice6<A, B, C, D, E, F> Choice6.a
(A a) Static factory method for wrapping a value of typeA
in aChoice6
.static <A,
B, C, D, E, F>
Choice6<A, B, C, D, E, F> Choice6.b
(B b) Static factory method for wrapping a value of typeB
in aChoice6
.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, F>
Choice6<A, B, C, D, E, F> Choice6.c
(C c) Static factory method for wrapping a value of typeC
in aChoice6
.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, F>
Choice6<A, B, C, D, E, F> Choice6.d
(D d) Static factory method for wrapping a value of typeD
in aChoice6
.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Choice5.diverge()
Diverge this coproduct by introducing another possible type that it could represent.static <A,
B, C, D, E, F>
Choice6<A, B, C, D, E, F> Choice6.e
(E e) Static factory method for wrapping a value of typeE
in aChoice6
.static <A,
B, C, D, E, F>
Choice6<A, B, C, D, E, F> Choice6.f
(F f) Static factory method for wrapping a value of typeF
in aChoice6
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.Choice6.pure
(G g) Lift the valueb
into this applicative functor.Choice6.trampolineM
(Fn1<? super F, ? extends MonadRec<RecursiveResult<F, G>, Choice6<A, B, C, D, E, ?>>> fn) 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 Choice6Modifier and TypeMethodDescriptionChoice6.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.Choice6.pureChoice()
Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type Choice6Modifier 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.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.Choice6.trampolineM
(Fn1<? super F, ? extends MonadRec<RecursiveResult<F, G>, Choice6<A, B, C, D, E, ?>>> fn) 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.