execution: completion_signatures(_of_t) (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -63,7 +63,7 @@ namespace std::execution {
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | [`execution::receiver`](execution/receiver.md) | Receiver型 (concept) | C++26 |
-| [`execution::receiver_of`](execution/receiver_of.md) | 完了シグネチャ集合を持つReceiver (concept) | C++26 |
+| [`execution::receiver_of`](execution/receiver_of.md) | 指定完了シグネチャ集合に適合するReceiver (concept) | C++26 |
 | [`execution::set_value`](execution/set_value.md.nolink) | 値による完了関数 (customization point object) | C++26 |
 | [`execution::set_error`](execution/set_error.md.nolink) | エラーによる完了関数 (customization point object) | C++26 |
 | [`execution::set_stopped`](execution/set_stopped.md.nolink) | 停止による完了関数 (customization point object) | C++26 |
@@ -83,8 +83,8 @@ namespace std::execution {
 | [`execution::sender`](execution/sender.md) | Sender型 (concept) | C++26 |
 | [`execution::sender_in`](execution/sender_in.md) | 指定環境で有効なSender (concept) | C++26 |
 | [`execution::sender_to`](execution/sender_to.md) | 指定Receiverに接続可能なSender (concept) | C++26 |
-| [`execution::get_completion_signatures`](execution/get_completion_signatures.md.nolink) | 完了シグネチャ取得の問い合わせオブジェクト (customization point object) | C++26 |
-| [`execution::completion_signatures_of_t`](execution/get_completion_signatures.md.nolink) | Senderから完了シグネチャを取得 (alias template) | C++26 |
+| [`execution::get_completion_signatures`](execution/get_completion_signatures.md.nolink) | 完了シグネチャ集合取得の問い合わせオブジェクト (customization point object) | C++26 |
+| [`execution::completion_signatures_of_t`](execution/completion_signatures_of_t.md) | Senderから完了シグネチャ集合を取得 (alias template) | C++26 |
 | [`execution::value_types_of_t`](execution/value_types_of_t.md.nolink) | Senderの値完了型を取得 (alias template) | C++26 |
 | [`execution::error_types_of_t`](execution/error_types_of_t.md.nolink) | Senderのエラー完了型を取得 (alias template) | C++26 |
 | [`execution::sends_stopped`](execution/value_types_of_t.md.nolink) | Senderが停止完了に対応するか否か (variable template) | C++26 |
@@ -142,7 +142,7 @@ Senderコンシューマは名前空間 `std::this_thread` で定義される。
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`execution::completion_signatures`](execution/completion_signatures.md.nolink) | 完了シグネチャ (class template) | C++26 |
+| [`execution::completion_signatures`](execution/completion_signatures.md) | 完了シグネチャ集合を表現する型 (class template) | C++26 |
 | [`execution::transform_completion_signatures`](execution/transform_completion_signatures.md.nolink) | 完了シグネチャを変換 (alias template) | C++26 |
 | [`execution::transform_completion_signatures_of`](execution/transform_completion_signatures_of.md.nolink) | 完了シグネチャを変換 (alias template) | C++26 |
 | [`execution::run_loop`](execution/run_loop.md.nolink) | 実行ループ (class) | C++26 |

reference/execution/execution/completion_signatures.md

@@ -0,0 +1,76 @@
+# completion_signatures
+* execution[meta header]
+* class template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<completion-signature... Fns>
+  struct completion_signatures {};
+}
+```
+
+## 概要
+`completion_signatures`クラステンプレートは、完了シグネチャの集合をテンプレートパラメータとして表現する。
+
+
+## テンプレートパラメータ制約
+`Fns`の各要素`Fn`が、下記の説明専用コンセプト`completion-signature`を満たすこと。
+
+```cpp
+template<class Fn>
+concept completion-signature = see below;
+```
+* see below[italic]
+
+型`Fn`が下記いずれかを満たす関数型であるとき、`Fn`はコンセプト`completion-signature`を満たす。
+- `set_value_t(Vs...)`（`Vs`はオブジェクト型または参照型のパック）
+- `set_error_t(Err)`（`Err`はオブジェクト型または参照型）
+- `set_stopped_t()`
+
+
+## 例
+```cpp example
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  // 下記の完了操作をサポートする
+  //   値完了     ex::set_value(int), ex::set_value(int, int)
+  //   エラー完了 ex::set_error(std::exception_ptr)
+  //   停止完了   ex::set_stopped()
+  using Sigs = ex::completion_signatures<
+    ex::set_value_t(int),
+    ex::set_value_t(int, int),
+    ex::set_error_t(std::exception_ptr),
+    ex::set_stopped_t()
+  >;
+}
+```
+* ex::completion_signatures[color ff0000]
+* std::exception_ptr[link /reference/exception/exception_ptr.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::receiver`](receiver.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/completion_signatures_of_t.md

@@ -0,0 +1,36 @@
+# completion_signatures_of_t
+* execution[meta header]
+* std::execution[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<class Sndr, class Env = env<>>
+    requires sender_in<Sndr, Env>
+  using completion_signatures_of_t = call-result-t<get_completion_signatures_t, Sndr, Env>;
+}
+```
+* env<>[link env.md.nolink]
+* sender_in[link sender_in.md]
+* call-result-t[link call-result-t.md.nolink]
+* sender_in[link sender_in.md]
+
+## 概要
+
+[Sender型](sender.md)`Sndr`から[環境](env.md.nolink)`Env`における[完了シグネチャ集合](completion_signatures.md)を取得する。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/receiver_of.md

@@ -12,7 +12,7 @@ namespace std::execution {
 ```
 
 ## 概要
-`receiver_of`は、[Receiver型](receiver.md)`Rcvr`が完了シグネチャの集合`Completions`に適合することを表すコンセプトである。
+`receiver_of`は、[Receiver型](receiver.md)`Rcvr`が[完了シグネチャ集合](completion_signatures.md)`Completions`に適合することを表すコンセプトである。
 
 
 ## 要件
@@ -35,7 +35,7 @@ concept has-completions =
   };
 ```
 * callable[link /reference/functional/callable.md.nolink]
-* completion_signatures[link completion_signatures.md.nolink]
+* completion_signatures[link completion_signatures.md]
 
 `receiver_of`コンセプトは、以下のように定義される。
 
@@ -70,7 +70,7 @@ int main()
 }
 ```
 * ex::receiver_of[color ff0000]
