Skip to content

Commit

Permalink
deploy: 64c4592
Browse files Browse the repository at this point in the history
  • Loading branch information
@favonia
favonia committed Oct 9, 2023
1 parent 3fb0180 commit e622932
Show file tree
Hide file tree
Showing 10 changed files with 12 additions and 12 deletions.
2 changes: 1 addition & 1 deletion asai/Asai/Diagnostic/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion asai/Asai/Explication/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Explication (asai.Asai.Explication)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.0"/><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">asai</a> &#x00BB; <a href="../index.html">Asai</a> &#x00BB; Explication</nav><header class="odoc-preamble"><h1>Module <code><span>Asai.Explication</span></code></h1><p>The definition of highlighted text suitable for rendering. You probably do not need this module unless you want to create your own backend.</p></header><nav class="odoc-toc"><ul><li><a href="#types">Types</a></li><li><a href="#helper-functions">Helper Functions</a></li><li><a href="#debugging">Debugging</a></li></ul></nav><div class="odoc-content"><h2 id="types"><a href="#types" class="anchor"></a>Types</h2><div class="odoc-spec"><div class="spec type anchored" id="type-styled"><a href="#type-styled" class="anchor"></a><code><span><span class="keyword">type</span> <span>('a, 'style) styled</span></span><span> = </span><span>{</span></code><ol><li id="type-styled.style" class="def record field anchored"><a href="#type-styled.style" class="anchor"></a><code><span>style : <span class="type-var">'style</span>;</span></code></li><li id="type-styled.value" class="def record field anchored"><a href="#type-styled.value" class="anchor"></a><code><span>value : <span class="type-var">'a</span>;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A styled value is a value with a style.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-segment"><a href="#type-segment" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style segment</span></span><span> = <span><span>(string, <span class="type-var">'style</span>)</span> <a href="#type-styled">styled</a></span></span></code></div><div class="spec-doc"><p>A segment is a styled string from the user content.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-line"><a href="#type-line" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style line</span></span><span> = <span><span><span class="type-var">'style</span> <a href="#type-segment">segment</a></span> list</span></span></code></div><div class="spec-doc"><p>A line is a list of <a href="#type-segment"><code>segment</code></a>s.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-block"><a href="#type-block" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style block</span></span><span> = </span><span>{</span></code><ol><li id="type-block.start_line_num" class="def record field anchored"><a href="#type-block.start_line_num" class="anchor"></a><code><span>start_line_num : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The starting 1-indexed line number of a block.</p><span class="comment-delim">*)</span></div></li><li id="type-block.lines" class="def record field anchored"><a href="#type-block.lines" class="anchor"></a><code><span>lines : <span><span><span class="type-var">'style</span> <a href="#type-line">line</a></span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The <a href="#type-line"><code>line</code></a>s within a block.</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A block is a collection of consecutive lines.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-part"><a href="#type-part" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style part</span></span><span> = </span><span>{</span></code><ol><li id="type-part.source" class="def record field anchored"><a href="#type-part.source" class="anchor"></a><code><span>source : <a href="../Span/index.html#type-source">Span.source</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The source of a part.</p><span class="comment-delim">*)</span></div></li><li id="type-part.blocks" class="def record field anchored"><a href="#type-part.blocks" class="anchor"></a><code><span>blocks : <span><span><span class="type-var">'style</span> <a href="#type-block">block</a></span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The blocks within a part.</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A part consists of multiple blocks from the same file. These blocks should be non-overlapping and sorted by importance or the textual order.</p></div></div><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>'style t</span></span><span> = <span><span><span class="type-var">'style</span> <a href="#type-part">part</a></span> list</span></span></code></div><div class="spec-doc"><p>Highlighted texts instead of spans.</p></div></div><h2 id="helper-functions"><a href="#helper-functions" class="anchor"></a>Helper Functions</h2><div class="odoc-spec"><div class="spec value anchored" id="val-style"><a href="#val-style" class="anchor"></a><code><span><span class="keyword">val</span> style : <span><span class="type-var">'style</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'value</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'value</span>, <span class="type-var">'style</span>)</span> <a href="#type-styled">styled</a></span></span></code></div></div><h2 id="debugging"><a href="#debugging" class="anchor"></a>Debugging</h2><div class="odoc-spec"><div class="spec value anchored" id="val-dump"><a href="#val-dump" class="anchor"></a><code><span><span class="keyword">val</span> dump :
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Explication (asai.Asai.Explication)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.0"/><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">asai</a> &#x00BB; <a href="../index.html">Asai</a> &#x00BB; Explication</nav><header class="odoc-preamble"><h1>Module <code><span>Asai.Explication</span></code></h1><p>The definition of highlighted text suitable for rendering. You probably do not need this module unless you want to create your own diagnostic handler.</p></header><nav class="odoc-toc"><ul><li><a href="#types">Types</a></li><li><a href="#helper-functions">Helper Functions</a></li><li><a href="#debugging">Debugging</a></li></ul></nav><div class="odoc-content"><h2 id="types"><a href="#types" class="anchor"></a>Types</h2><div class="odoc-spec"><div class="spec type anchored" id="type-styled"><a href="#type-styled" class="anchor"></a><code><span><span class="keyword">type</span> <span>('a, 'style) styled</span></span><span> = </span><span>{</span></code><ol><li id="type-styled.style" class="def record field anchored"><a href="#type-styled.style" class="anchor"></a><code><span>style : <span class="type-var">'style</span>;</span></code></li><li id="type-styled.value" class="def record field anchored"><a href="#type-styled.value" class="anchor"></a><code><span>value : <span class="type-var">'a</span>;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A styled value is a value with a style.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-segment"><a href="#type-segment" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style segment</span></span><span> = <span><span>(string, <span class="type-var">'style</span>)</span> <a href="#type-styled">styled</a></span></span></code></div><div class="spec-doc"><p>A segment is a styled string from the user content.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-line"><a href="#type-line" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style line</span></span><span> = <span><span><span class="type-var">'style</span> <a href="#type-segment">segment</a></span> list</span></span></code></div><div class="spec-doc"><p>A line is a list of <a href="#type-segment"><code>segment</code></a>s.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-block"><a href="#type-block" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style block</span></span><span> = </span><span>{</span></code><ol><li id="type-block.start_line_num" class="def record field anchored"><a href="#type-block.start_line_num" class="anchor"></a><code><span>start_line_num : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The starting 1-indexed line number of a block.</p><span class="comment-delim">*)</span></div></li><li id="type-block.lines" class="def record field anchored"><a href="#type-block.lines" class="anchor"></a><code><span>lines : <span><span><span class="type-var">'style</span> <a href="#type-line">line</a></span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The <a href="#type-line"><code>line</code></a>s within a block.</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A block is a collection of consecutive lines.</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-part"><a href="#type-part" class="anchor"></a><code><span><span class="keyword">type</span> <span>'style part</span></span><span> = </span><span>{</span></code><ol><li id="type-part.source" class="def record field anchored"><a href="#type-part.source" class="anchor"></a><code><span>source : <a href="../Span/index.html#type-source">Span.source</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The source of a part.</p><span class="comment-delim">*)</span></div></li><li id="type-part.blocks" class="def record field anchored"><a href="#type-part.blocks" class="anchor"></a><code><span>blocks : <span><span><span class="type-var">'style</span> <a href="#type-block">block</a></span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The blocks within a part.</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>A part consists of multiple blocks from the same file. These blocks should be non-overlapping and sorted by importance or the textual order.</p></div></div><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>'style t</span></span><span> = <span><span><span class="type-var">'style</span> <a href="#type-part">part</a></span> list</span></span></code></div><div class="spec-doc"><p>Highlighted texts instead of spans.</p></div></div><h2 id="helper-functions"><a href="#helper-functions" class="anchor"></a>Helper Functions</h2><div class="odoc-spec"><div class="spec value anchored" id="val-style"><a href="#val-style" class="anchor"></a><code><span><span class="keyword">val</span> style : <span><span class="type-var">'style</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'value</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span class="type-var">'value</span>, <span class="type-var">'style</span>)</span> <a href="#type-styled">styled</a></span></span></code></div></div><h2 id="debugging"><a href="#debugging" class="anchor"></a>Debugging</h2><div class="odoc-spec"><div class="spec value anchored" id="val-dump"><a href="#val-dump" class="anchor"></a><code><span><span class="keyword">val</span> dump :
<span><span>(<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'style</span> <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
<span><span><span class="type-var">'style</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span>
Expand Down
2 changes: 1 addition & 1 deletion asai/Asai/Explicator/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Explicator (asai.Asai.Explicator)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.0"/><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">asai</a> &#x00BB; <a href="../index.html">Asai</a> &#x00BB; Explicator</nav><header class="odoc-preamble"><h1>Module <code><span>Asai.Explicator</span></code></h1><p>Turning location information into highlighted text suitable for rendering. You probably do not need this module unless you want to create your own backend.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-Style"><a href="#module-type-Style" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-Style/index.html">Style</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>The signature of highlighting styles</p></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>The signature of explicators.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-Style/index.html">Style</a> : <a href="module-type-Style/index.html">Style</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="module-type-S/Style/index.html">Style</a> := <a href="Make/argument-1-Style/index.html">Style</a></span></span></code></div><div class="spec-doc"><p>Making an explicator.</p></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Explicator (asai.Asai.Explicator)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.0"/><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">asai</a> &#x00BB; <a href="../index.html">Asai</a> &#x00BB; Explicator</nav><header class="odoc-preamble"><h1>Module <code><span>Asai.Explicator</span></code></h1><p>Turning location information into highlighted text suitable for rendering. You probably do not need this module unless you want to create your own diagnostic handler.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-Style"><a href="#module-type-Style" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-Style/index.html">Style</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>The signature of highlighting styles</p></div></div><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>The signature of explicators.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-Style/index.html">Style</a> : <a href="module-type-Style/index.html">Style</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="module-type-S/Style/index.html">Style</a> := <a href="Make/argument-1-Style/index.html">Style</a></span></span></code></div><div class="spec-doc"><p>Making an explicator.</p></div></div></div></body></html>
Loading

0 comments on commit e622932

Please sign in to comment.