tmp/tmpkrb14_qy/{from.md → to.md}
RENAMED
|
@@ -18,8 +18,18 @@ namespace std::ranges {
|
|
| 18 |
|
| 19 |
template<class T>
|
| 20 |
constexpr T& as-lvalue(T&& t) { // exposition only
|
| 21 |
return static_cast<T&>(t);
|
| 22 |
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 23 |
}
|
| 24 |
```
|
| 25 |
|
|
|
|
| 18 |
|
| 19 |
template<class T>
|
| 20 |
constexpr T& as-lvalue(T&& t) { // exposition only
|
| 21 |
return static_cast<T&>(t);
|
| 22 |
}
|
| 23 |
+
|
| 24 |
+
template<bool Const, class... Views>
|
| 25 |
+
concept all-random-access = // exposition only
|
| 26 |
+
(random_access_range<maybe-const<Const, Views>> && ...);
|
| 27 |
+
template<bool Const, class... Views>
|
| 28 |
+
concept all-bidirectional = // exposition only
|
| 29 |
+
(bidirectional_range<maybe-const<Const, Views>> && ...);
|
| 30 |
+
template<bool Const, class... Views>
|
| 31 |
+
concept all-forward = // exposition only
|
| 32 |
+
(forward_range<maybe-const<Const, Views>> && ...);
|
| 33 |
}
|
| 34 |
```
|
| 35 |
|