mirror of
https://github.com/c-cube/linol.git
synced 2025-12-06 11:15:46 -05:00
deploy: f09e36523f
This commit is contained in:
parent
be9933a8e9
commit
045387fbdc
21 changed files with 48 additions and 21 deletions
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -6,4 +6,4 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
||||||
|
|
|
||||||
|
|
@ -92,7 +92,7 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<a href="../class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<a href="../class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'r</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'r</span> <a href="../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'r</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<a href="../class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span><span class="type-var">'r</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<a href="../class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
||||||
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
||||||
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
||||||
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift_ok"><a href="#val-lift_ok" class="anchor"></a><code><span><span class="keyword">val</span> lift_ok : <span><span><span class="type-var">'a</span> <a href="IO/index.html#type-t">IO.t</a></span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
||||||
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../../../yojson/Yojson/Safe/index.html#type-t">Yojson.Safe.t</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../../../yojson/Yojson/Safe/index.html#type-t">Yojson.Safe.t</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../../../yojson/Yojson/Safe/index.html#type-t">Yojson.Safe.t</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../../../yojson/Yojson/Safe/index.html#type-t">Yojson.Safe.t</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">ic</span>:<a href="IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
<span><span class="label">ic</span>:<a href="IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -6,4 +6,4 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
||||||
|
|
|
||||||
|
|
@ -92,7 +92,7 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<span class="xref-unresolved">notify_back</span> <span class="arrow">-></span></span>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<span class="xref-unresolved">notify_back</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'r</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'r</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'r</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<span class="xref-unresolved">notify_back</span> <span class="arrow">-></span></span>
|
<span><span class="type-var">'r</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<span class="xref-unresolved">notify_back</span> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
||||||
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
||||||
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
||||||
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div></details></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift_ok"><a href="#val-lift_ok" class="anchor"></a><code><span><span class="keyword">val</span> lift_ok : <span><span><span class="type-var">'a</span> <a href="argument-1-IO/index.html#type-t">IO.t</a></span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div></details></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
||||||
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">ic</span>:<a href="argument-1-IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
<span><span class="label">ic</span>:<a href="argument-1-IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -6,4 +6,4 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html>
|
||||||
|
|
|
||||||
|
|
@ -92,7 +92,7 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<a href="../../../../Linol__Jsonrpc2/module-type-S/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_request_unhandled"><a href="#method-on_request_unhandled" class="anchor"></a><code><span><span class="keyword">method</span> on_request_unhandled : 'r. <span><span class="label">notify_back</span>:<a href="../../../../Linol__Jsonrpc2/module-type-S/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'r</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'r</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'r</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Jsonrpc2/module-type-S/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span><span class="type-var">'r</span> <a href="../IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_unknown_notification"><a href="#method-on_unknown_notification" class="anchor"></a><code><span><span class="keyword">method</span> on_unknown_notification : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Jsonrpc2/module-type-S/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span> <a href="#type-server_request_handler_pair">server_request_handler_pair</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-send_request"><a href="#type-send_request" class="anchor"></a><code><span><span class="keyword">type</span> send_request</span><span> = <span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span> <span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-base_server"><a href="#class-base_server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-base_server/index.html">base_server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-async"><a href="#val-async" class="anchor"></a><code><span><span class="keyword">val</span> async : <span><a href="class-base_server/index.html">base_server</a> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span>unit <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-notify_back"><a href="#class-notify_back" class="anchor"></a><code><span><span class="keyword">class</span> </span><span><a href="class-notify_back/index.html">notify_back</a></span><span> : <span><span class="label">notify_back</span>:<span>(<span><a href="../../../../lsp/Lsp/Server_notification/index.html#type-t">Lsp.Server_notification.t</a> <span class="arrow">-></span></span>
|
||||||
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
<span>unit <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
||||||
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
<span><a href="Req_id/index.html#type-t">Req_id.t</a> <a href="IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
||||||
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div></details></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
int <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift_ok"><a href="#val-lift_ok" class="anchor"></a><code><span><span class="keyword">val</span> lift_ok : <span><span><span class="type-var">'a</span> <a href="IO/index.html#type-t">IO.t</a></span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div></div></details></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create :
|
||||||
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_received</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
<span><span class="optlabel">?on_sent</span>:<span>(<span><a href="../index.html#type-json">json</a> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">ic</span>:<a href="IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
<span><span class="label">ic</span>:<a href="IO/index.html#type-in_channel">IO.in_channel</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -8,4 +8,4 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div><div class="spec-doc"><p>Method called to handle client requests.</p><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">notify_back</span> <p>an object used to reply to the client, send progress messages, diagnostics, etc.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">id</span> <p>the query RPC ID, can be used for tracing, cancellation, etc.</p></li></ul></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-must_quit"><a href="#method-must_quit" class="anchor"></a><code><span><span class="keyword">method</span> must_quit : bool</span></code></div><div class="spec-doc"><p>Set to true if the client requested to exit</p></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>How to start a new future/task/thread concurrently. This is used to process incoming user queries.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.5</li></ul></div></div></div></body></html>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div><div class="spec-doc"><p>Method called to handle client requests.</p><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">notify_back</span> <p>an object used to reply to the client, send progress messages, diagnostics, etc.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">id</span> <p>the query RPC ID, can be used for tracing, cancellation, etc.</p></li></ul></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-must_quit"><a href="#method-must_quit" class="anchor"></a><code><span><span class="keyword">method</span> must_quit : bool</span></code></div><div class="spec-doc"><p>Set to true if the client requested to exit</p></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-spawn_query_handler"><a href="#method-spawn_query_handler" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> spawn_query_handler : <span><span>(<span>unit <span class="arrow">-></span></span> <span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p>How to start a new future/task/thread concurrently. This is used to process incoming user queries.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.5</li></ul></div></div></div></body></html>
|
||||||
|
|
|
||||||
|
|
@ -83,7 +83,7 @@
|
||||||
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
<span><span class="label">server_request</span>:<a href="../index.html#type-send_request">send_request</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">id</span>:<a href="../../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
<span><span class="label">id</span>:<a href="../../Req_id/index.html#type-t">Req_id.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
<span><span><span class="type-var">'a</span> <a href="../../../../../lsp/Lsp__/Client_request/index.html#type-t">Lsp.Client_request.t</a></span> <span class="arrow">-></span></span>
|
||||||
<span><span class="type-var">'a</span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_notif_doc_did_open"><a href="#method-on_notif_doc_did_open" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> on_notif_doc_did_open : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Server/Make/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span><span><span>(<span class="type-var">'a</span>, string)</span> <a href="../../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_notif_doc_did_open"><a href="#method-on_notif_doc_did_open" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> on_notif_doc_did_open : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Server/Make/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
<span><a href="../../../../../lsp/Lsp__/Types/TextDocumentItem/index.html#type-t">Lsp.Types.TextDocumentItem.t</a> <span class="arrow">-></span></span>
|
<span><a href="../../../../../lsp/Lsp__/Types/TextDocumentItem/index.html#type-t">Lsp.Types.TextDocumentItem.t</a> <span class="arrow">-></span></span>
|
||||||
<span><span class="label">content</span>:string <span class="arrow">-></span></span>
|
<span><span class="label">content</span>:string <span class="arrow">-></span></span>
|
||||||
<span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div><div class="spec-doc"><p>Called when a document is opened</p></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_notif_doc_did_close"><a href="#method-on_notif_doc_did_close" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> on_notif_doc_did_close : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Server/Make/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
<span>unit <a href="../argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div><div class="spec-doc"><p>Called when a document is opened</p></div></div><div class="odoc-spec"><div class="spec method anchored" id="method-on_notif_doc_did_close"><a href="#method-on_notif_doc_did_close" class="anchor"></a><code><span><span class="keyword">method</span> <span class="keyword">virtual</span> on_notif_doc_did_close : <span><span class="label">notify_back</span>:<a href="../../../../Linol__Server/Make/class-notify_back/index.html">notify_back</a> <span class="arrow">-></span></span>
|
||||||
|
|
|
||||||
|
|
@ -5,4 +5,4 @@
|
||||||
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
<span>unit <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">server_request</span>:<span>(<span><a href="#type-server_request_handler_pair">server_request_handler_pair</a> <span class="arrow">-></span></span>
|
||||||
<span><a href="../Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
<span><a href="../Req_id/index.html#type-t">Req_id.t</a> <a href="argument-1-IO/index.html#type-t">IO.t</a></span>)</span> <span class="arrow">-></span></span> <span><span class="label">workDoneToken</span>:<span><span>[ <span>`Int of int</span> <span><span>| `String</span> of string</span> ]</span> option</span> <span class="arrow">-></span></span> <span><span class="label">partialResultToken</span>:<span class="type-var">'a</span> <span class="arrow">-></span></span> <span><span class="optlabel">?version</span>:
|
||||||
<span>int
|
<span>int
|
||||||
option</span> <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<span><a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> option</span> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>A wrapper to more easily reply to notifications</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = <a href="../index.html#type-doc_state">doc_state</a></span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>Current state of a document.</p></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>An easily overloadable class. Pick the methods you want to support. The user must provide at least the callbacks for document lifecycle: open, close, update. The most basic LSP server should check documents when they're updated and report diagnostics back to the editor.</p></div></div></div></body></html>
|
option</span> <span class="arrow">-></span></span> <span><span class="optlabel">?uri</span>:<span><a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a> option</span> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>A wrapper to more easily reply to notifications</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-doc_state"><a href="#type-doc_state" class="anchor"></a><code><span><span class="keyword">type</span> <span class="keyword">nonrec</span> doc_state</span><span> = <a href="../index.html#type-doc_state">doc_state</a></span><span> = </span><span>{</span></code><ol><li id="type-doc_state.uri" class="def record field anchored"><a href="#type-doc_state.uri" class="anchor"></a><code><span>uri : <a href="../../../../lsp/Lsp/Types/DocumentUri/index.html#type-t">Lsp.Types.DocumentUri.t</a>;</span></code></li><li id="type-doc_state.languageId" class="def record field anchored"><a href="#type-doc_state.languageId" class="anchor"></a><code><span>languageId : string;</span></code></li><li id="type-doc_state.version" class="def record field anchored"><a href="#type-doc_state.version" class="anchor"></a><code><span>version : int;</span></code></li><li id="type-doc_state.content" class="def record field anchored"><a href="#type-doc_state.content" class="anchor"></a><code><span>content : string;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>Current state of a document.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift_ok"><a href="#val-lift_ok" class="anchor"></a><code><span><span class="keyword">val</span> lift_ok : <span><span><span class="type-var">'a</span> <a href="argument-1-IO/index.html#type-t">IO.t</a></span> <span class="arrow">-></span></span> <span><span><span>(<span class="type-var">'b</span>, <span class="type-var">'c</span>)</span> <a href="../../../../ocaml/Stdlib/index.html#type-result">result</a></span> <a href="argument-1-IO/index.html#type-t">IO.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec class anchored" id="class-server"><a href="#class-server" class="anchor"></a><code><span><span class="keyword">class</span> <span class="keyword">virtual</span> </span><span><a href="class-server/index.html">server</a></span><span> : <span class="keyword">object</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>An easily overloadable class. Pick the methods you want to support. The user must provide at least the callbacks for document lifecycle: open, close, update. The most basic LSP server should check documents when they're updated and report diagnostics back to the editor.</p></div></div></div></body></html>
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
Loading…
Add table
Reference in a new issue