Trait un_algebra::magma::mul_magma::MulMagmaLaws

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

Laws of multiplicative 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: MulMagma> MulMagmaLaws for M

Blanket implementation of multiplicative magma laws for multiplicative magma implementations.

Loading content...