From Jason Turner

[is.sorted]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp3cmwanpd/{from.md → to.md} +26 -0
tmp/tmp3cmwanpd/{from.md → to.md} RENAMED
@@ -51,10 +51,26 @@ template<forward_range R, class Proj = identity,
51
  ```
52
 
53
  *Effects:* Equivalent to:
54
  `return ranges::is_sorted_until(first, last, comp, proj) == last;`
55
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
56
  ``` cpp
57
  template<class ForwardIterator>
58
  constexpr ForwardIterator
59
  is_sorted_until(ForwardIterator first, ForwardIterator last);
60
  template<class ExecutionPolicy, class ForwardIterator>
@@ -77,10 +93,20 @@ template<forward_iterator I, sentinel_for<I> S, class Proj = identity,
77
  constexpr I ranges::is_sorted_until(I first, S last, Comp comp = {}, Proj proj = {});
78
  template<forward_range R, class Proj = identity,
79
  indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less>
80
  constexpr borrowed_iterator_t<R>
81
  ranges::is_sorted_until(R&& r, Comp comp = {}, Proj proj = {});
 
 
 
 
 
 
 
 
 
 
82
  ```
83
 
84
  Let `comp` be `less{}` and `proj` be `identity{}` for the overloads with
85
  no parameters by those names.
86
 
 
51
  ```
52
 
53
  *Effects:* Equivalent to:
54
  `return ranges::is_sorted_until(first, last, comp, proj) == last;`
55
 
56
+ ``` cpp
57
+ template<execution-policy Ep, random_access_iterator I, sized_sentinel_for<I> S,
58
+ class Proj = identity,
59
+ indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less>
60
+ bool ranges::is_sorted(Ep&& exec, I first, S last, Comp comp = {}, Proj proj = {});
61
+ template<execution-policy Ep, sized-random-access-range R, class Proj = identity,
62
+ indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less>
63
+ bool ranges::is_sorted(Ep&& exec, R&& r, Comp comp = {}, Proj proj = {});
64
+ ```
65
+
66
+ *Effects:* Equivalent to:
67
+
68
+ ``` cpp
69
+ return ranges::is_sorted_until(std::forward<Ep>(exec), first, last, comp, proj) == last;
70
+ ```
71
+
72
  ``` cpp
73
  template<class ForwardIterator>
74
  constexpr ForwardIterator
75
  is_sorted_until(ForwardIterator first, ForwardIterator last);
76
  template<class ExecutionPolicy, class ForwardIterator>
 
93
  constexpr I ranges::is_sorted_until(I first, S last, Comp comp = {}, Proj proj = {});
94
  template<forward_range R, class Proj = identity,
95
  indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less>
96
  constexpr borrowed_iterator_t<R>
97
  ranges::is_sorted_until(R&& r, Comp comp = {}, Proj proj = {});
98
+
99
+ template<execution-policy Ep, random_access_iterator I, sized_sentinel_for<I> S,
100
+ class Proj = identity,
101
+ indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less>
102
+ I ranges::is_sorted_until(Ep&& exec, I first, S last, Comp comp = {},
103
+ Proj proj = {});
104
+ template<execution-policy Ep, sized-random-access-range R, class Proj = identity,
105
+ indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less>
106
+ borrowed_iterator_t<R>
107
+ ranges::is_sorted_until(Ep&& exec, R&& r, Comp comp = {}, Proj proj = {});
108
  ```
109
 
110
  Let `comp` be `less{}` and `proj` be `identity{}` for the overloads with
111
  no parameters by those names.
112