Trait un_algebra::magma::magma::MagmaLaws

pub trait MagmaLaws: Magma {
    fn closure(&self, _x: &Self) -> bool { ... }
}

Laws of magmas. The closure axiom defined here is guaranteed by Rust's type system and is implemented only for completeness.

Provided methods

fn closure(&self, _x: &Self) -> bool

The closure axiom.

Loading content...

Implementors

impl<M: Magma> MagmaLaws for M

Blanket implementation of magma laws for magma implementations.

Loading content...