VCCC  2024.05
VisualCamp Common C++ library
totally_ordered.hpp
Go to the documentation of this file.
1 //
2 // Created by yonggyulee on 2023/12/25.
3 //
4 
5 #ifndef VCCC_CONCEPTS_TOTALLY_ORDERED_HPP_
6 #define VCCC_CONCEPTS_TOTALLY_ORDERED_HPP_
7 
8 #include <type_traits>
9 
10 #include "vccc/__concepts/equality_comparable.hpp"
11 #include "vccc/__concepts/partially_ordered_with.hpp"
12 #include "vccc/__type_traits/common_reference.hpp"
13 #include "vccc/__type_traits/conjunction.hpp"
14 
15 namespace vccc {
16 
19 
20 
31 template<typename T>
32 struct totally_ordered
33  : conjunction<
34  equality_comparable<T>,
35  partially_ordered_with<T, T>
36  >{};
37 
38 
39 namespace detail {
40 
41 template<
42  typename T,
43  typename U,
44  bool = conjunction<
45  totally_ordered<T>,
46  totally_ordered<U>,
47  equality_comparable_with<T, U>
48  >::value /* false */
49 >
50 struct totally_ordered_with_impl : std::false_type {};
51 
52 template<typename T, typename U>
53 struct totally_ordered_with_impl<T, U, true>
54  : conjunction<
55  totally_ordered<
56  common_reference_t< const std::remove_reference_t<T>&,
57  const std::remove_reference_t<U>&> >,
58  partially_ordered_with<T, U>
59  > {};
60 
61 } // namespace detail
62 
73 template<typename T, typename U>
74 struct totally_ordered_with : detail::totally_ordered_with_impl<T, U> {};
75 
77 
78 } // namespace vccc
79 
80 #endif // VCCC_CONCEPTS_TOTALLY_ORDERED_HPP_
common_reference.hpp
equality_comparable.hpp
vccc
Definition: directory.h:12
vccc::value
constexpr VCCC_INLINE_OR_STATIC detail::element_niebloid< 1 > value
Definition: key_value.hpp:35
partially_ordered_with.hpp
vccc::conjunction
Definition: conjunction.hpp:22
vccc::equality_comparable_with
specifies that operator == is an equivalence relation
Definition: equality_comparable.hpp:79
vccc::totally_ordered_with
specifies that the comparison operators on the type yield a total order
Definition: totally_ordered.hpp:74
vccc::totally_ordered
specifies that the comparison operators on the type yield a total order
Definition: totally_ordered.hpp:36