Trait higher::Contravariant

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

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

A Contravariant functor.

Required Associated Types

type Target<B>

Required Methods

fn contramap<B, F>(self, f: F) -> Self::Target<B>where
    F: Fn(B) -> A + 'a,

Implementors