arrow-mtl / arrow.mtl.extensions / AccumTApplicativeError

AccumTApplicativeError

@extension interface AccumTApplicativeError<S, F, E> : ApplicativeError<AccumTPartialOf<S, F>, E>, AccumTApplicative<S, F>

Functions

handleErrorWith open fun <A> Kind<AccumTPartialOf<S, F>, A>.handleErrorWith(f: (E) -> Kind<AccumTPartialOf<S, F>, A>): Kind<AccumTPartialOf<S, F>, A>
ME abstract fun ME(): MonadError<F, E>
MF open fun MF(): Monad<F>
MS abstract fun MS(): Monoid<S>
raiseError open fun <A> raiseError(e: E): Kind<AccumTPartialOf<S, F>, A>

Inheritors

AccumTMonadError interface AccumTMonadError<S, F, E> : MonadError<AccumTPartialOf<S, F>, E>, AccumTApplicativeError<S, F, E>, AccumTMonad<S, F>

Do you like Arrow?

Arrow Org
<