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