arrow-mtl / arrow.mtl.extensions / OptionTContravariantInstance

OptionTContravariantInstance

@extension interface OptionTContravariantInstance<F> : Contravariant<OptionTPartialOf<F>>

Functions

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

Inheritors

OptionTDivideInstance interface OptionTDivideInstance<F> : Divide<OptionTPartialOf<F>>, OptionTContravariantInstance<F>