AdditiveCommutativeMonoid concept

Description

An AdditiveCommutativeMonoid is a commutative Monoid with the addition as operator.

Refinement of

Notation

Expression semantics

Complexity guarantees

Invariants

Models

Notes

• If the type S models AdditiveCommutativeMonoid then the module {S, glas::add_functor<S,S>} models CommutativeMonoid.