arrow-mtl / arrow.mtl.extensions / StateTSemigroupK

StateTSemigroupK

@extension interface StateTSemigroupK<F, S> : SemigroupK<StateTPartialOf<F, S>>

Functions

combineK open fun <A> StateTOf<F, S, A>.combineK(y: StateTOf<F, S, A>): StateT<F, S, A>
MF abstract fun MF(): Monad<F>
SS abstract fun SS(): SemigroupK<F>

Inheritors

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