Trait Commutative

Source
pub trait Commutative { }
Expand description

$\forall a,\forall b \in T, a \circ b = b \circ a$

Implementations on Foreign Types§

Source§

impl Commutative for ()

Source§

impl<A: Commutative> Commutative for (A,)

Source§

impl<A: Commutative, B: Commutative> Commutative for (A, B)

Source§

impl<A: Commutative, B: Commutative, C: Commutative> Commutative for (A, B, C)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative> Commutative for (A, B, C, D)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative> Commutative for (A, B, C, D, E)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative, F: Commutative> Commutative for (A, B, C, D, E, F)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative, F: Commutative, G: Commutative> Commutative for (A, B, C, D, E, F, G)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative, F: Commutative, G: Commutative, H: Commutative> Commutative for (A, B, C, D, E, F, G, H)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative, F: Commutative, G: Commutative, H: Commutative, I: Commutative> Commutative for (A, B, C, D, E, F, G, H, I)

Source§

impl<A: Commutative, B: Commutative, C: Commutative, D: Commutative, E: Commutative, F: Commutative, G: Commutative, H: Commutative, I: Commutative, J: Commutative> Commutative for (A, B, C, D, E, F, G, H, I, J)

Implementors§