arrow-mtl / arrow.mtl.extensions / StateTDivideInstance

StateTDivideInstance

@extension interface StateTDivideInstance<F, S> : Divide<StateTPartialOf<F, S>>, StateTContravariantInstance<F, S>

Functions

CF open fun CF(): Contravariant<F>
DF abstract fun DF(): Divide<F>
divide open fun <A, B, Z> divide(fa: Kind<StateTPartialOf<F, S>, A>, fb: Kind<StateTPartialOf<F, S>, B>, f: (Z) -> Tuple2<A, B>): Kind<StateTPartialOf<F, S>, Z>
MF open fun MF(): Monad<F>
MFF abstract fun MFF(): Monad<F>

Inheritors

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