arrow-mtl / arrow.mtl.extensions / StateTMonadCombine

StateTMonadCombine

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

Functions

combineK open fun <A> StateTOf<F, S, A>.combineK(y: StateTOf<F, S, A>): StateT<F, S, A>
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>
orElse open fun <A> Kind<StateTPartialOf<F, S>, A>.orElse(b: Kind<StateTPartialOf<F, S>, A>): Kind<StateTPartialOf<F, S>, A>