Trait AddMon 

pub trait AddMon:
    MathType
    + Zero
    + AddMonOps
    + AddAssign
    + for<'a> AddAssign<&'a Self>
where
    for<'a> &'a Self: AddMonOps<Self>,
{
    // Provided method
    fn sum<A, I>(itr: I) -> Self
       where Self: AddAssign<A>,
             I: IntoIterator<Item = A> { ... }
}

An additive monoid: a set with associative, commutative addition + and identity Zero.

See: https://en.wikipedia.org/wiki/Monoid, https://en.wikipedia.org/wiki/Commutative_monoid

Provided Methods

fn sum<A, I>(itr: I) -> Self

where Self: AddAssign<A>, I: IntoIterator<Item = A>,

Sum an iterator into Self, folding with +=.

A is any type for which Self: AddAssign<A> — typically Self or &Self.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl AddMon for BigInt

impl AddMon for i32

impl AddMon for i64

impl AddMon for i128

Implementors

impl AddMon for FF2

impl<I, const D: i32> AddMon for QuadInt<I, D>

where I: IntType, for<'x> &'x I: IntOps<I>,

impl<T> AddMon for Ratio<T>

where T: EucRing, for<'x> &'x T: EucRingOps<T>,

impl<X, R> AddMon for Lc<X, R>

where X: LcKey, R: Ring, for<'x> &'x R: RingOps<R>,

impl<X, R> AddMon for PolyBase<X, R>

where X: Mono, R: Ring, for<'x> &'x R: RingOps<R>,

impl<const p: i32> AddMon for FF<p>