Trait un_algebra::semigroup::add_semigroup::AddSemigroupLaws

pub trait AddSemigroupLaws: AddSemigroup {
    fn associativity(&self, x: &Self, y: &Self) -> bool { ... }
}

Laws of additive semigroups.

Provided methods

fn associativity(&self, x: &Self, y: &Self) -> bool

The additive associativity axiom.

Loading content...

Implementors

impl<S: AddSemigroup> AddSemigroupLaws for S

Blanket implementation of additive semigroup laws for additive semigroup implementations.

Loading content...