arrow-mtl / arrow.mtl.extensions / StateTMonadState
@extension interface StateTMonadState<F, S> : MonadState<StateTPartialOf<F, S>, S>,
StateTMonad
<F, S>
get | open fun get(): StateT<F, S, S> |
MF | abstract fun MF(): Monad<F> |
set | open fun set(s: S): StateT<F, S, Unit > |