AbelianGroup

Derive Macro AbelianGroup 

Source
#[derive(AbelianGroup)]
Expand description

Derive macro for AbelianGroup.

Marker trait indicating a commutative group. Requires each field to implement AbelianGroup.

§Example

#[derive(Semigroup, Monoid, CommutativeMonoid, Group, AbelianGroup)]
struct Foo {
    a: i32,  // (Z, +) is abelian
    b: MyAbelianGroup,
}