AdditiveMonoid concept

Description

An additive monoid is an additive semi-group with an identity or a monoid where the operation is the addition.

Refinement of

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes

• If the type S models AdditiveMonoid then the modul {S, glas::add_functor<S,S>} models Monoid.