E.V.E
v2022.09.01
eve::conditional_expr Concept Reference

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

#include <eve/concept/conditional.hpp>

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

Concept definition

template<typename T>
concept eve::conditional_expr = requires(T a)
{
{ T::has_alternative };
{ T::is_inverted };
{ T::is_complete };
}
Specifies that a type is a Conditional Expression.
Definition: conditional.hpp:31