arrow-mtl / arrow.mtl.extensions / OptionTApplicativeError

OptionTApplicativeError

@extension interface OptionTApplicativeError<F, E> : ApplicativeError<OptionTPartialOf<F>, E>, OptionTApplicative<F>

Functions

handleErrorWith open fun <A> OptionTOf<F, A>.handleErrorWith(f: (E) -> OptionTOf<F, A>): OptionT<F, A>
ME abstract fun ME(): MonadError<F, E>
MF open fun MF(): Monad<F>
raiseError open fun <A> raiseError(e: E): OptionT<F, A>

Inheritors

OptionTMonadError interface OptionTMonadError<F, E> : MonadError<OptionTPartialOf<F>, E>, OptionTMonad<F>, OptionTApplicativeError<F, E>

Do you like Arrow?

Arrow Org
<