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>