eve::conditional_expr Concept Reference

Specifies that a type is a Conditional Expression. More...

Detailed Description

Specifies that a type is a Conditional Expression.

Types modeling eve::conditional_expr supports optimisation when evaluated where a logical value was expected.

Examples

• eve::if_
• eve::ignore_all

Concept definition

            template<typename T>
            concept conditional_expr = requires(T a)
  {
    { T::has_alternative  };
    { T::is_inverted      };
    { T::is_complete      };
  }