arrow-mtl / arrow.mtl.extensions / StateTContravariantInstance

StateTContravariantInstance

@extension interface StateTContravariantInstance<S, F> : Contravariant<StateTPartialOf<S, F>>

Functions

CF abstract fun CF(): Contravariant<F>
contramap open fun <A, B> Kind<StateTPartialOf<S, F>, A>.contramap(f: (B) -> A): Kind<StateTPartialOf<S, F>, B>

Inheritors

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

Do you like Arrow?

Arrow Org
<