arrow-mtl / arrow.mtl.extensions / CokleisliContravariant

CokleisliContravariant

@extension interface CokleisliContravariant<F, D> : Contravariant<Conested<Kind<ForCokleisli, F>, D>>

Functions

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