Trait Contravariant
rarrow::classes
pub trait Contravariant: Unplug + Plug<Self::A> { fn contramap<B, F>(self, f: F) -> Self::Out where Self: Plug<B>, F: FnOnce(B) -> Self::A; }
fn contramap<B, F>(self, f: F) -> Self::Out where Self: Plug<B>, F: FnOnce(B) -> Self::A,