arrow-mtl / arrow.mtl.extensions / StateTMonadCombine

StateTMonadCombine

@extension interface StateTMonadCombine<F, S> : MonadCombine<StateTPartialOf<F, S>>, StateTMonad<F, S>, StateTAlternative<F, S>

Functions

AF open fun AF(): Alternative<F>
empty open fun <A> empty(): Kind<StateTPartialOf<F, S>, A>
FF open fun FF(): Monad<F>
liftT open fun <A> liftT(ma: Kind<F, A>): StateT<F, S, A>
MC abstract fun MC(): MonadCombine<F>
MF open fun MF(): Monad<F>
MO open fun MO(): MonoidK<F>

Do you like Arrow?

Arrow Org
<