arrow-mtl / arrow.mtl.extensions / StateTDivisibleInstance

StateTDivisibleInstance

@extension interface StateTDivisibleInstance<F, S> : Divisible<StateTPartialOf<F, S>>, StateTDivideInstance<F, S>

Functions

conquer open fun <A> conquer(): Kind<StateTPartialOf<F, S>, A>
DF open fun DF(): Divide<F>
DFF abstract fun DFF(): Divisible<F>
MFF open fun MFF(): Monad<F>
MFFF abstract fun MFFF(): Monad<F>

Inheritors

StateTDecidableInstante interface StateTDecidableInstante<F, S> : Decidable<StateTPartialOf<F, S>>, StateTDivisibleInstance<F, S>