eve::conditional_expr Concept Reference

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

#include <eve/concept/conditional.hpp>

Detailed Description

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 eve::conditional_expr =  requires(T a)
  {
    { T::has_alternative  };
    { T::is_inverted      };
    { T::is_complete      };
  }