arrow-mtl / arrow.mtl.extensions / EitherTContravariant

EitherTContravariant

@extension interface EitherTContravariant<F, L> : Contravariant<EitherTPartialOf<F, L>>

Functions

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

Inheritors

EitherTDivide interface EitherTDivide<F, L> : Divide<EitherTPartialOf<F, L>>, EitherTContravariant<F, L>