hyperion::mpl::concepts

group concepts

Hyperion provides an assortment of metaprogramming concept definitions used to define various conceptual models and characteristics of types. Some of these are purely novel, such as comparability, while others are supplemental to, or less stringent than, those provided by the standard, doing something similar to existing concepts, but filling in gaps in the API surface that were overlooked or missing for other reasons, or provided an alternative definition that is narrower in scope.

• Comparability Concepts
  • EqualityComparable
  • InequalityComparable
  • LessThanComparable
  • LessThanOrEqualComparable
  • GreaterThanComparable
  • GreaterThanOrEqualComparable
  • ThreeWayComparable

• Operatorability Concepts
  • UnaryPlusable
  • UnaryMinusable
  • Addressable
  • Dereferencible
  • Arrowable
  • Addable
  • Subtractable
  • Multipliable
  • Dividible
  • BinaryNotable
  • BinaryAndable
  • BinaryOrable
  • BooleanNotable
  • BooleanAndable
  • BooleanOrable

• Standard Supplemental Concepts
  • TriviallyMovable