arrow-mtl / arrow.mtl.extensions / StateTApplicativeError

StateTApplicativeError

@extension interface StateTApplicativeError<F, S, E> : ApplicativeError<StateTPartialOf<F, S>, E>, StateTApplicative<F, S>

Functions

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>

Inheritors

StateTMonadError interface StateTMonadError<F, S, E> : MonadError<StateTPartialOf<F, S>, E>, StateTApplicativeError<F, S, E>, StateTMonad<F, S>