arrow-mtl / arrow.mtl.extensions / KleisliContravariantInstance

KleisliContravariantInstance

@extension interface KleisliContravariantInstance<F, D> : Contravariant<KleisliPartialOf<F, D>>

Functions

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

Inheritors

KleisliDivideInstance interface KleisliDivideInstance<F, D> : Divide<KleisliPartialOf<F, D>>, KleisliContravariantInstance<F, D>