Trait un_algebra::monoid::monoid::Monoid

pub trait Monoid: Semigroup {
    fn id() -> Self;

    fn is_id(&self) -> bool { ... }
    fn axiom_left_identity(&self) -> bool { ... }
    fn axiom_right_identity(&self) -> bool { ... }
}

An algebraic monoid.

Required Methods

fn id() -> Self

The monoid identity element.

Provided Methods

fn is_id(&self) -> bool

Test for the identity value.

fn axiom_left_identity(&self) -> bool

Test the left identity axiom.

fn axiom_right_identity(&self) -> bool

Test the right identity axiom.

Implementors