Trait prop::avatar_extensions::Contravariant

pub trait Contravariant<T, U>: Product<T, U> {
    type Out: Product<Inv<U>, Inv<T>>;
    fn contra(self) -> Self::Out;
}

Implemented by contravariant products.

Associated Types

type Out: Product<Inv<U>, Inv<T>>

The contravariant product type.

Required methods

fn contra(self) -> Self::Out

Gets the contravariant product.

Implementors

impl<T, U> Contravariant<Inv<T>, Inv<U>> for AntiMul<Inv<T>, Inv<U>>

type Out = Inv<AntiMul<Inv<Inv<U>>, Inv<Inv<T>>>>

impl<T, U> Contravariant<T, U> for Inv<AntiMul<T, U>>

type Out = AntiMul<Inv<U>, Inv<T>>

impl<T: Prop, U: Prop> Contravariant<Inv<T>, Inv<U>> for Imply<Inv<T>, Inv<U>>

type Out = Inv<Imply<Inv<Inv<U>>, Inv<Inv<T>>>>

impl<T: Prop, U: Prop> Contravariant<T, U> for Inv<Imply<T, U>>

type Out = Imply<Inv<U>, Inv<T>>