Range adaptor helpersの説明専用ライブラリを追加

Author: tetsurom

reference/exposition-only.md

@@ -48,7 +48,13 @@
 | [`uses-nonqualification-pointer-conversion`](ranges/subrange/uses-nonqualification-pointer-conversion.md) | 直接変換できない型同士のポインタの変換が必要かどうかを表す (concept)                                                    | C++20     |
 | [`convertible-to-non-slicing`](ranges/subrange/convertible-to-non-slicing.md)                             | スライシングを起こさずに変換できるかどうかを表す (concept)                                                                 | C++20     |
 | [`pair-like-convertible-from`](ranges/subrange/pair-like-convertible-from.md)                             | ある2つの型から構築出来る[`pair-like`](tuple/pair-like.md)な型を表す (concept)                                   | C++20     |
-| [`maybe-const`](ranges/maybe-const.md)                                                                    | bool値に応じて`const`修飾を付加する (alias template)                                          | C++23     |
+| [`maybe-const`](ranges/maybe-const.md)              | bool値に応じて`const`修飾を付加する (alias template)                                                         | C++23     |
+| [`tuple-transform`](ranges/tuple-transform.md)      | [`tuple`](tuple/tuple.md)の各要素に関数を適用した[`tuple`](tuple/tuple.md)を生成する (function template)     | C++23     |
+| [`tuple-for-each`](ranges/tuple-for-each.md)        | [`tuple`](tuple/tuple.md)の各要素に関数を適用する (function template)                                        | C++23     |
+| [`as-lvalue`](ranges/as-lvalue.md)                  | rvalueをlvalueへキャストする (function template)                                                             | C++23     |
+| [`all-random-access`](ranges/all-random-access.md)  | すべてのビューが[`random_access_range`](ranges/random_access_range.md)であるかを表す (concept)               | C++26     |
+| [`all-bidirectional`](ranges/all-bidirectional.md)  | すべてのビューが[`bidirectional_range`](ranges/bidirectional_range.md)であるかを表す (concept)               | C++26     |
+| [`all-forward`](ranges/all-forward.md)              | すべてのビューが[`forward_range`](ranges/forward_range.md)であるかを表す (concept)                           | C++26     |
 
 ## `<tuple>`
 

reference/ranges/all-bidirectional.md

@@ -0,0 +1,22 @@
+# all-bidirectional
+* ranges[meta header]
+* concept[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<bool Const, class... Views>
+  concept all-bidirectional = (bidirectional_range<maybe-const<Const, Views>> && ...);
+}
+```
+
+## 概要
+
+`all-bidirectional` は、複数のビューに対し、それらすべてが [`bidirectional_range`](bidirectional_range.md) であることを表すコンセプトである。
+
+## バージョン
+### 言語
+- C++26
+
+## 参照
+- [26.7.5 Range adaptor helpers](https://eel.is/c++draft/range.adaptor.helpers)

reference/ranges/all-forward.md

@@ -0,0 +1,22 @@
+# all-forward
+* ranges[meta header]
+* concept[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<bool Const, class... Views>
+  concept all-forward = (forward_range<maybe-const<Const, Views>> && ...);
+}
+```
+
+## 概要
+
+`all-forward` は、複数のビューに対し、それらすべてが [`forward_range`](forward_range.md) であることを表すコンセプトである。
+
+## バージョン
+### 言語
+- C++26
+
+## 参照
+- [26.7.5 Range adaptor helpers](https://eel.is/c++draft/range.adaptor.helpers)

reference/ranges/all-random-access.md

@@ -0,0 +1,22 @@
+# all-random-access
+* ranges[meta header]
+* concept[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<bool Const, class... Views>
+  concept all-random-access = (random_access_range<maybe-const<Const, Views>> && ...);
+}
+```
+
+## 概要
+
+`all-random-access` は、複数のビューに対し、それらすべてが [`random_access_range`](random_access_range.md) であることを表すコンセプトである。
+
+## バージョン
+### 言語
+- C++26
+
+## 参照
+- [26.7.5 Range adaptor helpers](https://eel.is/c++draft/range.adaptor.helpers)

reference/ranges/as-lvalue.md

@@ -0,0 +1,24 @@
+# as-lvalue
+* ranges[meta header]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class T>
+  constexpr T& as-lvalue(T&& t) {
+    return static_cast<T&>(t);
+  }
+}
+```
+
+## 概要
+
+`as-lvalue` は、rvalueをlvalueへキャストする説明専用の関数である。
+
+## バージョン
+### 言語
+- C++23
+
+## 参照
+- [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)

reference/ranges/tuple-for-each.md

@@ -0,0 +1,26 @@
+# tuple-for-each
+* ranges[meta header]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class F, class Tuple>
+  constexpr void tuple-for-each(F&& f, Tuple&& t) {
+    apply([&]<class... Ts>(Ts&&... elements) {
+      (static_cast<void>(invoke(f, std::forward<Ts>(elements))), ...);
+    }, std::forward<Tuple>(t));
+  }
+}
+```
+
+## 概要
+
+`tuple-for-each` は、[`tuple`](/reference/tuple/tuple.md)の各要素に対して関数を適用する説明専用の関数テンプレートである。
+
+## バージョン
+### 言語
+- C++23
+
+## 参照
+- [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)

reference/ranges/tuple-transform.md

@@ -0,0 +1,26 @@
+# tuple-transform
+* ranges[meta header]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class F, class Tuple>
+  constexpr auto tuple-transform(F&& f, Tuple&& t) {
+    return apply([&]<class... Ts>(Ts&&... elements) {
+      return tuple<invoke_result_t<F&, Ts>...>(invoke(f, std::forward<Ts>(elements))...);
+    }, std::forward<Tuple>(t));
+  }
+}
+```
+
+## 概要
+
+`tuple-transform` は、[`tuple`](/reference/tuple/tuple.md)の各要素に対して関数を適用し、それらの結果を要素とする[`tuple`](/reference/tuple/tuple.md)を生成する説明専用の関数テンプレートである。
+
+## バージョン
+### 言語
+- C++23
+
+## 参照
+- [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)