arrow-mtl / arrow.mtl.extensions / StateTDecidableInstante

StateTDecidableInstante

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

Functions

choose open fun <A, B, Z> choose(fa: Kind<StateTPartialOf<F, S>, A>, fb: Kind<StateTPartialOf<F, S>, B>, f: (Z) -> Either<A, B>): Kind<StateTPartialOf<F, S>, Z>
DFF open fun DFF(): Divisible<F>
DFFF abstract fun DFFF(): Decidable<F>
MFFF open fun MFFF(): Monad<F>
MFFFF abstract fun MFFFF(): Monad<F>