Uses of Class
com.jnape.palatable.lambda.adt.choice.Choice2
Packages that use Choice2
Package
Description
-
Uses of Choice2 in com.jnape.palatable.lambda.adt
Methods in com.jnape.palatable.lambda.adt that return Choice2 -
Uses of Choice2 in com.jnape.palatable.lambda.adt.choice
Subclasses of Choice2 in com.jnape.palatable.lambda.adt.choiceModifier and TypeClassDescriptionprivate static final class
Choice2._A<A,
B> private static final class
Choice2._B<A,
B> Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type Choice2Modifier 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.Methods in com.jnape.palatable.lambda.adt.choice that return Choice2Modifier and TypeMethodDescriptionstatic <A,
B> Choice2 <A, B> Choice2.a
(A a) Static factory method for wrapping a value of typeA
in aChoice2
.static <A,
B> Choice2 <A, B> Choice2.b
(B b) Static factory method for wrapping a value of typeB
in aChoice2
.final <C,
D> Choice2 <C, D> Dually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.Choice2.discardL
(Applicative<C, Choice2<A, ?>> appB) 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
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.Choice2.invert()
Swap the type parameters.Choice2.pure
(C c) Lift the valueb
into this applicative functor.Choice2.trampolineM
(Fn1<? super B, ? extends MonadRec<RecursiveResult<B, C>, Choice2<A, ?>>> 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 Choice2Modifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice2.pureChoice()
Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type Choice2Modifier and TypeMethodDescriptionChoice2.discardL
(Applicative<C, Choice2<A, ?>> appB) 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
.Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Choice2.trampolineM
(Fn1<? super B, ? extends MonadRec<RecursiveResult<B, C>, Choice2<A, ?>>> 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. -
Uses of Choice2 in com.jnape.palatable.lambda.functions
Methods in com.jnape.palatable.lambda.functions that return types with arguments of type Choice2Modifier and TypeMethodDescriptionFn1.choose()
Choose between a successful resultb
or returning back the input,a
.Fn1.cocartesian()
Choose between either applying this function or returning back a different result altogether.Fn1.cocartesian()
Choose between either applying this function or returning back a different result altogether. -
Uses of Choice2 in com.jnape.palatable.lambda.functor
Methods in com.jnape.palatable.lambda.functor that return types with arguments of type Choice2Modifier and TypeMethodDescriptionCocartesian.choose()
Choose between the covariantly-positioned carrier type and the contravariantly-positioned carrier type.Cocartesian.cocartesian()
Choose some typeC
or this profunctor's carrier types.Cocartesian.cocartesian()
Choose some typeC
or this profunctor's carrier types. -
Uses of Choice2 in com.jnape.palatable.lambda.functor.builtin
Methods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type Choice2Modifier and TypeMethodDescriptionMarket.cocartesian()
Choose some typeC
or this profunctor's carrier types.Market.cocartesian()
Choose some typeC
or this profunctor's carrier types.Tagged.cocartesian()
Choose some typeC
or this profunctor's carrier types.Tagged.cocartesian()
Choose some typeC
or this profunctor's carrier types. -
Uses of Choice2 in com.jnape.palatable.lambda.io
Fields in com.jnape.palatable.lambda.io declared as Choice2Constructors in com.jnape.palatable.lambda.io with parameters of type Choice2 -
Uses of Choice2 in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Choice2Modifier and TypeFieldDescriptionprivate final ImmutableQueue
<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M, A>>>, M>>, MonadRec<A, M>>> IterateT.spine
Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Choice2