higher

Trait Contravariant

Source 
pub trait Contravariant<'a, A> {
    type Target<B>;

    // Required method
    fn contramap<B, F>(self, f: F) -> Self::Target<B>
       where F: Fn(B) -> A + 'a;
}
Expand description

A Contravariant functor.

Required Associated Types§

Source

type Target<B>

Required Methods§

Source

fn contramap<B, F>(self, f: F) -> Self::Target<B>
where F: Fn(B) -> A + '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§