Skip to content

Commit 6fd431a

Browse files
just-maxjust-max
committed
deploy: 71cff21 
1 parent 586468b commit 6fd431a

File tree

44 files changed

+238
-12
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+238
-12
lines changed

‎test-runner/less-power/Ast_check/Feature/index.html

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Feature (less-power.Ast_check.Feature)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">less-power</a> &#x00BB; <a href="../index.html">Ast_check</a> &#x00BB; Feature</nav><header class="odoc-preamble"><h1>Module <code><span>Ast_check.Feature</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span></code><ol><li id="type-t.Array" class="def variant constructor anchored"><a href="#type-t.Array" class="anchor"></a><code><span>| </span><span><span class="constructor">Array</span></span></code></li><li id="type-t.Mutable_member" class="def variant constructor anchored"><a href="#type-t.Mutable_member" class="anchor"></a><code><span>| </span><span><span class="constructor">Mutable_member</span></span></code></li><li id="type-t.Object" class="def variant constructor anchored"><a href="#type-t.Object" class="anchor"></a><code><span>| </span><span><span class="constructor">Object</span></span></code></li><li id="type-t.Loop" class="def variant constructor anchored"><a href="#type-t.Loop" class="anchor"></a><code><span>| </span><span><span class="constructor">Loop</span></span></code></li><li id="type-t.Primitive" class="def variant constructor anchored"><a href="#type-t.Primitive" class="anchor"></a><code><span>| </span><span><span class="constructor">Primitive</span></span></code></li><li id="type-t.Internal_name" class="def variant constructor anchored"><a href="#type-t.Internal_name" class="anchor"></a><code><span>| </span><span><span class="constructor">Internal_name</span></span></code></li><li id="type-t.Tail_mod_cons" class="def variant constructor anchored"><a href="#type-t.Tail_mod_cons" class="anchor"></a><code><span>| </span><span><span class="constructor">Tail_mod_cons</span></span></code></li><li id="type-t.Other" class="def variant constructor anchored"><a href="#type-t.Other" class="anchor"></a><code><span>| </span><span><span class="constructor">Other</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Set"><a href="#module-Set" class="anchor"></a><code><span><span class="keyword">module</span> Set</span><span> : <span class="xref-unresolved">Stdlib</span>.Set.S <span class="keyword">with</span> <span><span class="keyword">type</span> <span class="xref-unresolved">elt</span> = <span class="xref-unresolved">t</span></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-minimum"><a href="#val-minimum" class="anchor"></a><code><span><span class="keyword">val</span> minimum : <span class="xref-unresolved">Set</span>.t</span></code></div><div class="spec-doc"><p><a href="#type-t.Primitive"><code>Primitive</code></a> and <a href="#type-t.Internal_name"><code>Internal_name</code></a>, required to prevent circumventing restrictions.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default"><a href="#val-default" class="anchor"></a><code><span><span class="keyword">val</span> default : <span class="xref-unresolved">Set</span>.t</span></code></div><div class="spec-doc"><p>Everything but <a href="#type-t.Tail_mod_cons"><code>Tail_mod_cons</code></a>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-all"><a href="#val-all" class="anchor"></a><code><span><span class="keyword">val</span> all : <span class="xref-unresolved">Set</span>.t</span></code></div><div class="spec-doc"><p>Everything.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_message"><a href="#val-to_message" class="anchor"></a><code><span><span class="keyword">val</span> to_message : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><p>Provide a message explaining why a feature is prohibited.</p></div></div></div></body></html>

