update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/basic-operation.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-04T15:45:38">
-        2025年05月04日 15時45分38秒
+      <span itemprop="datePublished" content="2025-05-05T13:12:49">
+        2025年05月05日 13時12分49秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -304,13 +304,13 @@ <h2>説明専用エンティティ</h2>
 </p>
 <p>説明専用の定数<code>connect-all</code>は、下記ラムダ式と等価な関数呼び出し可能なオブジェクトとして初期化される。</p>
 <ul>
-<li>全ての子Sender<code>child</code>とSenderアルゴリズム<code>sndr</code>の<span href="https://cpprefjp.github.io/reference/execution/execution/basic-receiver.md.nolink">Receiver</span>を<a href="connect.html">接続(connect)</a>し、結果の<a href="operation_state.html">Operation State</a>リストを<code><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></code>型にまとめて返す。</li>
+<li>全ての子Sender<code>child</code>とSenderアルゴリズム<code>sndr</code>の<span href="https://cpprefjp.github.io/reference/execution/execution/basic-receiver.md.nolink">Receiver</span>を<a href="connect.html">接続(connect)</a>し、結果の<a href="operation_state.html">Operation State</a>リストを<code><a href="product-type.html">product-type</a></code>型にまとめて返す。</li>
 </ul>
 <p><div class="codehilite"><pre><span></span><code><span class="p">[]</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Rcvr</span><span class="p">,</span> <span class="kt">size_t</span><span class="p">...</span> <span class="n">Is</span><span class="o">&gt;</span><span class="p">(</span>
   <span class="n">basic</span><span class="o">-</span><span class="n">state</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;*</span> <span class="n">op</span><span class="p">,</span> <span class="n">Sndr</span><span class="o">&amp;&amp;</span> <span class="n">sndr</span><span class="p">,</span> <span class="n"><a href="../../utility/index_sequence.html">index_sequence</a></span><span class="o">&lt;</span><span class="n">Is</span><span class="p">...</span><span class="o">&gt;</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">(</span><span class="n"><i>see below</i></span><span class="p">)</span>
     <span class="o">-&gt;</span> <span class="n"><a href="../../../lang/cpp14/decltype_auto.html">decltype(auto)</a></span> <span class="p">{</span>
     <span class="k">auto</span><span class="o">&amp;</span> <span class="p">[</span><span class="n">_</span><span class="p">,</span> <span class="n">data</span><span class="p">,</span> <span class="p">...</span><span class="n">child</span><span class="p">]</span> <span class="o">=</span> <span class="n">sndr</span><span class="p">;</span>
-    <span class="k">return</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></span><span class="p">{</span><span class="n"><a href="connect.html">connect</a></span><span class="p">(</span>
+    <span class="k">return</span> <span class="n"><a href="product-type.html">product-type</a></span><span class="p">{</span><span class="n"><a href="connect.html">connect</a></span><span class="p">(</span>
       <span class="n"><a href="../../utility/forward_like.html">std::forward_like</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">child</span><span class="p">),</span>
       <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/basic-receiver.md.nolink">basic-receiver</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="p">,</span> <span class="n"><a href="../../type_traits/integral_constant.html">integral_constant</a></span><span class="o">&lt;</span><span class="kt">size_t</span><span class="p">,</span> <span class="n">Is</span><span class="o">&gt;&gt;</span><span class="p">{</span><span class="n">op</span><span class="p">})...};</span>
   <span class="p">}</span>

reference/execution/execution/basic-sender.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-05T01:13:51">
-        2025年05月05日 01時13分51秒
+      <span itemprop="datePublished" content="2025-05-05T13:12:49">
+        2025年05月05日 13時12分49秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -227,7 +227,7 @@
   <div class="identifier-type">class template</div><div class="header">&lt;execution&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std::execution">std::execution::</span><span class="token">basic-sender</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
 <div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span> <span class="p">{</span>
   <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Tag</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Data</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Child</span><span class="o">&gt;</span>
-  <span class="k">struct</span> <span class="n">basic</span><span class="o">-</span><span class="nl">sender</span> <span class="p">:</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></span><span class="o">&lt;</span><span class="n">Tag</span><span class="p">,</span> <span class="n">Data</span><span class="p">,</span> <span class="n">Child</span><span class="p">...</span><span class="o">&gt;</span> <span class="p">{</span>  <span class="c1">// exposition only</span>
+  <span class="k">struct</span> <span class="n">basic</span><span class="o">-</span><span class="nl">sender</span> <span class="p">:</span> <span class="n"><a href="product-type.html">product-type</a></span><span class="o">&lt;</span><span class="n">Tag</span><span class="p">,</span> <span class="n">Data</span><span class="p">,</span> <span class="n">Child</span><span class="p">...</span><span class="o">&gt;</span> <span class="p">{</span>  <span class="c1">// exposition only</span>
     <span class="k">using</span> <span class="n">sender_concept</span> <span class="o">=</span> <span class="n"><a href="sender.html">sender_t</a></span><span class="p">;</span>
     <span class="k">using</span> <span class="n">indices</span><span class="o">-</span><span class="k">for</span> <span class="o">=</span> <span class="n"><a href="../../utility/index_sequence_for.html">index_sequence_for</a></span><span class="o">&lt;</span><span class="n">Child</span><span class="p">...</span><span class="o">&gt;</span><span class="p">;</span>        <span class="c1">// exposition only</span>
 
@@ -256,7 +256,7 @@ <h2>概要</h2>
 <p><code>basic-sender&lt;Tag, Data, Child...&gt;</code>は<code><a href="sender.html">sender</a></code>のモデルであり、<a href="make-sender.html">Senderアルゴリズム構築</a>の結果型として利用される。</p>
 <ul>
 <li><code>Tag</code> : <a href="tag_of_t.html">Senderアルゴリズムタグ</a>（例：<code><a href="just.html">just</a></code>, <code><span href="https://cpprefjp.github.io/reference/execution/execution/then.md.nolink">then</span></code>）</li>
-<li><code>Data</code> : Senderアルゴリズムに指定された追加の引数。複数個の引数は<code><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></code>型を用いて単一値として保持する。</li>
+<li><code>Data</code> : Senderアルゴリズムに指定された追加の引数。複数個の引数は<code><a href="product-type.html">product-type</a></code>型を用いて単一値として保持する。</li>
 <li><code>Child</code> : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。</li>
 </ul>
 <h2>クラス仕様</h2>

reference/execution/execution/just.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-05T01:13:51">
-        2025年05月05日 01時13分51秒
+      <span itemprop="datePublished" content="2025-05-05T13:12:49">
+        2025年05月05日 13時12分49秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -236,7 +236,7 @@ <h2>概要</h2>
 <h2>効果</h2>
 <ul>
 <li>呼び出し式<code>just(ts...)</code>は、<code>(<a href="../movable-value.html">movable-value</a>&lt;Ts&gt; &amp;&amp;...) == false</code>のとき<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</li>
-<li>そうでなければ、式<code><a href="make-sender.html">make-sender</a>(just, <span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span>{ts...})</code>と等価。</li>
+<li>そうでなければ、式<code><a href="make-sender.html">make-sender</a>(just, <a href="product-type.html">product-type</a>{ts...})</code>と等価。</li>
 </ul>
 <h3>Senderアルゴリズムタグ <code>just</code></h3>
 <p>Senderアルゴリズム動作説明用のクラステンプレート<code>impls-for</code>に対して、下記の特殊化が定義される。</p>

reference/execution/execution/make-sender.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-05T01:13:51">
-        2025年05月05日 01時13分51秒
+      <span itemprop="datePublished" content="2025-05-05T13:12:49">
+        2025年05月05日 13時12分49秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -234,7 +234,7 @@ <h2>概要</h2>
 <p><code><a href="sender.html">sender</a></code>のモデルである説明専用クラステンプレート<code><a href="basic-sender.html">basic-sender</a></code>のインスタンスを生成する。</p>
 <ul>
 <li><code>Tag</code> : <a href="tag_of_t.html">Senderアルゴリズムタグ</a>（例：<code><a href="just.html">just</a></code>, <code><span href="https://cpprefjp.github.io/reference/execution/execution/then.md.nolink">then</span></code>）</li>
-<li><code>Data</code> : Senderアルゴリズムに指定された追加の引数。複数個の引数は<code><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></code>型を用いて単一値として保持する。</li>
+<li><code>Data</code> : Senderアルゴリズムに指定された追加の引数。複数個の引数は<code><a href="product-type.html">product-type</a></code>型を用いて単一値として保持する。</li>
 <li><code>Child</code> : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。</li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>