Uses of Interface
com.jnape.palatable.lambda.monad.MonadError
Packages that use MonadError
Package
Description
-
Uses of MonadError in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement MonadErrorModifier and TypeClassDescriptionclass
Either<L,
R> The binary tagged union, implemented as a specializedCoProduct2
.private static final class
Either.Left<L,
R> private static final class
Either.Right<L,
R> class
Maybe<A>
The optional type, representing a potentially absent value.private static final class
Maybe.Just<A>
private static final class
class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static final class
Try.Failure<A>
private static final class
Try.Success<A>
-
Uses of MonadError in com.jnape.palatable.lambda.io
Classes in com.jnape.palatable.lambda.io that implement MonadErrorModifier and TypeClassDescriptionclass
IO<A>
AMonad
representing some side-effecting computation to be performed.private static final 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 MonadErrorModifier and TypeInterfaceDescriptioninterface
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 MonadErrorModifier and TypeMethodDescriptionMonadError
<E, A, M> 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> Chain dependent computations that may continue or short-circuit based on previous results.default <B> MonadError
<E, B, M> 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 MonadErrorModifier and TypeMethodDescriptiondefault <B> Lazy
<? extends MonadError<E, B, M>> 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 MonadErrorModifier and TypeClassDescriptionfinal class
Amonad transformer
forEither
.final class
Amonad transformer
forMaybe
.