arrow-mtl / arrow.mtl.extensions / StateTDivisibleInstance

StateTDivisibleInstance

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

Functions

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

Inheritors

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

Do you like Arrow?

Arrow Org
<