arrow-mtl / arrow.mtl.extensions / KleisliMonadError

KleisliMonadError

@extension interface KleisliMonadError<F, D, E> : MonadError<KleisliPartialOf<F, D>, E>, KleisliApplicativeError<F, D, E>, KleisliMonad<F, D>

Functions

AE open fun AE(): ApplicativeError<F, E>
AF open fun AF(): Applicative<F>
ME abstract fun ME(): MonadError<F, E>
MF open fun MF(): Monad<F>

Inheritors

KleisliMonadThrow interface KleisliMonadThrow<F, D> : MonadThrow<KleisliPartialOf<F, D>>, KleisliMonadError<F, D, Throwable>
KleisliMtlContext class KleisliMtlContext<F, D, E> : KleisliMonadReader<F, D>, KleisliMonadError<F, D, E>