deploy: eab730d

zarr-lwt/Zarr_lwt/Storage/HttpStore/index.html

@@ -7,4 +7,4 @@
   <span><span class="optlabel">?timeout</span>:int <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span>)</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span></span></code></div></div></div></body></html>
+  <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span></span></code></div><div class="spec-doc"><p><code>with_open url f</code> connects to the Zarr store described by the url <code>url</code> and applies function <code>f</code> to the store's open handle.</p><ul><li><code>redirects</code> is the maximum number of redirects allowed per http request. Defaults to 5.</li><li><code>tries</code> is the maximum number of times to retry a failed request. Defaults to 3.</li><li><code>timeout</code> is the timeout for the connect phase. It sets the maximum time in seconds that you allow the connection phase to take. This timeout only limits the connection phase, it has no impact once the client has connected. The connection phase includes the name resolve (DNS) and all protocol handshakes and negotiations until there is an established connection with the remote side.</li></ul></div></div></div></body></html>

zarr-sync/Zarr_sync/Storage/HttpStore/index.html

@@ -7,4 +7,4 @@
   <span><span class="optlabel">?timeout</span>:int <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span>)</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span></span></code></div></div></div></body></html>
+  <span><span class="type-var">'a</span> <a href="../Deferred/index.html#type-t">Deferred.t</a></span></span></code></div><div class="spec-doc"><p><code>with_open url f</code> connects to the Zarr store described by the url <code>url</code> and applies function <code>f</code> to the store's open handle.</p><ul><li><code>redirects</code> is the maximum number of redirects allowed per http request. Defaults to 5.</li><li><code>tries</code> is the maximum number of times to retry a failed request. Defaults to 3.</li><li><code>timeout</code> is the timeout for the connect phase. It sets the maximum time in seconds that you allow the connection phase to take. This timeout only limits the connection phase, it has no impact once the client has connected. The connection phase includes the name resolve (DNS) and all protocol handshakes and negotiations until there is an established connection with the remote side.</li></ul></div></div></div></body></html>

zarr/Zarr/Http/Make/index.html

@@ -5,4 +5,4 @@
   <span><span class="optlabel">?timeout</span>:int <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="argument-1-Deferred/index.html#type-t">Deferred.t</a></span>)</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="type-var">'a</span> <a href="argument-1-Deferred/index.html#type-t">Deferred.t</a></span></span></code></div></div></div></body></html>
+  <span><span class="type-var">'a</span> <a href="argument-1-Deferred/index.html#type-t">Deferred.t</a></span></span></code></div><div class="spec-doc"><p><code>with_open url f</code> connects to the Zarr store described by the url <code>url</code> and applies function <code>f</code> to the store's open handle.</p><ul><li><code>redirects</code> is the maximum number of redirects allowed per http request. Defaults to 5.</li><li><code>tries</code> is the maximum number of times to retry a failed request. Defaults to 3.</li><li><code>timeout</code> is the timeout for the connect phase. It sets the maximum time in seconds that you allow the connection phase to take. This timeout only limits the connection phase, it has no impact once the client has connected. The connection phase includes the name resolve (DNS) and all protocol handshakes and negotiations until there is an established connection with the remote side.</li></ul></div></div></div></body></html>

zarr/Zarr/Http/module-type-S/index.html

@@ -5,4 +5,4 @@
   <span><span class="optlabel">?timeout</span>:int <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="Deferred/index.html#type-t">Deferred.t</a></span>)</span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span class="type-var">'a</span> <a href="Deferred/index.html#type-t">Deferred.t</a></span></span></code></div></div></div></body></html>
+  <span><span class="type-var">'a</span> <a href="Deferred/index.html#type-t">Deferred.t</a></span></span></code></div><div class="spec-doc"><p><code>with_open url f</code> connects to the Zarr store described by the url <code>url</code> and applies function <code>f</code> to the store's open handle.</p><ul><li><code>redirects</code> is the maximum number of redirects allowed per http request. Defaults to 5.</li><li><code>tries</code> is the maximum number of times to retry a failed request. Defaults to 3.</li><li><code>timeout</code> is the timeout for the connect phase. It sets the maximum time in seconds that you allow the connection phase to take. This timeout only limits the connection phase, it has no impact once the client has connected. The connection phase includes the name resolve (DNS) and all protocol handshakes and negotiations until there is an established connection with the remote side.</li></ul></div></div></div></body></html>