‎test-runner/less-power/Common/Ctx_util/index.html

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ctx_util (less-power.Common.Ctx_util)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">less-power</a> &#x00BB; <a href="../index.html">Common</a> &#x00BB; Ctx_util</nav><header class="odoc-preamble"><h1>Module <code><span>Common.Ctx_util</span></code></h1><p>Context managers, loosely inspired by Python</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>('a, 'b, 'c) t</span></span><span> =
3+
<span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'b</span>, exn)</span> <span class="xref-unresolved">Stdlib</span>.result</span>)</span> <span class="arrow">&#45;&gt;</span></span>
4+
<span><span>(<span class="type-var">'c</span>, exn)</span> <span class="xref-unresolved">Stdlib</span>.result</span></span></code></div><div class="spec-doc"><p>A context manager of type <code>('a, 'b, 'c) t</code> takes a continuation, and should feed the continuation a value of type <code>'a</code>. Once the continuation returns with either a <code>Ok of 'b</code> or an exception, the continuation should perform cleanup, and may suppress the exception by producing a suitable result (of type <code>'c</code>) instead. Typically, <code>'b = 'c</code>.</p><p>This representation has the advantage that some existing functions library already implement this type (e.g. <code>In_channel</code>.with_open_text).</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_context"><a href="#val-with_context" class="anchor"></a><code><span><span class="keyword">val</span> with_context : <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><span class="type-var">'d</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'e</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'f</span></span></code></div><div class="spec-doc"><p><code>with_context cm f</code> runs <code>f</code> in the context manager <code>cm</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-let&lt;"><a href="#val-let&lt;" class="anchor"></a><code><span><span class="keyword">val</span> let&lt; : <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>)</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'b</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span></span></code></div><div class="spec-doc"><p>Let-syntax for <a href="#val-with_context"><code>with_context</code></a></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-temp_file"><a href="#val-temp_file" class="anchor"></a><code><span><span class="keyword">val</span> temp_file : <span>?temp_dir:string <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> <span><span>(string, <span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>As per <code>Filename</code>.temp_file. Removes the temporary file upon completion.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-openfile"><a href="#val-openfile" class="anchor"></a><code><span><span class="keyword">val</span> openfile :
5+
<span>string <span class="arrow">&#45;&gt;</span></span>
6+
<span><span><span class="xref-unresolved">Unix</span>.open_flag list</span> <span class="arrow">&#45;&gt;</span></span>
7+
<span><span class="xref-unresolved">Unix</span>.file_perm <span class="arrow">&#45;&gt;</span></span>
8+
<span><span>(<span class="xref-unresolved">Unix</span>.file_descr, <span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>As per <code>Unix</code>.openfile. Closes the file descriptor upon completion.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set_signal"><a href="#val-set_signal" class="anchor"></a><code><span><span class="keyword">val</span> set_signal : <span>int <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Sys.signal_behavior <span class="arrow">&#45;&gt;</span></span> <span><span>(unit, <span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>As per <code>Sys</code>.set_signal. Restores the previous signal behavior on completion.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sigprocmask"><a href="#val-sigprocmask" class="anchor"></a><code><span><span class="keyword">val</span> sigprocmask : <span><span class="xref-unresolved">Unix</span>.sigprocmask_command <span class="arrow">&#45;&gt;</span></span> <span><span>int list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(unit, <span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>As per <code>Unix</code>.sigprocmask. Restores the previous mask on completion.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-timeout_unix"><a href="#val-timeout_unix" class="anchor"></a><code><span><span class="keyword">val</span> timeout_unix :
9+
<span>?timer:<span class="xref-unresolved">Unix</span>.interval_timer <span class="arrow">&#45;&gt;</span></span>
10+
<span><span class="xref-unresolved">Mtime</span>.span <span class="arrow">&#45;&gt;</span></span>
11+
<span><span>(unit, <span class="type-var">'a</span>, <span><span class="type-var">'b</span> option</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-timed"><a href="#val-timed" class="anchor"></a><code><span><span class="keyword">val</span> timed : <span><span>(unit, <span class="type-var">'a</span>, <span class="type-var">'b</span> * <span class="xref-unresolved">Mtime</span>.span)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-capture_exceptions"><a href="#val-capture_exceptions" class="anchor"></a><code><span><span class="keyword">val</span> capture_exceptions :
12+
<span>?filter:<span>(<span>exn <span class="arrow">&#45;&gt;</span></span> bool)</span> <span class="arrow">&#45;&gt;</span></span>
13+
<span>unit <span class="arrow">&#45;&gt;</span></span>
14+
<span><span>(unit, <span class="type-var">'a</span>, <span><span>(<span class="type-var">'b</span>, exn)</span> <span class="xref-unresolved">Stdlib</span>.result</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty_context"><a href="#val-empty_context" class="anchor"></a><code><span><span class="keyword">val</span> empty_context : <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'c</span>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'d</span>, <span class="type-var">'e</span>, <span class="type-var">'f</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty_context'"><a href="#val-empty_context'" class="anchor"></a><code><span><span class="keyword">val</span> empty_context' : <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-optional_context"><a href="#val-optional_context" class="anchor"></a><code><span><span class="keyword">val</span> optional_context :
15+
<span>some:<span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="#type-t">t</a></span>)</span> <span class="arrow">&#45;&gt;</span></span>
16+
<span><span class="type-var">'e</span> <span class="arrow">&#45;&gt;</span></span>
17+
<span><span>(<span><span class="type-var">'c</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'d</span>)</span> <span class="arrow">&#45;&gt;</span></span>
18+
<span><span><span class="type-var">'f</span> option</span> <span class="arrow">&#45;&gt;</span></span>
19+
<span><span>(<span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-optional_timeout_unix"><a href="#val-optional_timeout_unix" class="anchor"></a><code><span><span class="keyword">val</span> optional_timeout_unix : <span>?timeout:<span class="xref-unresolved">Mtime</span>.span <span class="arrow">&#45;&gt;</span></span> <span><span>(unit, <span class="type-var">'a</span>, <span><span class="type-var">'b</span> option</span>)</span> <a href="#type-t">t</a></span></span></code></div></div></div></body></html>

0 commit comments

Comments
 (0)