-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 4dc5639
Showing
83 changed files
with
2,747 additions
and
0 deletions.
There are no files selected for viewing
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Operations (asai-examples.Syslib.Operations)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-examples</a> » <a href="../index.html">Syslib</a> » Operations</nav><header class="odoc-preamble"><h1>Module <code><span>Syslib.Operations</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-operation1"><a href="#val-operation1" class="anchor"></a><code><span><span class="keyword">val</span> operation1 : <span>string <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-operation2"><a href="#val-operation2" class="anchor"></a><code><span><span class="keyword">val</span> operation2 : <span>string <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-operation3"><a href="#val-operation3" class="anchor"></a><code><span><span class="keyword">val</span> operation3 : <span>string <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Message (asai-examples.Syslib.Reporter.Message)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-examples</a> » <a href="../../index.html">Syslib</a> » <a href="../index.html">Reporter</a> » Message</nav><header class="odoc-preamble"><h1>Module <code><span>Reporter.Message</span></code></h1><p>The module for messages.</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> t</span></code></div><div class="spec-doc"><p>The type of all messages from the library.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-short_code"><a href="#val-short_code" class="anchor"></a><code><span><span class="keyword">val</span> short_code : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> string</span></code></div><div class="spec-doc"><p>A concise, ideally Google-able string representation of each message from the library.</p></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,8 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Reporter (asai-examples.Syslib.Reporter)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-examples</a> » <a href="../index.html">Syslib</a> » Reporter</nav><header class="odoc-preamble"><h1>Module <code><span>Syslib.Reporter</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Message"><a href="#module-Message" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Message/index.html">Message</a></span><span> : <a href="../../../asai/Asai/MinimumSigs/module-type-Message/index.html">Asai.MinimumSigs.Message</a></span></code></div><div class="spec-doc"><p>The module for messages.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-run"><a href="#val-run" class="anchor"></a><code><span><span class="keyword">val</span> run : | ||
| <span><span class="optlabel">?init_loc</span>:<a href="../../../asai/Asai/Range/index.html#type-t">Asai.Range.t</a> <span class="arrow">-></span></span> | ||
| <span><span class="optlabel">?init_backtrace</span>:<a href="../../../asai/Asai/Diagnostic/index.html#type-backtrace">Asai.Diagnostic.backtrace</a> <span class="arrow">-></span></span> | ||
| <span><span class="label">emit</span>:<span>(<span><span><a href="Message/index.html#type-t">Message.t</a> <a href="../../../asai/Asai/Diagnostic/index.html#type-t">Asai.Diagnostic.t</a></span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> | ||
| <span><span class="label">fatal</span>:<span>(<span><span><a href="Message/index.html#type-t">Message.t</a> <a href="../../../asai/Asai/Diagnostic/index.html#type-t">Asai.Diagnostic.t</a></span> <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> | ||
| <span><span>(<span>unit <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> | ||
| <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>run ~emit ~fatal f</code> runs the thunk <code>f</code>, using <code>emit</code> to handle non-fatal diagnostics before continuing the computation, and <code>fatal</code> to handle fatal diagnostics that have aborted the computation. The recommended way to handle messages from a library that uses asai is to use <a href="../../../asai/Asai/Reporter/module-type-S/index.html#val-adopt" title="Asai.Reporter.S.adopt"><code>adopt</code></a>:</p><pre class="language-ocaml"><code>Reporter.adopt (Diagnostic.map message_mapper) The_library.Reporter.run @@ fun () -> ...</code></pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">init_loc</span> <p>The initial default location for messages.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">init_backtrace</span> <p>The initial backtrace to start with. The default value is the empty backtrace.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">emit</span> <p>The handler of non-fatal diagnostics.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">fatal</span> <p>The handler of fatal diagnostics.</p></li></ul></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Syslib (asai-examples.Syslib)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-examples</a> » Syslib</nav><header class="odoc-preamble"><h1>Module <code><span>Syslib</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Reporter"><a href="#module-Reporter" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Reporter/index.html">Reporter</a></span><span> : <a href="../../asai/Asai/MinimumSigs/module-type-Reporter/index.html">Asai.MinimumSigs.Reporter</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Operations"><a href="#module-Operations" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Operations/index.html">Operations</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (asai-examples.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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> – asai-examples</nav><header class="odoc-preamble"><h1 id="asai-examples-index"><a href="#asai-examples-index" class="anchor"></a>asai-examples index</h1></header><nav class="odoc-toc"><ul><li><a href="#library-asai-examples.syslib">Library asai-examples.syslib</a></li></ul></nav><div class="odoc-content"><h2 id="library-asai-examples.syslib"><a href="#library-asai-examples.syslib" class="anchor"></a>Library asai-examples.syslib</h2><p>The entry point of this library is the module: <a href="Syslib/index.html"><code>Syslib</code></a>.</p></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Message (asai-lsp.Asai_lsp.Make.Message)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-lsp</a> » <a href="../../index.html">Asai_lsp</a> » <a href="../index.html">Make</a> » Message</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.Message</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></code></div><div class="spec-doc"><p>The type of all messages from the library.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-short_code"><a href="#val-short_code" class="anchor"></a><code><span><span class="keyword">val</span> short_code : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> string</span></code></div><div class="spec-doc"><p>A concise, ideally Google-able string representation of each message from the library.</p></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (asai-lsp.Asai_lsp.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-lsp</a> » <a href="../index.html">Asai_lsp</a> » Make</nav><header class="odoc-preamble"><h1>Module <code><span>Asai_lsp.Make</span></code></h1><p>This module provides a rudimentary and incomplete implementation of the LSP protocol.</p><p>Note: many features are missing and it does not handle <code>positionEncoding</code>.</p></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-Message"><a href="#argument-1-Message" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-Message/index.html">Message</a></span><span> : <a href="../../../asai/Asai/MinimumSigs/module-type-Message/index.html">Asai.MinimumSigs.Message</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec value anchored" id="val-start"><a href="#val-start" class="anchor"></a><code><span><span class="keyword">val</span> start : | ||
| <span><span class="label">source</span>:<span>string option</span> <span class="arrow">-></span></span> | ||
| <span><span class="label">init</span>:<span>(<span><span class="label">root</span>:<span>string option</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> | ||
| <span><span class="label">load_file</span>:<span>(<span><span class="label">display</span>:<span>(<span><span><a href="argument-1-Message/index.html#type-t">Message.t</a> <a href="../../../asai/Asai/Diagnostic/index.html#type-t">Asai.Diagnostic.t</a></span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> <span>string <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span> | ||
| unit</span></code></div><div class="spec-doc"><p><code>run ~init ~load_file</code> starts the LSP server with the two callbacks <code>init</code> and <code>load_file</code>.</p><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">source</span> <p>The source of a LSP diagnostic, that is, a "human-readable string describing the source of this diagnostic."</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">init</span> <p>The callback to initiate the loading of a workspace. The <code>root</code> parameter is the workspace</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">load_file</span> <p>The callback to load the file.</p></li></ul></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Asai_lsp (asai-lsp.Asai_lsp)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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-lsp</a> » Asai_lsp</nav><header class="odoc-preamble"><h1>Module <code><span>Asai_lsp</span></code></h1><ul class="at-tags"><li class="alert"><span class="at-tag">alert</span> unstable The LSP implementation and API may change significantly in the future.</li></ul></header><nav class="odoc-toc"><ul><li><a href="#language-service-protocol">Language Service Protocol</a></li></ul></nav><div class="odoc-content"><h2 id="language-service-protocol"><a href="#language-service-protocol" class="anchor"></a>Language Service Protocol</h2><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-Message/index.html">Message</a> : <a href="../../asai/Asai/MinimumSigs/module-type-Message/index.html">Asai.MinimumSigs.Message</a>) : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>This module provides a rudimentary and incomplete implementation of the LSP protocol.</p></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (asai-lsp.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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> – asai-lsp</nav><header class="odoc-preamble"><h1 id="asai-lsp-index"><a href="#asai-lsp-index" class="anchor"></a>asai-lsp index</h1></header><nav class="odoc-toc"><ul><li><a href="#library-asai-lsp">Library asai-lsp</a></li></ul></nav><div class="odoc-content"><h2 id="library-asai-lsp"><a href="#library-asai-lsp" class="anchor"></a>Library asai-lsp</h2><p>The entry point of this library is the module: <a href="Asai_lsp/index.html"><code>Asai_lsp</code></a>.</p></div></body></html> |
Oops, something went wrong.