From 4e8f7e24be5919112445becb15e2d553d21fecde Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 9 Feb 2021 19:43:49 -0500 Subject: [PATCH] checkout doc --- dev/highlight.pack.js | 2 + dev/index.html | 20 + dev/linol-lwt/Linol_lwt/.dune-keep | 0 .../Linol_lwt/Jsonrpc2/IO/index.html | 2 + .../Jsonrpc2/class-base_server/index.html | 2 + .../Jsonrpc2/class-notify_back/index.html | 2 + .../Jsonrpc2/class-server/index.html | 2 + dev/linol-lwt/Linol_lwt/Jsonrpc2/index.html | 2 + dev/linol-lwt/Linol_lwt/Task/Infix/index.html | 2 + .../Linol_lwt/Task/Wrapped_error/index.html | 2 + dev/linol-lwt/Linol_lwt/Task/index.html | 2 + dev/linol-lwt/Linol_lwt/index.html | 2 + .../Linol_lwt/module-type-IO/index.html | 2 + dev/linol-lwt/Linol_lwt__/.dune-keep | 0 .../Linol_lwt__/Jsonrpc2/IO/index.html | 2 + .../Jsonrpc2/class-base_server/index.html | 2 + .../Jsonrpc2/class-notify_back/index.html | 2 + .../Jsonrpc2/class-server/index.html | 2 + dev/linol-lwt/Linol_lwt__/Jsonrpc2/index.html | 2 + .../Linol_lwt__/Task/Infix/index.html | 2 + .../Linol_lwt__/Task/Wrapped_error/index.html | 2 + dev/linol-lwt/Linol_lwt__/Task/index.html | 2 + dev/linol-lwt/Linol_lwt__/index.html | 2 + dev/linol-lwt/Linol_lwt__Jsonrpc2/.dune-keep | 0 .../Linol_lwt__Jsonrpc2/IO/index.html | 2 + .../class-base_server/index.html | 2 + .../class-notify_back/index.html | 2 + .../class-server/index.html | 2 + dev/linol-lwt/Linol_lwt__Jsonrpc2/index.html | 2 + dev/linol-lwt/Linol_lwt__Task/.dune-keep | 0 .../Linol_lwt__Task/Infix/index.html | 2 + .../Linol_lwt__Task/Wrapped_error/index.html | 2 + dev/linol-lwt/Linol_lwt__Task/index.html | 2 + dev/linol-lwt/index.html | 2 + dev/linol/Linol/.dune-keep | 0 dev/linol/Linol/Make/argument-1-IO/index.html | 2 + .../Linol/Make/class-base_server/index.html | 2 + .../Linol/Make/class-notify_back/index.html | 2 + dev/linol/Linol/Make/class-server/index.html | 2 + dev/linol/Linol/Make/index.html | 2 + dev/linol/Linol/index.html | 2 + dev/linol/Linol/module-type-IO/index.html | 2 + dev/linol/index.html | 2 + dev/odoc.css | 764 ++++++++++++++++++ index.md | 4 + 45 files changed, 862 insertions(+) create mode 100644 dev/highlight.pack.js create mode 100644 dev/index.html create mode 100644 dev/linol-lwt/Linol_lwt/.dune-keep create mode 100644 dev/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Jsonrpc2/class-notify_back/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Jsonrpc2/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Task/Infix/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Task/Wrapped_error/index.html create mode 100644 dev/linol-lwt/Linol_lwt/Task/index.html create mode 100644 dev/linol-lwt/Linol_lwt/index.html create mode 100644 dev/linol-lwt/Linol_lwt/module-type-IO/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/.dune-keep create mode 100644 dev/linol-lwt/Linol_lwt__/Jsonrpc2/IO/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-base_server/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-notify_back/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-server/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Jsonrpc2/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Task/Infix/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Task/Wrapped_error/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/Task/index.html create mode 100644 dev/linol-lwt/Linol_lwt__/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/.dune-keep create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/IO/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/class-base_server/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/class-notify_back/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/class-server/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Jsonrpc2/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Task/.dune-keep create mode 100644 dev/linol-lwt/Linol_lwt__Task/Infix/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Task/Wrapped_error/index.html create mode 100644 dev/linol-lwt/Linol_lwt__Task/index.html create mode 100644 dev/linol-lwt/index.html create mode 100644 dev/linol/Linol/.dune-keep create mode 100644 dev/linol/Linol/Make/argument-1-IO/index.html create mode 100644 dev/linol/Linol/Make/class-base_server/index.html create mode 100644 dev/linol/Linol/Make/class-notify_back/index.html create mode 100644 dev/linol/Linol/Make/class-server/index.html create mode 100644 dev/linol/Linol/Make/index.html create mode 100644 dev/linol/Linol/index.html create mode 100644 dev/linol/Linol/module-type-IO/index.html create mode 100644 dev/linol/index.html create mode 100644 dev/odoc.css create mode 100644 index.md diff --git a/dev/highlight.pack.js b/dev/highlight.pack.js new file mode 100644 index 00000000..40370e82 --- /dev/null +++ b/dev/highlight.pack.js @@ -0,0 +1,2 @@ +/*! highlight.js v9.12.0 | BSD3 License | git.io/hljslicense */ +!function(e){var n="object"==typeof window&&window||"object"==typeof self&&self;"undefined"!=typeof exports?e(exports):n&&(n.hljs=e({}),"function"==typeof define&&define.amd&&define([],function(){return n.hljs}))}(function(e){function n(e){return e.replace(/&/g,"&").replace(//g,">")}function t(e){return e.nodeName.toLowerCase()}function r(e,n){var t=e&&e.exec(n);return t&&0===t.index}function a(e){return k.test(e)}function i(e){var n,t,r,i,o=e.className+" ";if(o+=e.parentNode?e.parentNode.className:"",t=B.exec(o))return w(t[1])?t[1]:"no-highlight";for(o=o.split(/\s+/),n=0,r=o.length;r>n;n++)if(i=o[n],a(i)||w(i))return i}function o(e){var n,t={},r=Array.prototype.slice.call(arguments,1);for(n in e)t[n]=e[n];return r.forEach(function(e){for(n in e)t[n]=e[n]}),t}function u(e){var n=[];return function r(e,a){for(var i=e.firstChild;i;i=i.nextSibling)3===i.nodeType?a+=i.nodeValue.length:1===i.nodeType&&(n.push({event:"start",offset:a,node:i}),a=r(i,a),t(i).match(/br|hr|img|input/)||n.push({event:"stop",offset:a,node:i}));return a}(e,0),n}function c(e,r,a){function i(){return e.length&&r.length?e[0].offset!==r[0].offset?e[0].offset"}function u(e){s+=""}function c(e){("start"===e.event?o:u)(e.node)}for(var l=0,s="",f=[];e.length||r.length;){var g=i();if(s+=n(a.substring(l,g[0].offset)),l=g[0].offset,g===e){f.reverse().forEach(u);do c(g.splice(0,1)[0]),g=i();while(g===e&&g.length&&g[0].offset===l);f.reverse().forEach(o)}else"start"===g[0].event?f.push(g[0].node):f.pop(),c(g.splice(0,1)[0])}return s+n(a.substr(l))}function l(e){return e.v&&!e.cached_variants&&(e.cached_variants=e.v.map(function(n){return o(e,{v:null},n)})),e.cached_variants||e.eW&&[o(e)]||[e]}function s(e){function n(e){return e&&e.source||e}function t(t,r){return new RegExp(n(t),"m"+(e.cI?"i":"")+(r?"g":""))}function r(a,i){if(!a.compiled){if(a.compiled=!0,a.k=a.k||a.bK,a.k){var o={},u=function(n,t){e.cI&&(t=t.toLowerCase()),t.split(" ").forEach(function(e){var t=e.split("|");o[t[0]]=[n,t[1]?Number(t[1]):1]})};"string"==typeof a.k?u("keyword",a.k):x(a.k).forEach(function(e){u(e,a.k[e])}),a.k=o}a.lR=t(a.l||/\w+/,!0),i&&(a.bK&&(a.b="\\b("+a.bK.split(" ").join("|")+")\\b"),a.b||(a.b=/\B|\b/),a.bR=t(a.b),a.e||a.eW||(a.e=/\B|\b/),a.e&&(a.eR=t(a.e)),a.tE=n(a.e)||"",a.eW&&i.tE&&(a.tE+=(a.e?"|":"")+i.tE)),a.i&&(a.iR=t(a.i)),null==a.r&&(a.r=1),a.c||(a.c=[]),a.c=Array.prototype.concat.apply([],a.c.map(function(e){return l("self"===e?a:e)})),a.c.forEach(function(e){r(e,a)}),a.starts&&r(a.starts,i);var c=a.c.map(function(e){return e.bK?"\\.?("+e.b+")\\.?":e.b}).concat([a.tE,a.i]).map(n).filter(Boolean);a.t=c.length?t(c.join("|"),!0):{exec:function(){return null}}}}r(e)}function f(e,t,a,i){function o(e,n){var t,a;for(t=0,a=n.c.length;a>t;t++)if(r(n.c[t].bR,e))return n.c[t]}function u(e,n){if(r(e.eR,n)){for(;e.endsParent&&e.parent;)e=e.parent;return e}return e.eW?u(e.parent,n):void 0}function c(e,n){return!a&&r(n.iR,e)}function l(e,n){var t=N.cI?n[0].toLowerCase():n[0];return e.k.hasOwnProperty(t)&&e.k[t]}function p(e,n,t,r){var a=r?"":I.classPrefix,i='',i+n+o}function h(){var e,t,r,a;if(!E.k)return n(k);for(a="",t=0,E.lR.lastIndex=0,r=E.lR.exec(k);r;)a+=n(k.substring(t,r.index)),e=l(E,r),e?(B+=e[1],a+=p(e[0],n(r[0]))):a+=n(r[0]),t=E.lR.lastIndex,r=E.lR.exec(k);return a+n(k.substr(t))}function d(){var e="string"==typeof E.sL;if(e&&!y[E.sL])return n(k);var t=e?f(E.sL,k,!0,x[E.sL]):g(k,E.sL.length?E.sL:void 0);return E.r>0&&(B+=t.r),e&&(x[E.sL]=t.top),p(t.language,t.value,!1,!0)}function b(){L+=null!=E.sL?d():h(),k=""}function v(e){L+=e.cN?p(e.cN,"",!0):"",E=Object.create(e,{parent:{value:E}})}function m(e,n){if(k+=e,null==n)return b(),0;var t=o(n,E);if(t)return t.skip?k+=n:(t.eB&&(k+=n),b(),t.rB||t.eB||(k=n)),v(t,n),t.rB?0:n.length;var r=u(E,n);if(r){var a=E;a.skip?k+=n:(a.rE||a.eE||(k+=n),b(),a.eE&&(k=n));do E.cN&&(L+=C),E.skip||(B+=E.r),E=E.parent;while(E!==r.parent);return r.starts&&v(r.starts,""),a.rE?0:n.length}if(c(n,E))throw new Error('Illegal lexeme "'+n+'" for mode "'+(E.cN||"")+'"');return k+=n,n.length||1}var N=w(e);if(!N)throw new Error('Unknown language: "'+e+'"');s(N);var R,E=i||N,x={},L="";for(R=E;R!==N;R=R.parent)R.cN&&(L=p(R.cN,"",!0)+L);var k="",B=0;try{for(var M,j,O=0;;){if(E.t.lastIndex=O,M=E.t.exec(t),!M)break;j=m(t.substring(O,M.index),M[0]),O=M.index+j}for(m(t.substr(O)),R=E;R.parent;R=R.parent)R.cN&&(L+=C);return{r:B,value:L,language:e,top:E}}catch(T){if(T.message&&-1!==T.message.indexOf("Illegal"))return{r:0,value:n(t)};throw T}}function g(e,t){t=t||I.languages||x(y);var r={r:0,value:n(e)},a=r;return t.filter(w).forEach(function(n){var t=f(n,e,!1);t.language=n,t.r>a.r&&(a=t),t.r>r.r&&(a=r,r=t)}),a.language&&(r.second_best=a),r}function p(e){return I.tabReplace||I.useBR?e.replace(M,function(e,n){return I.useBR&&"\n"===e?"
":I.tabReplace?n.replace(/\t/g,I.tabReplace):""}):e}function h(e,n,t){var r=n?L[n]:t,a=[e.trim()];return e.match(/\bhljs\b/)||a.push("hljs"),-1===e.indexOf(r)&&a.push(r),a.join(" ").trim()}function d(e){var n,t,r,o,l,s=i(e);a(s)||(I.useBR?(n=document.createElementNS("http://www.w3.org/1999/xhtml","div"),n.innerHTML=e.innerHTML.replace(/\n/g,"").replace(//g,"\n")):n=e,l=n.textContent,r=s?f(s,l,!0):g(l),t=u(n),t.length&&(o=document.createElementNS("http://www.w3.org/1999/xhtml","div"),o.innerHTML=r.value,r.value=c(t,u(o),l)),r.value=p(r.value),e.innerHTML=r.value,e.className=h(e.className,s,r.language),e.result={language:r.language,re:r.r},r.second_best&&(e.second_best={language:r.second_best.language,re:r.second_best.r}))}function b(e){I=o(I,e)}function v(){if(!v.called){v.called=!0;var e=document.querySelectorAll("pre code");E.forEach.call(e,d)}}function m(){addEventListener("DOMContentLoaded",v,!1),addEventListener("load",v,!1)}function N(n,t){var r=y[n]=t(e);r.aliases&&r.aliases.forEach(function(e){L[e]=n})}function R(){return x(y)}function w(e){return e=(e||"").toLowerCase(),y[e]||y[L[e]]}var E=[],x=Object.keys,y={},L={},k=/^(no-?highlight|plain|text)$/i,B=/\blang(?:uage)?-([\w-]+)\b/i,M=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,C="",I={classPrefix:"hljs-",tabReplace:null,useBR:!1,languages:void 0};return e.highlight=f,e.highlightAuto=g,e.fixMarkup=p,e.highlightBlock=d,e.configure=b,e.initHighlighting=v,e.initHighlightingOnLoad=m,e.registerLanguage=N,e.listLanguages=R,e.getLanguage=w,e.inherit=o,e.IR="[a-zA-Z]\\w*",e.UIR="[a-zA-Z_]\\w*",e.NR="\\b\\d+(\\.\\d+)?",e.CNR="(-?)(\\b0[xX][a-fA-F0-9]+|(\\b\\d+(\\.\\d*)?|\\.\\d+)([eE][-+]?\\d+)?)",e.BNR="\\b(0b[01]+)",e.RSR="!|!=|!==|%|%=|&|&&|&=|\\*|\\*=|\\+|\\+=|,|-|-=|/=|/|:|;|<<|<<=|<=|<|===|==|=|>>>=|>>=|>=|>>>|>>|>|\\?|\\[|\\{|\\(|\\^|\\^=|\\||\\|=|\\|\\||~",e.BE={b:"\\\\[\\s\\S]",r:0},e.ASM={cN:"string",b:"'",e:"'",i:"\\n",c:[e.BE]},e.QSM={cN:"string",b:'"',e:'"',i:"\\n",c:[e.BE]},e.PWM={b:/\b(a|an|the|are|I'm|isn't|don't|doesn't|won't|but|just|should|pretty|simply|enough|gonna|going|wtf|so|such|will|you|your|they|like|more)\b/},e.C=function(n,t,r){var a=e.inherit({cN:"comment",b:n,e:t,c:[]},r||{});return a.c.push(e.PWM),a.c.push({cN:"doctag",b:"(?:TODO|FIXME|NOTE|BUG|XXX):",r:0}),a},e.CLCM=e.C("//","$"),e.CBCM=e.C("/\\*","\\*/"),e.HCM=e.C("#","$"),e.NM={cN:"number",b:e.NR,r:0},e.CNM={cN:"number",b:e.CNR,r:0},e.BNM={cN:"number",b:e.BNR,r:0},e.CSSNM={cN:"number",b:e.NR+"(%|em|ex|ch|rem|vw|vh|vmin|vmax|cm|mm|in|pt|pc|px|deg|grad|rad|turn|s|ms|Hz|kHz|dpi|dpcm|dppx)?",r:0},e.RM={cN:"regexp",b:/\//,e:/\/[gimuy]*/,i:/\n/,c:[e.BE,{b:/\[/,e:/\]/,r:0,c:[e.BE]}]},e.TM={cN:"title",b:e.IR,r:0},e.UTM={cN:"title",b:e.UIR,r:0},e.METHOD_GUARD={b:"\\.\\s*"+e.UIR,r:0},e});hljs.registerLanguage("ocaml",function(e){return{aliases:["ml"],k:{keyword:"and as assert asr begin class constraint do done downto else end exception external for fun function functor if in include inherit! inherit initializer land lazy let lor lsl lsr lxor match method!|10 method mod module mutable new object of open! open or private rec sig struct then to try type val! val virtual when while with parser value",built_in:"array bool bytes char exn|5 float int int32 int64 list lazy_t|5 nativeint|5 string unit in_channel out_channel ref",literal:"true false"},i:/\/\/|>>/,l:"[a-z_]\\w*!?",c:[{cN:"literal",b:"\\[(\\|\\|)?\\]|\\(\\)",r:0},e.C("\\(\\*","\\*\\)",{c:["self"]}),{cN:"symbol",b:"'[A-Za-z_](?!')[\\w']*"},{cN:"type",b:"`[A-Z][\\w']*"},{cN:"type",b:"\\b[A-Z][\\w']*",r:0},{b:"[a-z_]\\w*'[\\w']*",r:0},e.inherit(e.ASM,{cN:"string",r:0}),e.inherit(e.QSM,{i:null}),{cN:"number",b:"\\b(0[xX][a-fA-F0-9_]+[Lln]?|0[oO][0-7_]+[Lln]?|0[bB][01_]+[Lln]?|[0-9][0-9_]*([Lln]|(\\.[0-9_]*)?([eE][-+]?[0-9_]+)?)?)",r:0},{b:/[-=]>/}]}}); \ No newline at end of file diff --git a/dev/index.html b/dev/index.html new file mode 100644 index 00000000..c433ae86 --- /dev/null +++ b/dev/index.html @@ -0,0 +1,20 @@ + + + + index + + + + + +
+
+

OCaml package documentation

+
    +
  1. linol 0.1
    2. +
  2. linol-lwt 0.1
    3. +
+
+
+ + \ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/.dune-keep b/dev/linol-lwt/Linol_lwt/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html b/dev/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html new file mode 100644 index 00000000..960621f9 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html @@ -0,0 +1,2 @@ + +IO (linol-lwt.Linol_lwt.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a Task.m
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html new file mode 100644 index 00000000..6405165c --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html @@ -0,0 +1,2 @@ + +base_server (linol-lwt.Linol_lwt.Jsonrpc2.base_server)

Class Jsonrpc2.base_server

method must_quit : bool
method virtual on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method virtual on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-notify_back/index.html b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-notify_back/index.html new file mode 100644 index 00000000..aead5a7e --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-notify_back/index.html @@ -0,0 +1,2 @@ + +notify_back (linol-lwt.Linol_lwt.Jsonrpc2.notify_back)

Class Jsonrpc2.notify_back

method send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t
method send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t
method send_notification : Lsp.Server_notification.t -> unit IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html new file mode 100644 index 00000000..15549c57 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html @@ -0,0 +1,2 @@ + +server (linol-lwt.Linol_lwt.Jsonrpc2.server)

Class Jsonrpc2.server

val docs : (Lsp.Types.DocumentUri.t, doc_state) Stdlib.Hashtbl.t
val mutable _quit : bool
method config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t
method find_doc : Lsp.Types.DocumentUri.t -> doc_state option
method must_quit : bool
method virtual on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t
method virtual on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t
method virtual on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t
method on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t
method on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t
method on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t
method on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
method on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Jsonrpc2/index.html b/dev/linol-lwt/Linol_lwt/Jsonrpc2/index.html new file mode 100644 index 00000000..9125ab02 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Jsonrpc2/index.html @@ -0,0 +1,2 @@ + +Jsonrpc2 (linol-lwt.Linol_lwt.Jsonrpc2)

Module Linol_lwt.Jsonrpc2

module IO : Linol.IO with type 'a t = 'a Task.m and type in_channel = Lwt_io.input Lwt_io.channel and type out_channel = Lwt_io.output Lwt_io.channel
type json = Yojson.Safe.t
type t

A jsonrpc2 connection.

include module type of sig ... end
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
class virtual base_server : object ... end
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> ?⁠version:int -> uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type doc_state = Linol.Make(IO).doc_state = {
uri : Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
content : string;
}
class virtual server : object ... end
val create : ic:IO.in_channel -> oc:IO.out_channel -> server -> t

Create a connection from the pair of channels

val create_stdio : server -> t
val run : t -> unit Task.t -> unit Task.m

Listen for incoming messages and responses

\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Task/Infix/index.html b/dev/linol-lwt/Linol_lwt/Task/Infix/index.html new file mode 100644 index 00000000..89d7c412 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Task/Infix/index.html @@ -0,0 +1,2 @@ + +Infix (linol-lwt.Linol_lwt.Task.Infix)

Module Task.Infix

val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Task/Wrapped_error/index.html b/dev/linol-lwt/Linol_lwt/Task/Wrapped_error/index.html new file mode 100644 index 00000000..bd535bf5 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Task/Wrapped_error/index.html @@ -0,0 +1,2 @@ + +Wrapped_error (linol-lwt.Linol_lwt.Task.Wrapped_error)

Module Task.Wrapped_error

type 'a task = 'a t
type t =
| E : {
task : 'a task;
e : exn;
} -> t
exception Wrapped of t

An exception caught and re-launched from a task

val pp : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/Task/index.html b/dev/linol-lwt/Linol_lwt/Task/index.html new file mode 100644 index 00000000..ba45eb12 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/Task/index.html @@ -0,0 +1,2 @@ + +Task (linol-lwt.Linol_lwt.Task)

Module Linol_lwt.Task

Tasks

Tasks built on top of Lwt, for cooperative multi-threading.

type 'a t

A task

type 'a m = 'a Lwt.t

Computation within the task

type cancel
val return : 'a -> 'a m
val start : ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> 'a t
val descr : _ t -> string option
val run : 'a t -> ('a, exn) Stdlib.result
val run_sub : parent:_ t -> ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> ('a, exn) Stdlib.result m
module Wrapped_error : sig ... end
val unwrap : ('a, exn) Stdlib.result -> 'a m
val is_cancelled : _ t -> bool
val cancel : _ t -> unit
val pause : _ t -> unit m
val wait_all : (unit, exn) Stdlib.result m list -> (unit, exn) Stdlib.result m
module Infix : sig ... end
include module type of Infix
val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/index.html b/dev/linol-lwt/Linol_lwt/index.html new file mode 100644 index 00000000..305121f6 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/index.html @@ -0,0 +1,2 @@ + +Linol_lwt (linol-lwt.Linol_lwt)

Module Linol_lwt

module type IO = Linol.IO
module Make = Linol.Make
module Jsonrpc2 : sig ... end
module Task : sig ... end
include Lsp.Types
module MarkedString = Lsp__Types.MarkedString
module DeleteFileOptions = Lsp__Types.DeleteFileOptions
module DocumentUri = Lsp__Types.DocumentUri
module DeleteFile = Lsp__Types.DeleteFile
module RenameFileOptions = Lsp__Types.RenameFileOptions
module RenameFile = Lsp__Types.RenameFile
module CreateFileOptions = Lsp__Types.CreateFileOptions
module CreateFile = Lsp__Types.CreateFile
module Position = Lsp__Types.Position
module Range = Lsp__Types.Range
module TextEdit = Lsp__Types.TextEdit
module TextDocumentIdentifier = Lsp__Types.TextDocumentIdentifier
module VersionedTextDocumentIdentifier = Lsp__Types.VersionedTextDocumentIdentifier
module TextDocumentEdit = Lsp__Types.TextDocumentEdit
module WorkspaceEdit = Lsp__Types.WorkspaceEdit
module ApplyWorkspaceEditParams = Lsp__Types.ApplyWorkspaceEditParams
module ApplyWorkspaceEditResponse = Lsp__Types.ApplyWorkspaceEditResponse
module CancelParams = Lsp__Types.CancelParams
module SelectionRangeClientCapabilities = Lsp__Types.SelectionRangeClientCapabilities
module FoldingRangeClientCapabilities = Lsp__Types.FoldingRangeClientCapabilities
module DiagnosticTag = Lsp__Types.DiagnosticTag
module PublishDiagnosticsClientCapabilities = Lsp__Types.PublishDiagnosticsClientCapabilities
module RenameClientCapabilities = Lsp__Types.RenameClientCapabilities
module DocumentOnTypeFormattingClientCapabilities = Lsp__Types.DocumentOnTypeFormattingClientCapabilities
module DocumentRangeFormattingClientCapabilities = Lsp__Types.DocumentRangeFormattingClientCapabilities
module DocumentFormattingClientCapabilities = Lsp__Types.DocumentFormattingClientCapabilities
module DocumentColorClientCapabilities = Lsp__Types.DocumentColorClientCapabilities
module DocumentLinkClientCapabilities = Lsp__Types.DocumentLinkClientCapabilities
module CodeLensClientCapabilities = Lsp__Types.CodeLensClientCapabilities
module CodeActionKind = Lsp__Types.CodeActionKind
module CodeActionClientCapabilities = Lsp__Types.CodeActionClientCapabilities
module SymbolKind = Lsp__Types.SymbolKind
module DocumentSymbolClientCapabilities = Lsp__Types.DocumentSymbolClientCapabilities
module DocumentHighlightClientCapabilities = Lsp__Types.DocumentHighlightClientCapabilities
module ReferenceClientCapabilities = Lsp__Types.ReferenceClientCapabilities
module ImplementationClientCapabilities = Lsp__Types.ImplementationClientCapabilities
module TypeDefinitionClientCapabilities = Lsp__Types.TypeDefinitionClientCapabilities
module DefinitionClientCapabilities = Lsp__Types.DefinitionClientCapabilities
module DeclarationClientCapabilities = Lsp__Types.DeclarationClientCapabilities
module MarkupKind = Lsp__Types.MarkupKind
module SignatureHelpClientCapabilities = Lsp__Types.SignatureHelpClientCapabilities
module HoverClientCapabilities = Lsp__Types.HoverClientCapabilities
module CompletionItemKind = Lsp__Types.CompletionItemKind
module CompletionItemTag = Lsp__Types.CompletionItemTag
module CompletionClientCapabilities = Lsp__Types.CompletionClientCapabilities
module TextDocumentSyncClientCapabilities = Lsp__Types.TextDocumentSyncClientCapabilities
module TextDocumentClientCapabilities = Lsp__Types.TextDocumentClientCapabilities
module ExecuteCommandClientCapabilities = Lsp__Types.ExecuteCommandClientCapabilities
module WorkspaceSymbolClientCapabilities = Lsp__Types.WorkspaceSymbolClientCapabilities
module DidChangeWatchedFilesClientCapabilities = Lsp__Types.DidChangeWatchedFilesClientCapabilities
module DidChangeConfigurationClientCapabilities = Lsp__Types.DidChangeConfigurationClientCapabilities
module FailureHandlingKind = Lsp__Types.FailureHandlingKind
module ResourceOperationKind = Lsp__Types.ResourceOperationKind
module WorkspaceEditClientCapabilities = Lsp__Types.WorkspaceEditClientCapabilities
module ClientCapabilities = Lsp__Types.ClientCapabilities
module Command = Lsp__Types.Command
module Location = Lsp__Types.Location
module DiagnosticRelatedInformation = Lsp__Types.DiagnosticRelatedInformation
module DiagnosticSeverity = Lsp__Types.DiagnosticSeverity
module Diagnostic = Lsp__Types.Diagnostic
module CodeAction = Lsp__Types.CodeAction
module CodeActionContext = Lsp__Types.CodeActionContext
module WorkDoneProgressOptions = Lsp__Types.WorkDoneProgressOptions
module CodeActionOptions = Lsp__Types.CodeActionOptions
module ProgressToken = Lsp__Types.ProgressToken
module PartialResultParams = Lsp__Types.PartialResultParams
module WorkDoneProgressParams = Lsp__Types.WorkDoneProgressParams
module CodeActionParams = Lsp__Types.CodeActionParams
module DocumentFilter = Lsp__Types.DocumentFilter
module DocumentSelector = Lsp__Types.DocumentSelector
module TextDocumentRegistrationOptions = Lsp__Types.TextDocumentRegistrationOptions
module CodeActionRegistrationOptions = Lsp__Types.CodeActionRegistrationOptions
module CodeLens = Lsp__Types.CodeLens
module CodeLensOptions = Lsp__Types.CodeLensOptions
module CodeLensParams = Lsp__Types.CodeLensParams
module CodeLensRegistrationOptions = Lsp__Types.CodeLensRegistrationOptions
module Color = Lsp__Types.Color
module ColorInformation = Lsp__Types.ColorInformation
module ColorPresentation = Lsp__Types.ColorPresentation
module ColorPresentationParams = Lsp__Types.ColorPresentationParams
module CompletionTriggerKind = Lsp__Types.CompletionTriggerKind
module CompletionContext = Lsp__Types.CompletionContext
module InsertTextFormat = Lsp__Types.InsertTextFormat
module MarkupContent = Lsp__Types.MarkupContent
module CompletionItem = Lsp__Types.CompletionItem
module CompletionList = Lsp__Types.CompletionList
module CompletionOptions = Lsp__Types.CompletionOptions
module TextDocumentPositionParams = Lsp__Types.TextDocumentPositionParams
module CompletionParams = Lsp__Types.CompletionParams
module CompletionRegistrationOptions = Lsp__Types.CompletionRegistrationOptions
module ConfigurationItem = Lsp__Types.ConfigurationItem
module ConfigurationParams = Lsp__Types.ConfigurationParams
module DeclarationOptions = Lsp__Types.DeclarationOptions
module DeclarationParams = Lsp__Types.DeclarationParams
module StaticRegistrationOptions = Lsp__Types.StaticRegistrationOptions
module DeclarationRegistrationOptions = Lsp__Types.DeclarationRegistrationOptions
module DefinitionOptions = Lsp__Types.DefinitionOptions
module DefinitionParams = Lsp__Types.DefinitionParams
module DefinitionRegistrationOptions = Lsp__Types.DefinitionRegistrationOptions
module DidChangeConfigurationParams = Lsp__Types.DidChangeConfigurationParams
module TextDocumentContentChangeEvent = Lsp__Types.TextDocumentContentChangeEvent
module DidChangeTextDocumentParams = Lsp__Types.DidChangeTextDocumentParams
module FileEvent = Lsp__Types.FileEvent
module DidChangeWatchedFilesParams = Lsp__Types.DidChangeWatchedFilesParams
module FileSystemWatcher = Lsp__Types.FileSystemWatcher
module DidChangeWatchedFilesRegistrationOptions = Lsp__Types.DidChangeWatchedFilesRegistrationOptions
module WorkspaceFolder = Lsp__Types.WorkspaceFolder
module WorkspaceFoldersChangeEvent = Lsp__Types.WorkspaceFoldersChangeEvent
module DidChangeWorkspaceFoldersParams = Lsp__Types.DidChangeWorkspaceFoldersParams
module DidCloseTextDocumentParams = Lsp__Types.DidCloseTextDocumentParams
module TextDocumentItem = Lsp__Types.TextDocumentItem
module DidOpenTextDocumentParams = Lsp__Types.DidOpenTextDocumentParams
module DidSaveTextDocumentParams = Lsp__Types.DidSaveTextDocumentParams
module DocumentColorOptions = Lsp__Types.DocumentColorOptions
module DocumentColorParams = Lsp__Types.DocumentColorParams
module DocumentColorRegistrationOptions = Lsp__Types.DocumentColorRegistrationOptions
module DocumentFormattingOptions = Lsp__Types.DocumentFormattingOptions
module FormattingOptions = Lsp__Types.FormattingOptions
module DocumentFormattingParams = Lsp__Types.DocumentFormattingParams
module DocumentFormattingRegistrationOptions = Lsp__Types.DocumentFormattingRegistrationOptions
module DocumentHighlightKind = Lsp__Types.DocumentHighlightKind
module DocumentHighlight = Lsp__Types.DocumentHighlight
module DocumentHighlightOptions = Lsp__Types.DocumentHighlightOptions
module DocumentHighlightParams = Lsp__Types.DocumentHighlightParams
module DocumentHighlightRegistrationOptions = Lsp__Types.DocumentHighlightRegistrationOptions
module DocumentLinkOptions = Lsp__Types.DocumentLinkOptions
module DocumentLinkParams = Lsp__Types.DocumentLinkParams
module DocumentLinkRegistrationOptions = Lsp__Types.DocumentLinkRegistrationOptions
module DocumentOnTypeFormattingOptions = Lsp__Types.DocumentOnTypeFormattingOptions
module DocumentOnTypeFormattingParams = Lsp__Types.DocumentOnTypeFormattingParams
module DocumentOnTypeFormattingRegistrationOptions = Lsp__Types.DocumentOnTypeFormattingRegistrationOptions
module DocumentRangeFormattingOptions = Lsp__Types.DocumentRangeFormattingOptions
module DocumentRangeFormattingParams = Lsp__Types.DocumentRangeFormattingParams
module DocumentRangeFormattingRegistrationOptions = Lsp__Types.DocumentRangeFormattingRegistrationOptions
module DocumentSymbol = Lsp__Types.DocumentSymbol
module DocumentSymbolOptions = Lsp__Types.DocumentSymbolOptions
module DocumentSymbolParams = Lsp__Types.DocumentSymbolParams
module DocumentSymbolRegistrationOptions = Lsp__Types.DocumentSymbolRegistrationOptions
module ErrorCodes = Lsp__Types.ErrorCodes
module ExecuteCommandOptions = Lsp__Types.ExecuteCommandOptions
module ExecuteCommandParams = Lsp__Types.ExecuteCommandParams
module ExecuteCommandRegistrationOptions = Lsp__Types.ExecuteCommandRegistrationOptions
module FileChangeType = Lsp__Types.FileChangeType
module FoldingRangeKind = Lsp__Types.FoldingRangeKind
module FoldingRange = Lsp__Types.FoldingRange
module FoldingRangeOptions = Lsp__Types.FoldingRangeOptions
module FoldingRangeParams = Lsp__Types.FoldingRangeParams
module FoldingRangeRegistrationOptions = Lsp__Types.FoldingRangeRegistrationOptions
module Hover = Lsp__Types.Hover
module HoverOptions = Lsp__Types.HoverOptions
module HoverParams = Lsp__Types.HoverParams
module HoverRegistrationOptions = Lsp__Types.HoverRegistrationOptions
module ImplementationOptions = Lsp__Types.ImplementationOptions
module ImplementationParams = Lsp__Types.ImplementationParams
module ImplementationRegistrationOptions = Lsp__Types.ImplementationRegistrationOptions
module InitializeError = Lsp__Types.InitializeError
module InitializeParams = Lsp__Types.InitializeParams
module WorkspaceFoldersServerCapabilities = Lsp__Types.WorkspaceFoldersServerCapabilities
module SelectionRangeOptions = Lsp__Types.SelectionRangeOptions
module SelectionRangeRegistrationOptions = Lsp__Types.SelectionRangeRegistrationOptions
module RenameOptions = Lsp__Types.RenameOptions
module ReferenceOptions = Lsp__Types.ReferenceOptions
module TypeDefinitionOptions = Lsp__Types.TypeDefinitionOptions
module TypeDefinitionRegistrationOptions = Lsp__Types.TypeDefinitionRegistrationOptions
module SignatureHelpOptions = Lsp__Types.SignatureHelpOptions
module SaveOptions = Lsp__Types.SaveOptions
module TextDocumentSyncKind = Lsp__Types.TextDocumentSyncKind
module TextDocumentSyncOptions = Lsp__Types.TextDocumentSyncOptions
module ServerCapabilities = Lsp__Types.ServerCapabilities
module InitializeResult = Lsp__Types.InitializeResult
module LogMessageParams = Lsp__Types.LogMessageParams
module MessageActionItem = Lsp__Types.MessageActionItem
module MessageType = Lsp__Types.MessageType
module ParameterInformation = Lsp__Types.ParameterInformation
module PrepareRenameParams = Lsp__Types.PrepareRenameParams
module ProgressParams = Lsp__Types.ProgressParams
module PublishDiagnosticsParams = Lsp__Types.PublishDiagnosticsParams
module ReferenceContext = Lsp__Types.ReferenceContext
module ReferenceParams = Lsp__Types.ReferenceParams
module ReferenceRegistrationOptions = Lsp__Types.ReferenceRegistrationOptions
module Registration = Lsp__Types.Registration
module RegistrationParams = Lsp__Types.RegistrationParams
module RenameParams = Lsp__Types.RenameParams
module RenameRegistrationOptions = Lsp__Types.RenameRegistrationOptions
module SelectionRange = Lsp__Types.SelectionRange
module SelectionRangeParams = Lsp__Types.SelectionRangeParams
module ShowMessageParams = Lsp__Types.ShowMessageParams
module ShowMessageRequestParams = Lsp__Types.ShowMessageRequestParams
module SignatureInformation = Lsp__Types.SignatureInformation
module SignatureHelp = Lsp__Types.SignatureHelp
module SignatureHelpTriggerKind = Lsp__Types.SignatureHelpTriggerKind
module SignatureHelpContext = Lsp__Types.SignatureHelpContext
module SignatureHelpParams = Lsp__Types.SignatureHelpParams
module SignatureHelpRegistrationOptions = Lsp__Types.SignatureHelpRegistrationOptions
module SymbolInformation = Lsp__Types.SymbolInformation
module TextDocumentChangeRegistrationOptions = Lsp__Types.TextDocumentChangeRegistrationOptions
module TextDocumentSaveReason = Lsp__Types.TextDocumentSaveReason
module TextDocumentSaveRegistrationOptions = Lsp__Types.TextDocumentSaveRegistrationOptions
module TypeDefinitionParams = Lsp__Types.TypeDefinitionParams
module Unregistration = Lsp__Types.Unregistration
module UnregistrationParams = Lsp__Types.UnregistrationParams
module WatchKind = Lsp__Types.WatchKind
module WillSaveTextDocumentParams = Lsp__Types.WillSaveTextDocumentParams
module WorkDoneProgressBegin = Lsp__Types.WorkDoneProgressBegin
module WorkDoneProgressCancelParams = Lsp__Types.WorkDoneProgressCancelParams
module WorkDoneProgressCreateParams = Lsp__Types.WorkDoneProgressCreateParams
module WorkDoneProgressEnd = Lsp__Types.WorkDoneProgressEnd
module WorkDoneProgressReport = Lsp__Types.WorkDoneProgressReport
module WorkspaceSymbolOptions = Lsp__Types.WorkspaceSymbolOptions
module WorkspaceSymbolParams = Lsp__Types.WorkspaceSymbolParams
module WorkspaceSymbolRegistrationOptions = Lsp__Types.WorkspaceSymbolRegistrationOptions
module CodeActionResult = Lsp__Types.CodeActionResult
module Locations = Lsp__Types.Locations
type doc_state = Jsonrpc2.doc_state
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt/module-type-IO/index.html b/dev/linol-lwt/Linol_lwt/module-type-IO/index.html new file mode 100644 index 00000000..6a7eaf13 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt/module-type-IO/index.html @@ -0,0 +1,2 @@ + +IO (linol-lwt.Linol_lwt.IO)

Module type Linol_lwt.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/.dune-keep b/dev/linol-lwt/Linol_lwt__/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/linol-lwt/Linol_lwt__/Jsonrpc2/IO/index.html b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/IO/index.html new file mode 100644 index 00000000..3edc3895 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/IO/index.html @@ -0,0 +1,2 @@ + +IO (linol-lwt.Linol_lwt__.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a Linol_lwt.Task.m
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-base_server/index.html b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-base_server/index.html new file mode 100644 index 00000000..a92400af --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-base_server/index.html @@ -0,0 +1,2 @@ + +base_server (linol-lwt.Linol_lwt__.Jsonrpc2.base_server)

Class Jsonrpc2.base_server

method must_quit : bool
method virtual on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method virtual on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-notify_back/index.html b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-notify_back/index.html new file mode 100644 index 00000000..0f15fa0c --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-notify_back/index.html @@ -0,0 +1,2 @@ + +notify_back (linol-lwt.Linol_lwt__.Jsonrpc2.notify_back)

Class Jsonrpc2.notify_back

method send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t
method send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t
method send_notification : Lsp.Server_notification.t -> unit IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-server/index.html b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-server/index.html new file mode 100644 index 00000000..ec0ac7e0 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/class-server/index.html @@ -0,0 +1,2 @@ + +server (linol-lwt.Linol_lwt__.Jsonrpc2.server)

Class Jsonrpc2.server

val docs : (Lsp.Types.DocumentUri.t, doc_state) Stdlib.Hashtbl.t
val mutable _quit : bool
method config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t
method find_doc : Lsp.Types.DocumentUri.t -> doc_state option
method must_quit : bool
method virtual on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t
method virtual on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t
method virtual on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t
method on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t
method on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t
method on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t
method on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
method on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Jsonrpc2/index.html b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/index.html new file mode 100644 index 00000000..8c54304e --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Jsonrpc2/index.html @@ -0,0 +1,2 @@ + +Jsonrpc2 (linol-lwt.Linol_lwt__.Jsonrpc2)

Module Linol_lwt__.Jsonrpc2

module IO : Linol.IO with type 'a t = 'a Linol_lwt.Task.m and type in_channel = Lwt_io.input Lwt_io.channel and type out_channel = Lwt_io.output Lwt_io.channel
type json = Yojson.Safe.t
type t

A jsonrpc2 connection.

include module type of sig ... end
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
class virtual base_server : object ... end
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> ?⁠version:int -> uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type doc_state = Linol.Make(IO).doc_state = {
uri : Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
content : string;
}
class virtual server : object ... end
val create : ic:IO.in_channel -> oc:IO.out_channel -> server -> t

Create a connection from the pair of channels

val create_stdio : server -> t
val run : t -> unit Linol_lwt.Task.t -> unit Linol_lwt.Task.m

Listen for incoming messages and responses

\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Task/Infix/index.html b/dev/linol-lwt/Linol_lwt__/Task/Infix/index.html new file mode 100644 index 00000000..321b22c9 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Task/Infix/index.html @@ -0,0 +1,2 @@ + +Infix (linol-lwt.Linol_lwt__.Task.Infix)

Module Task.Infix

val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Task/Wrapped_error/index.html b/dev/linol-lwt/Linol_lwt__/Task/Wrapped_error/index.html new file mode 100644 index 00000000..a795bb2a --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Task/Wrapped_error/index.html @@ -0,0 +1,2 @@ + +Wrapped_error (linol-lwt.Linol_lwt__.Task.Wrapped_error)

Module Task.Wrapped_error

type 'a task = 'a t
type t =
| E : {
task : 'a task;
e : exn;
} -> t
exception Wrapped of t

An exception caught and re-launched from a task

val pp : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/Task/index.html b/dev/linol-lwt/Linol_lwt__/Task/index.html new file mode 100644 index 00000000..c67b0d8c --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/Task/index.html @@ -0,0 +1,2 @@ + +Task (linol-lwt.Linol_lwt__.Task)

Module Linol_lwt__.Task

Tasks

Tasks built on top of Lwt, for cooperative multi-threading.

type 'a t

A task

type 'a m = 'a Lwt.t

Computation within the task

type cancel
val return : 'a -> 'a m
val start : ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> 'a t
val descr : _ t -> string option
val run : 'a t -> ('a, exn) Stdlib.result
val run_sub : parent:_ t -> ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> ('a, exn) Stdlib.result m
module Wrapped_error : sig ... end
val unwrap : ('a, exn) Stdlib.result -> 'a m
val is_cancelled : _ t -> bool
val cancel : _ t -> unit
val pause : _ t -> unit m
val wait_all : (unit, exn) Stdlib.result m list -> (unit, exn) Stdlib.result m
module Infix : sig ... end
include module type of Infix
val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__/index.html b/dev/linol-lwt/Linol_lwt__/index.html new file mode 100644 index 00000000..4ef0b848 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__/index.html @@ -0,0 +1,2 @@ + +Linol_lwt__ (linol-lwt.Linol_lwt__)

Module Linol_lwt__

module Jsonrpc2 : sig ... end
module Task : sig ... end
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/.dune-keep b/dev/linol-lwt/Linol_lwt__Jsonrpc2/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/IO/index.html b/dev/linol-lwt/Linol_lwt__Jsonrpc2/IO/index.html new file mode 100644 index 00000000..c02cc914 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Jsonrpc2/IO/index.html @@ -0,0 +1,2 @@ + +IO (linol-lwt.Linol_lwt__Jsonrpc2.IO)

Module Linol_lwt__Jsonrpc2.IO

type 'a t = 'a Linol_lwt.Task.m
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-base_server/index.html b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-base_server/index.html new file mode 100644 index 00000000..4dfcfc25 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-base_server/index.html @@ -0,0 +1,2 @@ + +base_server (linol-lwt.Linol_lwt__Jsonrpc2.base_server)

Class Linol_lwt__Jsonrpc2.base_server

method must_quit : bool
method virtual on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method virtual on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-notify_back/index.html b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-notify_back/index.html new file mode 100644 index 00000000..5862b1c1 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-notify_back/index.html @@ -0,0 +1,2 @@ + +notify_back (linol-lwt.Linol_lwt__Jsonrpc2.notify_back)

Class Linol_lwt__Jsonrpc2.notify_back

method send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t
method send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t
method send_notification : Lsp.Server_notification.t -> unit IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-server/index.html b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-server/index.html new file mode 100644 index 00000000..7c5b44f1 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Jsonrpc2/class-server/index.html @@ -0,0 +1,2 @@ + +server (linol-lwt.Linol_lwt__Jsonrpc2.server)

Class Linol_lwt__Jsonrpc2.server

val docs : (Lsp.Types.DocumentUri.t, doc_state) Stdlib.Hashtbl.t
val mutable _quit : bool
method config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t
method find_doc : Lsp.Types.DocumentUri.t -> doc_state option
method must_quit : bool
method virtual on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t
method virtual on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t
method virtual on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t
method on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t
method on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t
method on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t
method on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
method on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Jsonrpc2/index.html b/dev/linol-lwt/Linol_lwt__Jsonrpc2/index.html new file mode 100644 index 00000000..7fcf4577 --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Jsonrpc2/index.html @@ -0,0 +1,2 @@ + +Linol_lwt__Jsonrpc2 (linol-lwt.Linol_lwt__Jsonrpc2)

Module Linol_lwt__Jsonrpc2

module IO : Linol.IO with type 'a t = 'a Linol_lwt.Task.m and type in_channel = Lwt_io.input Lwt_io.channel and type out_channel = Lwt_io.output Lwt_io.channel
type json = Yojson.Safe.t
type t

A jsonrpc2 connection.

include module type of sig ... end
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
class virtual base_server : object ... end
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> ?⁠version:int -> uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type doc_state = Linol.Make(IO).doc_state = {
uri : Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
content : string;
}
class virtual server : object ... end
val create : ic:IO.in_channel -> oc:IO.out_channel -> server -> t

Create a connection from the pair of channels

val create_stdio : server -> t
val run : t -> unit Linol_lwt.Task.t -> unit Linol_lwt.Task.m

Listen for incoming messages and responses

\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Task/.dune-keep b/dev/linol-lwt/Linol_lwt__Task/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/linol-lwt/Linol_lwt__Task/Infix/index.html b/dev/linol-lwt/Linol_lwt__Task/Infix/index.html new file mode 100644 index 00000000..6e2de7ab --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Task/Infix/index.html @@ -0,0 +1,2 @@ + +Infix (linol-lwt.Linol_lwt__Task.Infix)

Module Linol_lwt__Task.Infix

val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Task/Wrapped_error/index.html b/dev/linol-lwt/Linol_lwt__Task/Wrapped_error/index.html new file mode 100644 index 00000000..628f7ccd --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Task/Wrapped_error/index.html @@ -0,0 +1,2 @@ + +Wrapped_error (linol-lwt.Linol_lwt__Task.Wrapped_error)

Module Linol_lwt__Task.Wrapped_error

type 'a task = 'a t
type t =
| E : {
task : 'a task;
e : exn;
} -> t
exception Wrapped of t

An exception caught and re-launched from a task

val pp : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
\ No newline at end of file diff --git a/dev/linol-lwt/Linol_lwt__Task/index.html b/dev/linol-lwt/Linol_lwt__Task/index.html new file mode 100644 index 00000000..b8256d4e --- /dev/null +++ b/dev/linol-lwt/Linol_lwt__Task/index.html @@ -0,0 +1,2 @@ + +Linol_lwt__Task (linol-lwt.Linol_lwt__Task)

Module Linol_lwt__Task

Tasks

Tasks built on top of Lwt, for cooperative multi-threading.

type 'a t

A task

type 'a m = 'a Lwt.t

Computation within the task

type cancel
val return : 'a -> 'a m
val start : ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> 'a t
val descr : _ t -> string option
val run : 'a t -> ('a, exn) Stdlib.result
val run_sub : parent:_ t -> ?⁠descr:string -> ?⁠cancel:cancel -> ('a t -> 'a m) -> ('a, exn) Stdlib.result m
module Wrapped_error : sig ... end
val unwrap : ('a, exn) Stdlib.result -> 'a m
val is_cancelled : _ t -> bool
val cancel : _ t -> unit
val pause : _ t -> unit m
val wait_all : (unit, exn) Stdlib.result m list -> (unit, exn) Stdlib.result m
module Infix : sig ... end
include module type of Infix
val let+ : 'a m -> ('a -> 'b) -> 'b m
val let* : 'a m -> ('a -> 'b m) -> 'b m
val (>|=) : 'a m -> ('a -> 'b) -> 'b m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val and+ : 'a m -> 'b m -> ('a * 'b) m
\ No newline at end of file diff --git a/dev/linol-lwt/index.html b/dev/linol-lwt/index.html new file mode 100644 index 00000000..b63a0b23 --- /dev/null +++ b/dev/linol-lwt/index.html @@ -0,0 +1,2 @@ + +index (linol-lwt.index)

linol-lwt index

Library linol-lwt

The entry point of this library is the module: Linol_lwt.

\ No newline at end of file diff --git a/dev/linol/Linol/.dune-keep b/dev/linol/Linol/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/linol/Linol/Make/argument-1-IO/index.html b/dev/linol/Linol/Make/argument-1-IO/index.html new file mode 100644 index 00000000..708f70a5 --- /dev/null +++ b/dev/linol/Linol/Make/argument-1-IO/index.html @@ -0,0 +1,2 @@ + +1-IO (linol.Linol.Make.1-IO)

Parameter Make.1-IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
\ No newline at end of file diff --git a/dev/linol/Linol/Make/class-base_server/index.html b/dev/linol/Linol/Make/class-base_server/index.html new file mode 100644 index 00000000..362c82fc --- /dev/null +++ b/dev/linol/Linol/Make/class-base_server/index.html @@ -0,0 +1,2 @@ + +base_server (linol.Linol.Make.base_server)

Class Make.base_server

The server baseclass

method virtual on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
method virtual on_request : a. 'a Lsp.Client_request.t -> 'a IO.t
method must_quit : < must_quit : bool; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; .. > -> bool

Set to true if the client requested to exit

\ No newline at end of file diff --git a/dev/linol/Linol/Make/class-notify_back/index.html b/dev/linol/Linol/Make/class-notify_back/index.html new file mode 100644 index 00000000..939d3afb --- /dev/null +++ b/dev/linol/Linol/Make/class-notify_back/index.html @@ -0,0 +1,2 @@ + +notify_back (linol.Linol.Make.notify_back)

Class Make.notify_back

A wrapper to more easily reply to notifications

method send_log_msg : < send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t; send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t; send_notification : Lsp.Server_notification.t -> unit IO.t; .. > -> type_:Lsp__Types.MessageType.t -> string -> unit IO.t

Send a log message to the editor

method send_diagnostic : < send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t; send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t; send_notification : Lsp.Server_notification.t -> unit IO.t; .. > -> Lsp.Types.Diagnostic.t list -> unit IO.t

Send diagnostics for the current document

method send_notification : < send_diagnostic : Lsp.Types.Diagnostic.t list -> unit IO.t; send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t; send_notification : Lsp.Server_notification.t -> unit IO.t; .. > -> Lsp.Server_notification.t -> unit IO.t

Send a notification (general purpose method)

\ No newline at end of file diff --git a/dev/linol/Linol/Make/class-server/index.html b/dev/linol/Linol/Make/class-server/index.html new file mode 100644 index 00000000..9bfc3938 --- /dev/null +++ b/dev/linol/Linol/Make/class-server/index.html @@ -0,0 +1,2 @@ + +server (linol.Linol.Make.server)

Class Make.server

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.

inherit base_server
val mutable _quit : bool
val docs : (Lsp.Types.DocumentUri.t, doc_state) Stdlib.Hashtbl.t
method must_quit : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> bool
method find_doc : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> Lsp.Types.DocumentUri.t -> doc_state option

Find current state of the given document, if present.

method on_request_unhandled : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> r. 'r Lsp.Client_request.t -> 'r IO.t

Overload to process other requests

method config_sync_opts : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> Lsp.Types.TextDocumentSyncOptions.t

Parameter for how to synchronize content with the editor

method on_req_initialize : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t
method on_req_hover : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t

Called when the user hovers on some identifier in the document

method on_req_completion : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t

Called when the user requests completion in the document

method on_req_definition : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t

Called when the user wants to jump-to-definition

method on_request : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> a. 'a Lsp.Client_request.t -> 'a IO.t
method virtual on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t

Called when a document is opened

method virtual on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t
method virtual on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t

Called when the document changes.

method on_notification : < config_sync_opts : Lsp.Types.TextDocumentSyncOptions.t; find_doc : Lsp.Types.DocumentUri.t -> doc_state option; must_quit : bool; on_notif_doc_did_change : notify_back:notify_back -> Lsp.Types.VersionedTextDocumentIdentifier.t -> Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> unit IO.t; on_notif_doc_did_close : notify_back:notify_back -> Lsp.Types.TextDocumentIdentifier.t -> unit IO.t; on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> unit IO.t; on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t; on_req_completion : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> ctx:Lsp__Types.CompletionContext.t option -> doc_state -> [ `CompletionList of Lsp__.Types.CompletionList.t | `List of Lsp__.Types.CompletionItem.t list ] option IO.t; on_req_definition : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Locations.t option IO.t; on_req_hover : uri:Lsp__Types.DocumentUri.t -> pos:Lsp__Types.Position.t -> doc_state -> Lsp.Types.Hover.t option IO.t; on_req_initialize : Lsp.Types.InitializeParams.t -> Lsp.Types.InitializeResult.t IO.t; on_request : a. 'a Lsp.Client_request.t -> 'a IO.t; on_request_unhandled : r. 'r Lsp.Client_request.t -> 'r IO.t; .. > -> notify_back:(Lsp.Server_notification.t -> unit IO.t) -> Lsp.Client_notification.t -> unit IO.t
\ No newline at end of file diff --git a/dev/linol/Linol/Make/index.html b/dev/linol/Linol/Make/index.html new file mode 100644 index 00000000..2be6b695 --- /dev/null +++ b/dev/linol/Linol/Make/index.html @@ -0,0 +1,2 @@ + +Make (linol.Linol.Make)

Module Linol.Make

Server interface for some IO substrate

Parameters

Signature

module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
class virtual base_server : object ... end

The server baseclass

class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> ?⁠version:int option -> uri:Lsp.Types.DocumentUri.t -> unit -> object ... end

A wrapper to more easily reply to notifications

type doc_state = {
uri : Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
content : string;
}

Current state of a document.

class virtual server : object ... end

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.

\ No newline at end of file diff --git a/dev/linol/Linol/index.html b/dev/linol/Linol/index.html new file mode 100644 index 00000000..56204b49 --- /dev/null +++ b/dev/linol/Linol/index.html @@ -0,0 +1,2 @@ + +Linol (linol.Linol)

Module Linol

Linol

Abstraction over The "Lsp" library, to make it easier to develop LSP servers in OCaml (but not necessarily for OCaml).

module type IO = sig ... end
module Make : functor (IO : IO) -> sig ... end
\ No newline at end of file diff --git a/dev/linol/Linol/module-type-IO/index.html b/dev/linol/Linol/module-type-IO/index.html new file mode 100644 index 00000000..47835cab --- /dev/null +++ b/dev/linol/Linol/module-type-IO/index.html @@ -0,0 +1,2 @@ + +IO (linol.Linol.IO)

Module type Linol.IO

Parametrized IO Interface

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
\ No newline at end of file diff --git a/dev/linol/index.html b/dev/linol/index.html new file mode 100644 index 00000000..a6b368a2 --- /dev/null +++ b/dev/linol/index.html @@ -0,0 +1,2 @@ + +index (linol.index)

linol index

Library linol

The entry point of this library is the module: Linol.

\ No newline at end of file diff --git a/dev/odoc.css b/dev/odoc.css new file mode 100644 index 00000000..c86c417e --- /dev/null +++ b/dev/odoc.css @@ -0,0 +1,764 @@ +@charset "UTF-8"; +/* Copyright (c) 2016 The odoc contributors. All rights reserved. + Distributed under the ISC license, see terms at the end of the file. + odoc 1.4.0 */ + +/* Fonts */ +@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500'); +@import url('https://fonts.googleapis.com/css?family=Noticia+Text:400,400i,700'); +@import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,500,500i,600,600i,700,700i'); + + +/* Reset a few things. */ + +html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video { + margin: 0; + padding: 0; + border: 0; + font-size: inherit; + font: inherit; + line-height: inherit; + vertical-align: baseline; + text-align: inherit; + color: inherit; + background: transparent; +} + +table { + border-collapse: collapse; + border-spacing: 0; +} + +*, *:before, *:after { + box-sizing: border-box; +} + +html { + font-size: 15px; +} + +body { + font-family: "Fira Sans", Helvetica, Arial, sans-serif; + text-align: left; + color: #333; + background: #FFFFFF; +} + +.content { + max-width: 90ex; + margin-left: calc(10vw + 20ex); + margin-right: 4ex; + margin-top: 20px; + margin-bottom: 50px; + font-family: "Noticia Text", Georgia, serif; + line-height: 1.5; +} + +.content>header { + margin-bottom: 30px; +} + +.content>header nav { + font-family: "Fira Sans", Helvetica, Arial, sans-serif; +} + +/* Basic markup elements */ + +b, strong { + font-weight: 500; +} + +i, em { + font-style: italic; +} + +sup { + vertical-align: super; +} + +sub { + vertical-align: sub; +} + +sup, sub { + font-size: 12px; + line-height: 0; + margin-left: 0.2ex; +} + +pre { + margin-top: 0.8em; + margin-bottom: 1.2em; +} + +p, ul, ol { + margin-top: 0.5em; + margin-bottom: 1em; +} +ul, ol { + list-style-position: outside +} + +ul>li { + margin-left: 22px; +} + +ol>li { + margin-left: 27.2px; +} + +li>*:first-child { + margin-top: 0 +} + +/* Text alignements, this should be forbidden. */ + +.left { + text-align: left; +} + +.right { + text-align: right; +} + +.center { + text-align: center; +} + +/* Links and anchors */ + +a { + text-decoration: none; + color: #2C5CBD; +} + +a:hover { + box-shadow: 0 1px 0 0 #2C5CBD; +} + +/* Linked highlight */ +*:target { + background-color: rgba(187,239,253,0.3) !important; + box-shadow: 0 0px 0 1px rgba(187,239,253,0.8) !important; + border-radius: 1px; +} + +*:hover>a.anchor { + visibility: visible; +} + +a.anchor:before { + content: "#" +} + +a.anchor:hover { + box-shadow: none; + text-decoration: none; + color: #555; +} + +a.anchor { + visibility: hidden; + position: absolute; + /* top: 0px; */ + /* margin-left: -3ex; */ + margin-left: -1.3em; + font-weight: normal; + font-style: normal; + padding-right: 0.4em; + padding-left: 0.4em; + /* To remain selectable */ + color: #d5d5d5; +} + +.spec > a.anchor { + margin-left: -2.3em; + padding-right: 0.9em; +} + +.xref-unresolved { + color: #2C5CBD; +} +.xref-unresolved:hover { + box-shadow: 0 1px 0 0 #CC6666; +} + +/* Section and document divisions. + Until at least 4.03 many of the modules of the stdlib start at .h7, + we restart the sequence there like h2 */ + +h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 { + font-family: "Fira Sans", Helvetica, Arial, sans-serif; + font-weight: 400; + margin: 0.5em 0 0.5em 0; + padding-top: 0.1em; + line-height: 1.2; + overflow-wrap: break-word; +} + +h1 { + font-weight: 500; + font-size: 2.441em; + margin-top: 1.214em; +} + +h1 { + font-weight: 500; + font-size: 1.953em; + box-shadow: 0 1px 0 0 #ddd; +} + +h2 { + font-size: 1.563em; +} + +h3 { + font-size: 1.25em; +} + +small, .font_small { + font-size: 0.8em; +} + +h1 code, h1 tt { + font-size: inherit; + font-weight: inherit; +} + +h2 code, h2 tt { + font-size: inherit; + font-weight: inherit; +} + +h3 code, h3 tt { + font-size: inherit; + font-weight: inherit; +} + +h3 code, h3 tt { + font-size: inherit; + font-weight: inherit; +} + +h4 { + font-size: 1.12em; +} + + +/* Preformatted and code */ + +tt, code, pre { + font-family: "Fira Mono", courier; + font-weight: 400; +} + +pre { + padding: 0.1em; + border: 1px solid #eee; + border-radius: 5px; + overflow-x: auto; +} + +p code, li code { + background-color: #f6f8fa; + color: #0d2b3e; + border-radius: 3px; + padding: 0 0.3ex; +} + +p a > code { + color: #2C5CBD; +} + +/* Code blocks (e.g. Examples) */ + +pre code { + font-size: 0.893rem; +} + +/* Code lexemes */ + +.keyword { + font-weight: 500; +} + +/* Module member specification */ + +.spec:not(.include), .spec.include details summary { + background-color: #f6f8fa; + border-radius: 3px; + border-left: 4px solid #5c9cf5; + border-right: 5px solid transparent; + padding: 0.35em 0.5em; +} + +.spec.include details summary:hover { + background-color: #ebeff2; +} + +dl, div.spec, .doc, aside { + margin-bottom: 20px; +} + +dl > dd { + padding: 0.5em; +} + +dd> :first-child { + margin-top: 0; +} + +dl:last-child, dd> :last-child, aside:last-child, article:last-child { + margin-bottom: 0; +} + +dt+dt { + margin-top: 15px; +} + +section+section, section > header + dl { + margin-top: 25px; +} + +.spec.type .variant { + margin-left: 2ch; +} +.spec.type .variant p { + margin: 0; + font-style: italic; +} +.spec.type .record { + margin-left: 2ch; +} +.spec.type .record p { + margin: 0; + font-style: italic; +} + +div.def { + margin-top: 0; + text-indent: -2ex; + padding-left: 2ex; +} + +div.def+div.doc { + margin-left: 1ex; + margin-top: 2.5px +} + +div.doc>*:first-child { + margin-top: 0; +} + +/* The elements other than heading should be wrapped in