mysql::sets::Is_ordered_set_traits Concept Reference

True if Test is an "ordered" Set traits class. More...

#include <set_traits.h>

Concept definition

template<class Test>
concept mysql::sets::Is_ordered_set_traits = 
    Is_element_set_traits<Test> && requires { typename Test::Less_t; } &&
    requires(typename Test::Element_t v1, typename Test::Element_t v2) {
      { Test::lt(v1, v2) } -> std::same_as<bool>;
      { Test::le(v1, v2) } -> std::same_as<bool>;
      { Test::gt(v1, v2) } -> std::same_as<bool>;
      { Test::ge(v1, v2) } -> std::same_as<bool>;
      { typename Test::Less_t()(v1, v2) } -> std::same_as<bool>;
    }

Detailed Description

True if Test is an "ordered" Set traits class.

This requires that Test has an element type, and the static member functions lt, le, gt, and ge to compare two values, and the member type Less_t which is a function object class whose objects satisfy the Compare named requirements (cf. https://en.cppreference.com/w/cpp/named_req/Compare).