Uses of Interface
com.jnape.palatable.lambda.monad.MonadError
-
Packages that use MonadError Package Description com.jnape.palatable.lambda.adt com.jnape.palatable.lambda.io com.jnape.palatable.lambda.monad com.jnape.palatable.lambda.monad.transformer.builtin -
-
Uses of MonadError in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement MonadError Modifier and Type Class Description class
Either<L,R>
The binary tagged union, implemented as a specializedCoProduct2
.private static class
Either.Left<L,R>
private static class
Either.Right<L,R>
class
Maybe<A>
The optional type, representing a potentially absent value.private static class
Maybe.Just<A>
private static class
Maybe.Nothing<A>
class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static class
Try.Failure<A>
private static class
Try.Success<A>
-
Uses of MonadError in com.jnape.palatable.lambda.io
Classes in com.jnape.palatable.lambda.io that implement MonadError Modifier and Type Class Description class
IO<A>
AMonad
representing some side-effecting computation to be performed.private static class
IO.Compose<A>
-
Uses of MonadError in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad with type parameters of type MonadError Modifier and Type Interface Description interface
MonadError<E,A,M extends MonadError<E,?,M>>
An interface formonads
that can be interrupted with some type of error.Methods in com.jnape.palatable.lambda.monad that return MonadError Modifier and Type Method Description MonadError<E,A,M>
MonadError. catchError(Fn1<? super E,? extends Monad<A,M>> recoveryFn)
default <B> MonadError<E,B,M>
MonadError. discardL(Applicative<B,M> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> MonadError<E,A,M>
MonadError. discardR(Applicative<B,M> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> MonadError<E,B,M>
MonadError. flatMap(Fn1<? super A,? extends Monad<B,M>> f)
Chain dependent computations that may continue or short-circuit based on previous results.default <B> MonadError<E,B,M>
MonadError. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.<B> MonadError<E,B,M>
MonadError. pure(B b)
Lift the valueb
into this applicative functor.MonadError<E,A,M>
MonadError. throwError(E e)
Throw an error value of typeE
into themonad
.default <B> MonadError<E,B,M>
MonadError. zip(Applicative<Fn1<? super A,? extends B>,M> 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 that return types with arguments of type MonadError Modifier and Type Method Description default <B> Lazy<? extends MonadError<E,B,M>>
MonadError. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,M>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports. -
Uses of MonadError in com.jnape.palatable.lambda.monad.transformer.builtin
Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement MonadError Modifier and Type Class Description class
EitherT<M extends MonadRec<?,M>,L,R>
Amonad transformer
forEither
.class
MaybeT<M extends MonadRec<?,M>,A>
Amonad transformer
forMaybe
.
-