maomao90::Monoid Concept Reference

#include <standard_monoids.hpp>

Concept definition

template<typename T>
concept maomao90::Monoid =  requires(const T &a, const T &b) {
  { T::id() } -> same_as<T>;
  { a.merge(b) } -> same_as<T>;
}