Trait Contravariant

pub trait Contravariant<A, B>: Lift<A, B> {
    // Required method
    fn contramap<F>(self, f: F) -> <Self as Lift<A, B>>::Target1
       where F: Fn(B) -> A;
}

A Contravariant functor.

Required Methods

fn contramap<F>(self, f: F) -> <Self as Lift<A, B>>::Target1

where F: Fn(B) -> A,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors