[−][src]Trait libpuri::Monoid

pub trait Monoid: Clone + Eq {
    pub const ID: Self;

    pub fn op(&self, rhs: &Self) -> Self;
}

Trait for associative binary operations with an identity element.

The trait requires that the following property holds:

ⓘThis example is not tested
// The operation * is associative.
(a * b) * c == a * (b * c)
 
// There exists an identity element.
a * id == id * a == a

This property cannot be checked by the compiler so the implementer should verify it by themself.

Associated Constants

pub const ID: Self[src]

An identity requirement could be lifted if we implement the tree with complete tree instead of perfect tree, making this trait name a semigroup. But for the sake of simplicity, we leave it this way for now.

Loading content...

Required methods

pub fn op(&self, rhs: &Self) -> Self[src]

An associative binary operator on monoid elements.

Loading content...

Implementors

Loading content...