Trait un_algebra::monoid::add_monoid::NumAddMonoidLaws

pub trait NumAddMonoidLaws: NumEq + AddMonoid {
    fn num_left_identity(&self, eps: &Self::Eps) -> bool { ... }
    fn num_right_identity(&self, eps: &Self::Eps) -> bool { ... }
    fn num_identity(&self, eps: &Self::Eps) -> bool { ... }
}

Numeric laws of additive monoids.

Provided methods

fn num_left_identity(&self, eps: &Self::Eps) -> bool

The left numeric additive identity axiom.

fn num_right_identity(&self, eps: &Self::Eps) -> bool

The right numeric additive identity axiom.

fn num_identity(&self, eps: &Self::Eps) -> bool

The two sided numeric additive identity axiom.

Loading content...

Implementors

impl<M: NumEq + AddMonoid> NumAddMonoidLaws for M

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

Loading content...