arrow-mtl / arrow.mtl.extensions / StateTMonadError
@extension interface StateTMonadError<F, S, E> : MonadError<StateTPartialOf<F, S>, E>,
StateTApplicativeError
<F, S, E>,
StateTMonad
<F, S>
ME | abstract fun ME(): MonadError<F, E> |
MF | open fun MF(): Monad<F> |
StateTMonadThrow | interface StateTMonadThrow<F, S> : MonadThrow<StateTPartialOf<F, S>>, StateTMonadError <F, S, Throwable > |