Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.EitherT
-
Packages that use EitherT Package Description com.jnape.palatable.lambda.monad.transformer.builtin -
-
Uses of EitherT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return EitherT Modifier and Type Method Description <L2,R2>
EitherT<M,L2,R2>EitherT. biMap(Fn1<? super L,? extends L2> lFn, Fn1<? super R,? extends R2> rFn)
Dually map covariantly over both the left and right parameters.<L2> EitherT<M,L2,R>
EitherT. biMapL(Fn1<? super L,? extends L2> fn)
Covariantly map over the left parameter.<R2> EitherT<M,L,R2>
EitherT. biMapR(Fn1<? super R,? extends R2> fn)
Covariantly map over the right parameter.EitherT<M,L,R>
EitherT. catchError(Fn1<? super L,? extends Monad<R,EitherT<M,L,?>>> recoveryFn)
<R2> EitherT<M,L,R2>
EitherT. discardL(Applicative<R2,EitherT<M,L,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> EitherT<M,L,R>
EitherT. discardR(Applicative<B,EitherT<M,L,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <M extends MonadRec<?,M>,L,R>
EitherT<M,L,R>EitherT. eitherT(MonadRec<Either<L,R>,M> melr)
<R2> EitherT<M,L,R2>
EitherT. flatMap(Fn1<? super R,? extends Monad<R2,EitherT<M,L,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<R2> EitherT<M,L,R2>
EitherT. fmap(Fn1<? super R,? extends R2> fn)
Covariantly transmute this functor's parameter using the given mapping function.<R2,N extends MonadRec<?,N>>
EitherT<N,L,R2>EitherT. lift(MonadRec<R2,N> mb)
<R2> EitherT<M,L,R2>
EitherT. pure(R2 r2)
Lift the valueb
into this applicative functor.EitherT<M,L,R>
EitherT. throwError(L l)
Throw an error value of typeE
into themonad
.<R2> EitherT<M,L,R2>
EitherT. trampolineM(Fn1<? super R,? extends MonadRec<RecursiveResult<R,R2>,EitherT<M,L,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<R2> EitherT<M,L,R2>
EitherT. zip(Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>> 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.monad.transformer.builtin that return types with arguments of type EitherT Modifier and Type Method Description <R2> Lazy<EitherT<M,L,R2>>
EitherT. lazyZip(Lazy<? extends Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>>> 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 <L> Lift<EitherT<?,L,?>>
EitherT. liftEitherT()
static <M extends MonadRec<?,M>,L>
Pure<EitherT<M,L,?>>EitherT. pureEitherT(Pure<M> pureM)
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type EitherT Modifier and Type Method Description EitherT<M,L,R>
EitherT. catchError(Fn1<? super L,? extends Monad<R,EitherT<M,L,?>>> recoveryFn)
<R2> EitherT<M,L,R2>
EitherT. discardL(Applicative<R2,EitherT<M,L,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> EitherT<M,L,R>
EitherT. discardR(Applicative<B,EitherT<M,L,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<R2> EitherT<M,L,R2>
EitherT. flatMap(Fn1<? super R,? extends Monad<R2,EitherT<M,L,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<R2> Lazy<EitherT<M,L,R2>>
EitherT. lazyZip(Lazy<? extends Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<R2> EitherT<M,L,R2>
EitherT. trampolineM(Fn1<? super R,? extends MonadRec<RecursiveResult<R,R2>,EitherT<M,L,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<R2> EitherT<M,L,R2>
EitherT. zip(Applicative<Fn1<? super R,? extends R2>,EitherT<M,L,?>> appFn)
Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
-