Trait higher_cat::Contravariant

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

A Contravariant functor.

Required methods

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

Loading content...

Implementors

Loading content...