Uses of Class
com.jnape.palatable.lambda.adt.choice.Choice3
-
Packages that use Choice3 Package Description com.jnape.palatable.lambda.adt com.jnape.palatable.lambda.adt.choice -
-
Uses of Choice3 in com.jnape.palatable.lambda.adt
Methods in com.jnape.palatable.lambda.adt that return Choice3 Modifier and Type Method Description <C> Choice3<L,R,C>
Either. diverge()
Diverge this coproduct by introducing another possible type that it could represent.<B> Choice3<Unit,A,B>
Maybe. diverge()
Diverge this coproduct by introducing another possible type that it could represent. -
Uses of Choice3 in com.jnape.palatable.lambda.adt.choice
Subclasses of Choice3 in com.jnape.palatable.lambda.adt.choice Modifier and Type Class Description private static class
Choice3._A<A,B,C>
private static class
Choice3._B<A,B,C>
private static class
Choice3._C<A,B,C>
Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type Choice3 Modifier and Type Method Description <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.Methods in com.jnape.palatable.lambda.adt.choice that return Choice3 Modifier and Type Method Description static <A,B,C>
Choice3<A,B,C>Choice3. a(A a)
Static factory method for wrapping a value of typeA
in aChoice3
.static <A,B,C>
Choice3<A,B,C>Choice3. b(B b)
Static factory method for wrapping a value of typeA
in aChoice3
.<D,E>
Choice3<A,D,E>Choice3. biMap(Fn1<? super B,? extends D> lFn, Fn1<? super C,? extends E> rFn)
Dually map covariantly over both the left and right parameters.<D> Choice3<A,D,C>
Choice3. biMapL(Fn1<? super B,? extends D> fn)
Covariantly map over the left parameter.<D> Choice3<A,B,D>
Choice3. biMapR(Fn1<? super C,? extends D> fn)
Covariantly map over the right parameter.static <A,B,C>
Choice3<A,B,C>Choice3. c(C c)
Static factory method for wrapping a value of typeA
in aChoice3
.Choice3<A,B,C>
Choice4. converge(Fn1<? super D,? extends CoProduct3<A,B,C,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.<D> Choice3<A,B,D>
Choice3. discardL(Applicative<D,Choice3<A,B,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<D> Choice3<A,B,C>
Choice3. discardR(Applicative<D,Choice3<A,B,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<C> Choice3<A,B,C>
Choice2. diverge()
Diverge this coproduct by introducing another possible type that it could represent.<D> Choice3<A,B,D>
Choice3. flatMap(Fn1<? super C,? extends Monad<D,Choice3<A,B,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<D> Choice3<A,B,D>
Choice3. fmap(Fn1<? super C,? extends D> fn)
Covariantly transmute this functor's parameter using the given mapping function.<D> Choice3<A,B,D>
Choice3. pure(D d)
Lift the valueb
into this applicative functor.<D> Choice3<A,B,D>
Choice3. trampolineM(Fn1<? super C,? extends MonadRec<RecursiveResult<C,D>,Choice3<A,B,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<D> Choice3<A,B,D>
Choice3. zip(Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>> 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.adt.choice that return types with arguments of type Choice3 Modifier and Type Method Description <D> Lazy<Choice3<A,B,D>>
Choice3. lazyZip(Lazy<? extends Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static <A,B>
Pure<Choice3<A,B,?>>Choice3. pureChoice()
Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type Choice3 Modifier and Type Method Description <D> Choice3<A,B,D>
Choice3. discardL(Applicative<D,Choice3<A,B,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<D> Choice3<A,B,C>
Choice3. discardR(Applicative<D,Choice3<A,B,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<D> Choice3<A,B,D>
Choice3. flatMap(Fn1<? super C,? extends Monad<D,Choice3<A,B,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<D> Lazy<Choice3<A,B,D>>
Choice3. lazyZip(Lazy<? extends Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<D> Choice3<A,B,D>
Choice3. trampolineM(Fn1<? super C,? extends MonadRec<RecursiveResult<C,D>,Choice3<A,B,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<D> Choice3<A,B,D>
Choice3. zip(Applicative<Fn1<? super C,? extends D>,Choice3<A,B,?>> appFn)
Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
-