This commit is contained in:
c-cube 2024-02-09 15:09:30 +00:00
parent 86fd296455
commit 186b9e3c3d
3 changed files with 3 additions and 3 deletions

View file

@ -4,4 +4,4 @@
<span><span class="label">len</span>:<span>(<span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span> int)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">len</span>:<span>(<span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span> int)</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">aggregate_results</span>:<span>(<span><span>(<span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'res</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">aggregate_results</span>:<span>(<span><span>(<span><span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'res</span>)</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'cont</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="type-var">'res</span> <a href="../index.html#type-t">t</a></span></span></code></div><div class="spec-doc"><p><code>barrier_on_abstract_container_of_futures ~iter ~aggregate_results ~len cont</code> takes a container of futures (<code>cont</code>), with <code>len</code> elements, and returns a future result of type <code>res</code> (possibly another type of container).</p><p>This waits for all futures in <code>cont: 'cont</code> to be done (futures obtained via <code>iter &lt;some function&gt; cont</code>). If they all succeed, their results are aggregated into a new result of type <code>'res</code> via <code>aggregate_results &lt;some function&gt; cont</code>.</p><p><b>NOTE</b>: the behavior is not specified if <code>iter f cont</code> (for a function f) doesn't call <code>f</code> on exactly <code>len cont</code> elements.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> NEXT_RELEASE</li></ul></div></div></div></body></html> <span><span class="type-var">'res</span> <a href="../index.html#type-t">t</a></span></span></code></div><div class="spec-doc"><p><code>barrier_on_abstract_container_of_futures ~iter ~aggregate_results ~len cont</code> takes a container of futures (<code>cont</code>), with <code>len</code> elements, and returns a future result of type <code>res</code> (possibly another type of container).</p><p>This waits for all futures in <code>cont: 'cont</code> to be done (futures obtained via <code>iter &lt;some function&gt; cont</code>). If they all succeed, their results are aggregated into a new result of type <code>'res</code> via <code>aggregate_results &lt;some function&gt; cont</code>.</p><p><b>NOTE</b>: the behavior is not specified if <code>iter f cont</code> (for a function f) doesn't call <code>f</code> on exactly <code>len cont</code> elements.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.5.1</li></ul></div></div></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long