All Classes Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
gears::concepts::Comparable< T, U > Struct Template Reference

Checks if a type can be compared. More...

Inherits TraitOf< detail::is_comparable, T, U >.

Detailed Description

template<typename T, typename U = T>
struct gears::concepts::Comparable< T, U >

A Binary concept that checks if a type can be compared with operator<, operator<=, operator>, and operator>=.

In order for a type to meet this concept, the following expressions has to be valid:

bool a = x < y;
bool b = x > y;
bool c = x >= y;
bool d = x <= y;

Where x is an instance of T, and y is an instance of U.

The result of the expressions must return bool or something convertible to bool.

Template Parameters
TLeft type to check
URight type to check

Definition at line 676 of file basic.hpp.