ntlib::AdditiveSemigroup Concept Reference

Restricts to types modeling an additive semigroup. More...

Concept definition

template<typename T>
concept AdditiveSemigroup = requires(T a, T b) {
  // Require that `operator+(T,T)` is overloaded.
  { a + b } -> std::convertible_to<T>;
}

Detailed Description

Restricts to types modeling an additive semigroup.

Template Parameters

T	A set with an associative inner addition operation.