execution: decays-to,decayed-tuple,variant-or-empty (#1384)

Author: yohhoy

reference/execution/decays-to.md

@@ -0,0 +1,25 @@
+# decays-to
+* execution[meta header]
+* concept[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<class From, class To>
+  concept decays-to = same_as<decay_t<From>, To>;  // exposition only
+}
+```
+* decay_t[link /reference/type_traits/decay.md]
+
+## 概要
+`decays-to`は、型`From`の[decay](/reference/type_traits/decay.md)結果が型`To`に一致することを表す説明専用のコンセプトである。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/basic-operation.md

@@ -40,6 +40,7 @@ namespace std::execution {
 * operation_state_t[link operation_state.md]
 * tag_of_t[link tag_of_t.md]
 * impls-for[link impls-for.md]
+* std::move[link /reference/utility/move.md]
 * see below[italic]
 
 ## 概要
@@ -71,6 +72,7 @@ nothrow-callable<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&> &&
 ```
 * impls-for[link impls-for.md]
 * tag_of_t[link tag_of_t.md]
+* nothrow-callable[link /reference/functional/nothrow-callable.md.nolink]
 * is_nothrow_move_constructible_v[link /reference/type_traits/is_nothrow_move_constructible.md]
 * is_nothrow_constructible_v[link /reference/type_traits/is_nothrow_constructible.md]
 

reference/execution/execution/basic-sender.md

@@ -34,8 +34,10 @@ namespace std::execution {
 * sender_t[link sender.md]
 * index_sequence_for[link /reference/utility/index_sequence_for.md]
 * impls-for[link impls-for.md]
+* decays-to[link ../decays-to.md]
 * receiver[link receiver.md]
 * basic-operation[link basic-operation.md]
+* std::move[link /reference/utility/move.md]
 * this Self[link /lang/cpp23/deducing_this.md.nolink]
 * see below[italic]
 
@@ -84,6 +86,7 @@ using completion-signatures-for = see below;  // exposition only
 
 ## 関連項目
 - [`make-sender`](make-sender.md)
+- [`basic-operation`](basic-operation.md)
 - [`execution::sender`](sender.md)
 
 

reference/execution/execution/decayed-tuple.md

@@ -0,0 +1,31 @@
+# decayed-tuple
+* execution[meta header]
+* std::execution[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<class... Ts>
+  using decayed-tuple = tuple<decay_t<Ts>...>;  // exposition only
+}
+```
+* tuple[link /reference/tuple/tuple.md]
+* decay_t[link /reference/type_traits/decay.md]
+
+## 概要
+`decayed-tuple`は、型パラメータパック`Ts`から[decay](/reference/type_traits/decay.md)結果を要素型とする[`tuple`](/reference/tuple/tuple.md)型を作成する説明専用のエイリアステンプレートである。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 関連項目
+- [`execution::value_types_of_t`](value_types_of_t.md)
+- [`this_thread::sync_wait`](../this_thread/sync_wait.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/error_types_of_t.md

@@ -15,7 +15,7 @@ namespace std::execution {
 ```
 * env<>[link env.md]
 * sender_in[link sender_in.md]
-* variant-or-empty[link variant-or-empty.md.nolink]
+* variant-or-empty[link variant-or-empty.md]
 * gather-signatures[link gather-signatures.md]
 * set_error_t[link set_error.md]
 * completion_signatures_of_t[link completion_signatures_of_t.md]

reference/execution/execution/impls-for.md

@@ -107,6 +107,8 @@ namespace std::execution {
   Tag()(std::move(rcvr), std::forward<Args>(args)...);
 }
 ```
+* callable[link /reference/functional/callable.md.nolink]
+* std::move[link /reference/utility/move.md]
 
 
 ## バージョン

reference/execution/execution/just.md

@@ -36,9 +36,11 @@ namespace std::execution {
   };
 }
 ```
+* decayed-typeof[link decayed-typeof.md.nolink]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_value[link set_value.md]
+* std::move[link /reference/utility/move.md]
 
 
 ## 例

reference/execution/execution/product-type.md

@@ -20,6 +20,7 @@ struct product-type {  // exposition only
     noexcept(see below);
 };
 ```
+* this Self[link /lang/cpp23/deducing_this.md.nolink]
 * see below[italic]
 
 ## 概要
@@ -33,18 +34,20 @@ struct product-type {  // exposition only
 template<size_t I, class Self>
 constexpr decltype(auto) get(this Self&& self) noexcept;
 ```
+* this Self[link /lang/cpp23/deducing_this.md.nolink]
 
 - 効果 : 下記と等価
 
-   ```cpp
-   auto& [...ts] = self;
-   return std::forward_like<Self>(ts...[I]);
-   ```
+    ```cpp
+    auto& [...ts] = self;
+    return std::forward_like<Self>(ts...[I]);
+    ```
 
 ```cpp
 template<class Self, class Fn>
 constexpr decltype(auto) apply(this Self&& self, Fn&& fn) noexcept(see below);
 ```
+* this Self[link /lang/cpp23/deducing_this.md.nolink]
 * see below[italic]
 
 - テンプレートパラメータ制約 : 下記`return`文の式が適格であること。

reference/execution/execution/prop.md

@@ -27,7 +27,7 @@ namespace std::execution {
 
 
 ## 適格要件
-説明用の`prop-like`テンプレートクラスを用いて、`QueryTag`と`ValueType`が`callable<QueryTag, prop-like<ValueType>>`のモデルであること。
+説明用の`prop-like`テンプレートクラスを用いて、`QueryTag`と`ValueType`が[`callable`](/reference/functional/callable.md.nolink)`<QueryTag, prop-like<ValueType>>`のモデルであること。
 
 ```cpp
 template<class ValueType>

reference/execution/execution/set_error.md

@@ -57,6 +57,7 @@ int main()
 ```
 * ex::set_error[color ff0000]
 * ex::receiver_t[link receiver.md]
+* std::move[link /reference/utility/move.md]
 
 ### 出力
 ```