arrow-mtl / arrow.mtl.extensions / StateTApplicativeError
@extension interface StateTApplicativeError<F, S, E> : ApplicativeError<StateTPartialOf<F, S>, E>,
StateTApplicative
<F, S>
FF | open fun FF(): Functor<F> |
handleErrorWith | open fun <A> StateTOf<F, S, A>.handleErrorWith(f: (E) -> StateTOf<F, S, A>): StateT<F, S, A> |
ME | abstract fun ME(): MonadError<F, E> |
MF | open fun MF(): Monad<F> |
raiseError | open fun <A> raiseError(e: E): StateTOf<F, S, A> |
StateTMonadError | interface StateTMonadError<F, S, E> : MonadError<StateTPartialOf<F, S>, E>, StateTApplicativeError <F, S, E>, StateTMonad <F, S> |