dedekind::algebra::IsAdditiveMonoid Concept Reference

Proposition: a set object X whose carrier is a monoid under +. More...

Concept definition

template<typename X, typename Add std::plus<typename X::Domain>>
concept dedekind::algebra::IsAdditiveMonoid =  IsMonoid<X, Add>

Detailed Description

Proposition: a set object X whose carrier is a monoid under +.

The std::plus-defaulted additive witness of the set-indexed IsMonoid.

Template Parameters

X	The set object.
Add	The additive operation (defaults to std::plus<X::Domain>).