-* ex::completion_signatures[link completion_signatures.md.nolink]
+* ex::completion_signatures[link completion_signatures.md]
 
 ### 出力
 ```

reference/execution/execution/sender_in.md

@@ -29,7 +29,7 @@ namespace std::execution {
 ## モデル
 説明用に`sndr`を`decltype((sndr))`が`Sndr`型となる式、`rcvr`を環境`Env`に関連付けられた[Receiver](receiver.md)とする。
 
-また、ある完了操作の完了シグネチャが[`completion_signatures_of_t`](completion_signatures_of_t.md.nolink)`<Sndr, Env>`で取得される[`completion_signatures`](completion_signatures.md.nolink)リストに含まれるとき、`Sndr`と`Env`における許容可能完了(permissible completion)となる。
+また、ある完了操作の完了シグネチャが[`completion_signatures_of_t`](completion_signatures_of_t.md)`<Sndr, Env>`で取得される[`completion_signatures`](completion_signatures.md)リストに含まれるとき、`Sndr`と`Env`における許容可能完了(permissible completion)となる。
 
 `sndr`と`rcvr`の接続後に[Operation State](operation_state.md.nolink)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in<Sndr, Env>`のモデルとなる。
 

reference/execution/execution/sender_to.md

@@ -18,7 +18,7 @@ namespace std::execution {
 * sender_in[link sender_in.md]
 * env_of_t[link env_of_t.md.nolink]
 * receiver_of[link receiver_of.md]
-* completion_signatures_of_t[link completion_signatures_of_t.md.nolink]
+* completion_signatures_of_t[link completion_signatures_of_t.md]
 * connect[link connect.md.nolink]
 
 ## 概要