[everywhere] Rename concept 'ThreeWayComparable' to 'three_way_comparable'.

Author: zygoloid

source/containers.tex

@@ -9398,7 +9398,7 @@
     bool operator<=(const queue<T, Container>& x, const queue<T, Container>& y);
   template<class T, class Container>
     bool operator>=(const queue<T, Container>& x, const queue<T, Container>& y);
-  template<class T, ThreeWayComparable Container>
+  template<class T, three_way_comparable Container>
     compare_three_way_result_t<Container>
       operator<=>(const queue<T, Container>& x, const queue<T, Container>& y);
 
@@ -9440,7 +9440,7 @@
     bool operator<=(const stack<T, Container>& x, const stack<T, Container>& y);
   template<class T, class Container>
     bool operator>=(const stack<T, Container>& x, const stack<T, Container>& y);
-  template<class T, ThreeWayComparable Container>
+  template<class T, three_way_comparable Container>
     compare_three_way_result_t<Container>
       operator<=>(const stack<T, Container>& x, const stack<T, Container>& y);
 
@@ -9678,7 +9678,7 @@
 
 \indexlibrary{\idxcode{operator<=>}!\idxcode{queue}}%
 \begin{itemdecl}
-template<class T, ThreeWayComparable Container>
+template<class T, three_way_comparable Container>
   compare_three_way_result_t<Container>
     operator<=>(const queue<T, Container>& x, const queue<T, Container>& y);
 \end{itemdecl}
@@ -10238,7 +10238,7 @@
 
 \indexlibrary{\idxcode{operator<=>}!\idxcode{stack}}%
 \begin{itemdecl}
-template<class T, ThreeWayComparable Container>
+template<class T, three_way_comparable Container>
   compare_three_way_result_t<Container>
     operator<=>(const stack<T, Container>& x, const stack<T, Container>& y);
 \end{itemdecl}

source/ranges.tex

@@ -2043,7 +2043,7 @@
       requires totally_ordered<W>;
     friend constexpr compare_three_way_result_t<W> operator<=>(
         const iterator& x, const iterator& y)
-      requires totally_ordered<W> && ThreeWayComparable<W>;
+      requires totally_ordered<W> && three_way_comparable<W>;
 
     friend constexpr iterator operator+(iterator i, difference_type n)
       requires @\placeholdernc{advanceable}@<W>;
@@ -2283,7 +2283,7 @@
 \begin{itemdecl}
 friend constexpr compare_three_way_result_t<W>
   operator<=>(const iterator& x, const iterator& y)
-    requires totally_ordered<W> && ThreeWayComparable<W>;
+    requires totally_ordered<W> && three_way_comparable<W>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -3272,7 +3272,7 @@
       requires random_access_range<Base>;
     friend constexpr compare_three_way_result_t<iterator_t<Base>>
       operator<=>(const iterator& x, const iterator& y)
-        requires random_access_range<Base> && ThreeWayComparable<iterator_t<Base>>;
+        requires random_access_range<Base> && three_way_comparable<iterator_t<Base>>;
 
     friend constexpr iterator operator+(iterator i, difference_type n)
       requires random_access_range<Base>;
@@ -3513,7 +3513,7 @@
 \begin{itemdecl}
 friend constexpr compare_three_way_result_t<iterator_t<Base>>
   operator<=>(const iterator& x, const iterator& y)
-    requires random_access_range<Base> && ThreeWayComparable<iterator_t<Base>>;
+    requires random_access_range<Base> && three_way_comparable<iterator_t<Base>>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -5955,7 +5955,7 @@
       requires random_access_range<base_t>;
     friend constexpr compare_three_way_result_t<iterator_t<base_t>>
       operator<=>(const iterator& x, const iterator& y)
-        requires random_access_range<base_t> && ThreeWayComparable<iterator_t<base_t>>;
+        requires random_access_range<base_t> && three_way_comparable<iterator_t<base_t>>;
 
     friend constexpr iterator operator+(const iterator& x, difference_type y)
       requires random_access_range<base_t>;
@@ -6171,7 +6171,7 @@
 \begin{itemdecl}
 friend constexpr compare_three_way_result_t<iterator_t<base_t>>
   operator<=>(const iterator& x, const iterator& y)
-    requires random_access_range<base_t> && ThreeWayComparable<iterator_t<base_t>>;
+    requires random_access_range<base_t> && three_way_comparable<iterator_t<base_t>>;
 \end{itemdecl}
 
 \begin{itemdescr}

