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)	Catch any thrown errors inside the Monad and resume normal operations.
<R2> EitherT<M,L,R2>	EitherT.discardL(Applicative<R2,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> EitherT<M,L,R>	EitherT.discardR(Applicative<B,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
static <M extends MonadRec<?, M>, L, R> EitherT<M,L,R>	EitherT.eitherT(MonadRec<Either<L,R>,M> melr)	Static factory method for lifting a Monad<Either<L, R>, M> into an EitherT.
<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)	Lift a new argument MonadRec into this MonadBase.
<R2> EitherT<M,L,R2>	EitherT.pure(R2 r2)	Lift the value b into this applicative functor.
EitherT<M,L,R>	EitherT.throwError(L l)	Throw an error value of type E into the monad.
<R2> EitherT<M,L,R2>	EitherT.trampolineM(Fn1<? super R,? extends MonadRec<RecursiveResult<R,R2>,EitherT<M,L,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination 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 a lazy 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()	Lift for EitherT.
static <M extends MonadRec<?, M>, L> Pure<EitherT<M,L,?>>	EitherT.pureEitherT(Pure<M> pureM)	The canonical Pure instance for EitherT.

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)	Catch any thrown errors inside the Monad and resume normal operations.
<R2> EitherT<M,L,R2>	EitherT.discardL(Applicative<R2,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> EitherT<M,L,R>	EitherT.discardR(Applicative<B,EitherT<M,L,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<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 a lazy 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 a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination 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.