Trait higher_cat::Profunctor

pub trait Profunctor<A, B, C, D>: Bilift<A, B, C, D> + Bifunctor<C, B, A, D> {
    fn dimap<L, R>(self, left: L, right: R) -> Self::Target
    where
        L: Fn(C) -> A,
        R: Fn(B) -> D;
}

A Profunctor is just a Bifunctor that is contravariant over its first argument and covariant over its second argument.

What's the problem?

Required methods

fn dimap<L, R>(self, left: L, right: R) -> Self::Target where
    L: Fn(C) -> A,
    R: Fn(B) -> D, 

Loading content...

Implementors

Loading content...