source/support.tex

@@ -4021,9 +4021,9 @@
   template<class... Ts>
     using common_comparison_category_t = typename common_comparison_category<Ts...>::type;
 
-  // \ref{cmp.concept}, concept \tcode{ThreeWayComparable}
+  // \ref{cmp.concept}, concept \tcode{three_way_comparable}
   template<class T, class Cat = partial_ordering>
-    concept ThreeWayComparable = @\seebelow@;
+    concept three_way_comparable = @\seebelow@;
   template<class T, class U, class Cat = partial_ordering>
     concept ThreeWayComparableWith = @\seebelow@;
 
@@ -4709,7 +4709,7 @@
 \end{note}
 \end{itemdescr}
 
-\rSec2[cmp.concept]{Concept \tcode{ThreeWayComparable}}
+\rSec2[cmp.concept]{Concept \tcode{three_way_comparable}}
 
 \begin{codeblock}
 template <typename T, typename Cat>
@@ -4757,9 +4757,10 @@
   \tcode{bool(u <= t) == bool(t >= u)} is \tcode{true}.
 \end{itemize}
 
+\indexlibrary{\idxcode{three_way_comparable}}%
 \begin{codeblock}
 template <typename T, typename Cat = partial_ordering>
-  concept ThreeWayComparable =
+  concept three_way_comparable =
     @\placeholder{weakly-equality-comparable-with}@<T, T> &&
     (!convertible_to<Cat, partial_ordering> || @\placeholder{partially-ordered-with}@<T, T>) &&
     requires(const remove_reference_t<T>& a, const remove_reference_t<T>& b) {
@@ -4771,7 +4772,7 @@
 Let \tcode{a} and \tcode{b} be lvalues
 of type \tcode{const remove_reference_t<T>}.
 \tcode{T} and \tcode{Cat}
-model \tcode{\libconcept{ThreeWayComparable}<T, Cat>} only if:
+model \tcode{\libconcept{three_way_comparable}<T, Cat>} only if:
 \begin{itemize}
 \item
   \tcode{(a <=> b == 0) == bool(a == b)} is \tcode{true};
@@ -4804,10 +4805,10 @@
   concept ThreeWayComparableWith =
     @\placeholder{weakly-equality-comparable-with}@<T, U> &&
     (!convertible_to<Cat, partial_ordering> || @\placeholder{partially-ordered-with}@<T, U>) &&
-    ThreeWayComparable<T, Cat> &&
-    ThreeWayComparable<U, Cat> &&
+    three_way_comparable<T, Cat> &&
+    three_way_comparable<U, Cat> &&
     common_reference_with<const remove_reference_t<T>&, const remove_reference_t<U>&> &&
-    ThreeWayComparable<
+    three_way_comparable<
       common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>, Cat> &&
     requires(const remove_reference_t<T>& t, const remove_reference_t<U>& u) {
       { t <=> u } -> @\placeholder{compares-as}@<Cat>;

source/time.tex

@@ -1701,7 +1701,7 @@
 \indexlibrarymember{operator<=>}{duration}%
 \begin{itemdecl}
 template<class Rep1, class Period1, class Rep2, class Period2>
-    requires ThreeWayComparable<typename CT::rep>
+    requires three_way_comparable<typename CT::rep>
   constexpr auto operator<=>(const duration<Rep1, Period1>& lhs,
                              const duration<Rep2, Period2>& rhs);
 \end{itemdecl}

source/utilities.tex

@@ -3618,7 +3618,7 @@
     constexpr bool operator<=(const variant<Types...>&, const variant<Types...>&);
   template<class... Types>
     constexpr bool operator>=(const variant<Types...>&, const variant<Types...>&);
-  template<class... Types> requires (ThreeWayComparable<Types> && ...)
+  template<class... Types> requires (three_way_comparable<Types> && ...)
     constexpr common_comparison_category_t<compare_three_way_result_t<Types>...>
       operator<=>(const variant<Types...>&, const variant<Types...>&);
 
@@ -4712,7 +4712,7 @@
 
 \indexlibrarymember{operator<=>}{variant}%
 \begin{itemdecl}
-template<class... Types> requires (ThreeWayComparable<Types> && ...)
+template<class... Types> requires (three_way_comparable<Types> && ...)
   constexpr common_comparison_category_t<compare_three_way_result_t<Types>...>
     operator<=>(const variant<Types...>& v, const variant<Types...>& w);
 \end{itemdecl}