arrow-mtl / arrow.mtl.extensions / OptionTApplicativeError

OptionTApplicativeError

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

Functions

AE abstract fun AE(): ApplicativeError<F, E>
AF open fun AF(): Applicative<F>
handleErrorWith open fun <A> OptionTOf<F, A>.handleErrorWith(f: (E) -> OptionTOf<F, A>): OptionT<F, A>
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>