deploy: 8567b96

asai/Asai/Logger/Make/index.html

@@ -6,14 +6,14 @@
   <span>?additional_messages:<span><a href="../../Diagnostic/index.html#type-message">Diagnostic.message</a> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="argument-1-Code/index.html#type-t">Code.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
-  unit</span></code></div><div class="spec-doc"><p><code>emit code str</code> emits a string and continue the computation.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emit `TypeError &quot;This type is extremely unnatural:\nNat&quot;</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emitf"><a href="#val-emitf" class="anchor"></a><code><span><span class="keyword">val</span> emitf : 
+  unit</span></code></div><div class="spec-doc"><p><code>emit code str</code> emits a string and continues the computation.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emit `TypeError &quot;This type is extremely unnatural:\nNat&quot;</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emitf"><a href="#val-emitf" class="anchor"></a><code><span><span class="keyword">val</span> emitf : 
   <span>?severity:<a href="../../Diagnostic/index.html#type-severity">Diagnostic.severity</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?loc:<a href="../../Span/index.html#type-t">Span.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?backtrace:<a href="../../Diagnostic/index.html#type-backtrace">Diagnostic.backtrace</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?additional_messages:<span><a href="../../Diagnostic/index.html#type-message">Diagnostic.message</a> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="argument-1-Code/index.html#type-t">Code.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span><span><span>(<span class="type-var">'a</span>, <span class="xref-unresolved">Stdlib</span>.Format.formatter, unit, unit)</span> <span class="xref-unresolved">Stdlib</span>.format4</span> <span class="arrow">&#45;&gt;</span></span>
-  <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>emitf code format ...</code> formats and emits a message, and then continue the computation. Note that there should not be any literal control characters. See <a href="../../Diagnostic/index.html#type-text"><code>Diagnostic.text</code></a>.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emitf `TypeError &quot;Type %a is too ugly&quot; Syntax.pp tp</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emit_diagnostic"><a href="#val-emit_diagnostic" class="anchor"></a><code><span><span class="keyword">val</span> emit_diagnostic : <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Emit a diagnostic and continue the computation.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fatal"><a href="#val-fatal" class="anchor"></a><code><span><span class="keyword">val</span> fatal : 
+  <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>emitf code format ...</code> formats and emits a message, and then continues the computation. Note that there should not be any literal control characters. See <a href="../../Diagnostic/index.html#type-text"><code>Diagnostic.text</code></a>.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emitf `TypeError &quot;Type %a is too ugly&quot; Syntax.pp tp</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emit_diagnostic"><a href="#val-emit_diagnostic" class="anchor"></a><code><span><span class="keyword">val</span> emit_diagnostic : <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Emit a diagnostic and continue the computation.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fatal"><a href="#val-fatal" class="anchor"></a><code><span><span class="keyword">val</span> fatal : 
   <span>?severity:<a href="../../Diagnostic/index.html#type-severity">Diagnostic.severity</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?loc:<a href="../../Span/index.html#type-t">Span.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?backtrace:<a href="../../Diagnostic/index.html#type-backtrace">Diagnostic.backtrace</a> <span class="arrow">&#45;&gt;</span></span>

asai/Asai/Logger/module-type-S/index.html

@@ -6,14 +6,14 @@
   <span>?additional_messages:<span><a href="../../Diagnostic/index.html#type-message">Diagnostic.message</a> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="Code/index.html#type-t">Code.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
-  unit</span></code></div><div class="spec-doc"><p><code>emit code str</code> emits a string and continue the computation.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emit `TypeError &quot;This type is extremely unnatural:\nNat&quot;</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emitf"><a href="#val-emitf" class="anchor"></a><code><span><span class="keyword">val</span> emitf : 
+  unit</span></code></div><div class="spec-doc"><p><code>emit code str</code> emits a string and continues the computation.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emit `TypeError &quot;This type is extremely unnatural:\nNat&quot;</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emitf"><a href="#val-emitf" class="anchor"></a><code><span><span class="keyword">val</span> emitf : 
   <span>?severity:<a href="../../Diagnostic/index.html#type-severity">Diagnostic.severity</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?loc:<a href="../../Span/index.html#type-t">Span.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?backtrace:<a href="../../Diagnostic/index.html#type-backtrace">Diagnostic.backtrace</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?additional_messages:<span><a href="../../Diagnostic/index.html#type-message">Diagnostic.message</a> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="Code/index.html#type-t">Code.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span><span><span>(<span class="type-var">'a</span>, <span class="xref-unresolved">Stdlib</span>.Format.formatter, unit, unit)</span> <span class="xref-unresolved">Stdlib</span>.format4</span> <span class="arrow">&#45;&gt;</span></span>
-  <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>emitf code format ...</code> formats and emits a message, and then continue the computation. Note that there should not be any literal control characters. See <a href="../../Diagnostic/index.html#type-text"><code>Diagnostic.text</code></a>.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emitf `TypeError &quot;Type %a is too ugly&quot; Syntax.pp tp</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emit_diagnostic"><a href="#val-emit_diagnostic" class="anchor"></a><code><span><span class="keyword">val</span> emit_diagnostic : <span><span><a href="Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Emit a diagnostic and continue the computation.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fatal"><a href="#val-fatal" class="anchor"></a><code><span><span class="keyword">val</span> fatal : 
+  <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>emitf code format ...</code> formats and emits a message, and then continues the computation. Note that there should not be any literal control characters. See <a href="../../Diagnostic/index.html#type-text"><code>Diagnostic.text</code></a>.</p><p>Example:</p><pre class="language-ocaml"><code>Logger.emitf `TypeError &quot;Type %a is too ugly&quot; Syntax.pp tp</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">severity</span> <p>The severity (to overwrite the default severity inferred from the message <code>code</code>).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">loc</span> <p>The location of the text (usually the code) to highlight.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">backtrace</span> <p>The backtrace (to overwrite the accumulative frames up to this point).</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">additional_messages</span> <p>Additional messages that part of the backtrace. For example, they can be bindings shadowed by the current one.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-emit_diagnostic"><a href="#val-emit_diagnostic" class="anchor"></a><code><span><span class="keyword">val</span> emit_diagnostic : <span><span><a href="Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>Emit a diagnostic and continue the computation.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fatal"><a href="#val-fatal" class="anchor"></a><code><span><span class="keyword">val</span> fatal : 
   <span>?severity:<a href="../../Diagnostic/index.html#type-severity">Diagnostic.severity</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?loc:<a href="../../Span/index.html#type-t">Span.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?backtrace:<a href="../../Diagnostic/index.html#type-backtrace">Diagnostic.backtrace</a> <span class="arrow">&#45;&gt;</span></span>