Trait un_algebra::semigroup::semigroup::SemigroupLaws

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

Laws of semigroups.

Provided methods

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

The associativity axiom.

Loading content...

Implementors

impl<S: Semigroup> SemigroupLaws for S

Blanket implementation of semigroup laws for semigroup implementations.

Loading content...