arrow-mtl / arrow.mtl.extensions / StateTMonoidK

StateTMonoidK

@extension interface StateTMonoidK<F, S> : MonoidK<StateTPartialOf<F, S>>, StateTSemigroupK<F, S>

Functions

empty open fun <A> empty(): Kind<StateTPartialOf<F, S>, A>
MF abstract fun MF(): Monad<F>
MO abstract fun MO(): MonoidK<F>
SS open fun SS(): SemigroupK<F>

Inheritors

StateTAlternative interface StateTAlternative<F, S> : Alternative<StateTPartialOf<F, S>>, StateTMonoidK<F, S>, StateTApplicative<F, S>
StateTMonadCombine interface StateTMonadCombine<F, S> : MonadCombine<StateTPartialOf<F, S>>, StateTMonad<F, S>, StateTMonoidK<F, S>