arrow-core / arrow.core.extensions / ConstContravariant

ConstContravariant

interface ~~ConstContravariant~~<A> : Contravariant<ConstPartialOf<A>> Deprecated: Contravariant typeclass is deprecated and will be removed in 0.13.0. Use concrete methods on Const

Functions

contramap open fun <T, U> ConstOf<A, T>.contramap(f: (U) -> T): Const<A, U>

Inheritors

ConstDivideInstance interface ~~ConstDivideInstance~~<O> : Divide<ConstPartialOf<O>>, ConstContravariant<O>