arrow-mtl / arrow.mtl.extensions / KleisliContravariant

KleisliContravariant

@extension interface KleisliContravariant<F, D> : Contravariant<Conested<Kind<ForKleisli, F>, D>>

Functions

contramap open fun <A, B> Kind<Conested<Kind<ForKleisli, F>, D>, A>.contramap(f: (B) -> A): Kind<Conested<Kind<ForKleisli, F>, D>, B>
contramapC open fun <A, B> KleisliOf<F, A, D>.contramapC(f: (B) -> A): KleisliOf<F, B, D>

Do you like Arrow?

Arrow Org
<