arrow-mtl / arrow.mtl.extensions / EitherTApplicativeError

EitherTApplicativeError

@extension interface EitherTApplicativeError<F, L> : ApplicativeError<EitherTPartialOf<F, L>, L>, EitherTApplicative<F, L>

Functions

AE abstract fun AE(): ApplicativeError<F, L>
AF open fun AF(): Applicative<F>
handleErrorWith open fun <A> EitherTOf<F, L, A>.handleErrorWith(f: (L) -> EitherTOf<F, L, A>): EitherT<F, L, A>
raiseError open fun <A> raiseError(e: L): EitherT<F, L, A>

Inheritors

EitherTMonadError interface EitherTMonadError<F, L> : MonadError<EitherTPartialOf<F, L>, L>, EitherTApplicativeError<F, L>, EitherTMonad<F, L>