arrow-mtl / arrow.mtl.extensions / KleisliApplicativeError

KleisliApplicativeError

@extension interface KleisliApplicativeError<F, D, E> : ApplicativeError<KleisliPartialOf<F, D>, E>, KleisliApplicative<F, D>

Functions

AE abstract fun AE(): ApplicativeError<F, E>
AF open fun AF(): Applicative<F>
handleErrorWith open fun <A> KleisliOf<F, D, A>.handleErrorWith(f: (E) -> KleisliOf<F, D, A>): Kleisli<F, D, A>
raiseError open fun <A> raiseError(e: E): Kleisli<F, D, A>

Inheritors

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