Trait prop::avatar_extensions::Commutative

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

Implememnted by commutative products.

Associated Types

type Out: Commutative<U, T>

The output type for commuted product.

Required methods

fn commute(self) -> Self::Out

Commutes product.

Implementors

impl<T: Prop, U: Prop> Commutative<T, U> for And<T, U>

type Out = And<U, T>

impl<T: Prop, U: Prop> Commutative<T, U> for Eq<T, U>

type Out = Eq<U, T>