Trait Contravariant
higher_cat
pub trait Contravariant<A, B>: Lift<A, B> { fn contramap<F>(self, f: F) -> Self::Target1 where F: Fn(B) -> A; }
A Contravariant functor.
Contravariant
fn contramap<F>(self, f: F) -> Self::Target1 where F: Fn(B) -> A,