ntlib::HasAdditiveNeutral Concept Reference

Restricts to types with an additive neutral element. More...

Concept definition

template<typename T>
concept HasAdditiveNeutral = requires(T n) {
  // Existence.
  { ntlib::zero<T>() } -> std::convertible_to<T>;
}

Detailed Description

Restricts to types with an additive neutral element.

Note

The least restrictive (additive) concept in NTLib requiring an additive neutral element is AdditiveMonoid. Therefore, the following can be assumed to hold:

• The addtive neutral element is unique.
• The unique additive neutral element is left- and right-neutral.

Template Parameters

T	A set with an inner addition operation.