catlog::zero::rig

Trait AdditiveMonoid

Source
pub trait AdditiveMonoid: Add<Output = Self> + Zero { }
Expand description

A commutative monoid, written additively.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl AdditiveMonoid for f32

Source§

impl AdditiveMonoid for f64

Source§

impl AdditiveMonoid for i32

Source§

impl AdditiveMonoid for i64

Source§

impl AdditiveMonoid for u32

Source§

impl AdditiveMonoid for u64

Source§

impl AdditiveMonoid for usize

Implementors§

Source§

impl<Var, Coef> AdditiveMonoid for Combination<Var, Coef>
where Var: Ord, Coef: AdditiveMonoid,

Source§

impl<Var, Coef, Exp> AdditiveMonoid for Polynomial<Var, Coef, Exp>
where Var: Ord, Coef: AdditiveMonoid, Exp: Ord,