Range-v3
Range algorithms, views, and actions for the Standard Library
ranges::v3::concepts::TotallyOrdered Struct Reference
+ Inheritance diagram for ranges::v3::concepts::TotallyOrdered:

Public Member Functions

template<typename T >
void requires_ (T &&)
 
template<typename T , typename U >
auto requires_ (T &&, U &&) -> decltype( concepts::valid_expr( concepts::model_of< TotallyOrdered >(val< T >()), concepts::model_of< TotallyOrdered >(val< U >()) ))
 
- Public Member Functions inherited from ranges::v3::concepts::refines< EqualityComparable, WeaklyOrdered >
void requires_ (Ts &&...)
 

Additional Inherited Members

- Public Types inherited from ranges::v3::concepts::refines< EqualityComparable, WeaklyOrdered >
using base_concepts_t = meta::list< Concepts... >