execution: scheduler (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -56,7 +56,7 @@ namespace std::execution {
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`execution::scheduler`](execution/scheduler.md.nolink) | Scheduler (concept) | C++26 |
+| [`execution::scheduler`](execution/scheduler.md) | Scheduler型 (concept) | C++26 |
 
 ### Receiver
 

reference/execution/execution/operation_state.md

@@ -27,7 +27,7 @@ namespace std::execution {
 下記をみたすクラス型はOperation Stateとみなせる。
 
 - `operation_state_t`をメンバ型`O::operation_state_concept`として定義するクラス型
-- `O`型の左辺値`o`に対して`execution::start(o)`が有効な式かつ例外送出されないこと
+- `O`型の左辺値`o`に対して[`execution::start`](start.md.nolink)`(o)`が有効な式かつ例外送出されないこと
 
 非同期操作の生存期間中に`operation_state`オブジェクトが破棄されると、未定義の動作を引き起こす。
 

reference/execution/execution/scheduler.md

@@ -0,0 +1,80 @@
+# scheduler
+* execution[meta header]
+* concept[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<class Sch>
+  concept scheduler =
+    derived_from<typename remove_cvref_t<Sch>::scheduler_concept, scheduler_t> &&
+    queryable<Sch> &&
+    requires(Sch&& sch) {
+      { schedule(std::forward<Sch>(sch)) } -> sender;
+      { auto(get_completion_scheduler<set_value_t>(
+          get_env(schedule(std::forward<Sch>(sch))))) }
+            -> same_as<remove_cvref_t<Sch>>;
+    } &&
+    equality_comparable<remove_cvref_t<Sch>> &&
+    copyable<remove_cvref_t<Sch>>;
+
+  struct scheduler_t {};  // タグ型
+}
+```
+* derived_from[link /reference/concepts/derived_from.md]
+* queryable[link queryable.md.nolink]
+* get_completion_scheduler[link get_completion_scheduler.md.nolink]
+* get_env[link get_env.md.nolink]
+* equality_comparable[link /reference/concepts/equality_comparable.md]
+* copyable[link /reference/concepts/copyable.md]
+
+## 概要
+`scheduler`は、型`Sch`がScheduler型の要件を満たすことを表すコンセプトである。
+
+下記をみたすクラス型はSchedulerとみなせる。
+
+- `scheduler_t`をメンバ型`Sch::scheduler_concept`として定義するクラス型
+- [問い合わせ可能](queryable.md.nolink)であること
+- `Sch`型の値`sch`に対して下記が有効な式であること
+    - [`execution::schedule`](schedule.md.nolink)`(sch)`が[Sender](sender.md)を返すこと
+    - [`execution::get_completion_scheduler`](get_completion_scheduler.md.nolink)`<set_value_t>(`[`execution::get_env`](get_env.md.nolink)`(`[`execution::schedule`](schedule.md.nolink)`(sch)))`の結果が`Sch`型に等しいこと
+
+
+## 例
+```cpp example
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  ex::run_loop loop;
+  ex::scheduler auto sch = loop.get_scheduler();
+}
+```
+* ex::scheduler[color ff0000]
+* ex::run_loop[link run_loop.md.nolink]
+* get_scheduler()[link run_loop/get_scheduler.md.nolink]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::schedule`](schedule.md.nolink)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)