Trait un_algebra::magma::add_magma::NumAddMagmaLaws

pub trait NumAddMagmaLaws: NumEq + AddMagma {
    fn num_closure(&self, _x: &Self, _eps: &Self::Eps) -> bool { ... }
}

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

Provided methods

fn num_closure(&self, _x: &Self, _eps: &Self::Eps) -> bool

The numeric closure axiom.

Loading content...

Implementors

impl<M: NumEq + AddMagma> NumAddMagmaLaws for M

Blanket implementation of numeric additive magma laws for additive magma implementations.

Loading content...