From 045387fbdc6b57164cc046d8817d3e0e3f00bcfb Mon Sep 17 00:00:00 2001 From: c-cube Date: Wed, 31 Jul 2024 16:40:16 +0000 Subject: [PATCH] deploy: f09e36523ff9093218986088cb0eadd3d6520b81 --- linol-lwt/Linol_lwt/IO_lwt/index.html | 5 ++++- linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html | 5 ++++- linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html | 2 +- linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html | 2 +- linol-lwt/Linol_lwt/Jsonrpc2/index.html | 2 +- linol-lwt/Linol_lwt/index.html | 5 ++++- linol/Linol/Blocking_IO/index.html | 5 ++++- linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html | 5 ++++- linol/Linol/Jsonrpc2/Make/class-base_server/index.html | 2 +- linol/Linol/Jsonrpc2/Make/class-server/index.html | 2 +- linol/Linol/Jsonrpc2/Make/index.html | 2 +- linol/Linol/Jsonrpc2/module-type-IO/index.html | 5 ++++- linol/Linol/Jsonrpc2/module-type-S/IO/index.html | 5 ++++- .../Jsonrpc2/module-type-S/class-base_server/index.html | 2 +- linol/Linol/Jsonrpc2/module-type-S/class-server/index.html | 2 +- linol/Linol/Jsonrpc2/module-type-S/index.html | 2 +- linol/Linol/Server/Make/argument-1-IO/index.html | 5 ++++- linol/Linol/Server/Make/class-base_server/index.html | 2 +- linol/Linol/Server/Make/class-server/index.html | 2 +- linol/Linol/Server/Make/index.html | 2 +- linol/Linol/module-type-IO/index.html | 5 ++++- 21 files changed, 48 insertions(+), 21 deletions(-) diff --git a/linol-lwt/Linol_lwt/IO_lwt/index.html b/linol-lwt/Linol_lwt/IO_lwt/index.html index 35934a2c..ae565087 100644 --- a/linol-lwt/Linol_lwt/IO_lwt/index.html +++ b/linol-lwt/Linol_lwt/IO_lwt/index.html @@ -1,2 +1,5 @@ -IO_lwt (linol-lwt.Linol_lwt.IO_lwt)

Module Linol_lwt.IO_lwt

type 'a t = 'a Lwt.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 env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO_lwt (linol-lwt.Linol_lwt.IO_lwt)

Module Linol_lwt.IO_lwt

type 'a t = 'a Lwt.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 env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html index d2c0152a..c1bf77ef 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html @@ -1,2 +1,5 @@ -IO (linol-lwt.Linol_lwt.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a IO_lwt.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 env = IO_lwt.env
type in_channel = IO_lwt.in_channel
type out_channel = IO_lwt.out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol-lwt.Linol_lwt.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a IO_lwt.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 env = IO_lwt.env
type in_channel = IO_lwt.in_channel
type out_channel = IO_lwt.out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html index 73df911f..52fafa16 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/class-base_server/index.html @@ -6,4 +6,4 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
+ ('a, string) result IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html index bf1c54b0..b9865e5f 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html @@ -92,7 +92,7 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> + ('a, string) result IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> id:Req_id.t -> 'r Lsp.Client_request.t -> 'r IO.t
method on_unknown_notification : notify_back:notify_back -> diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/index.html index 8966a9b1..ba63de31 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/index.html @@ -4,7 +4,7 @@ unit IO.t) -> server_request_handler_pair
class virtual base_server : object ... end
val async : base_server -> (unit -> unit IO.t) -> unit IO.t
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:(server_request_handler_pair -> Req_id.t IO.t) -> workDoneToken:[ `Int of int | `String of string ] option -> partialResultToken:'a -> ?version: - int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
class virtual server : object ... end
val create : + int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
val lift_ok : 'a IO.t -> ('a, 'b) result IO.t
class virtual server : object ... end
val create : ?on_received:(Yojson.Safe.t -> unit) -> ?on_sent:(Yojson.Safe.t -> unit) -> ic:IO.in_channel -> diff --git a/linol-lwt/Linol_lwt/index.html b/linol-lwt/Linol_lwt/index.html index 40e46978..5dab55d1 100644 --- a/linol-lwt/Linol_lwt/index.html +++ b/linol-lwt/Linol_lwt/index.html @@ -92,4 +92,7 @@ Lsp.Types.WorkspaceDocumentDiagnosticReport
module WorkspaceDiagnosticReport = Lsp.Types.WorkspaceDiagnosticReport
module WorkspaceDiagnosticReportPartialResult = Lsp.Types.WorkspaceDiagnosticReportPartialResult
module WorkspaceFoldersInitializeParams = Lsp.Types.WorkspaceFoldersInitializeParams
module WorkspaceSymbol = Lsp.Types.WorkspaceSymbol
module WorkspaceSymbolParams = Lsp.Types.WorkspaceSymbolParams
module WorkspaceSymbolRegistrationOptions = - Lsp.Types.WorkspaceSymbolRegistrationOptions
module CodeActionResult = Lsp.Types.CodeActionResult
module Locations = Lsp.Types.Locations
include module type of struct include IO_lwt end
type 'a t = 'a Lwt.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 env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
type doc_state = Linol.Server.doc_state
module Jsonrpc2 : sig ... end
val run : 'a Lwt.t -> 'a
+ Lsp.Types.WorkspaceSymbolRegistrationOptions
module CodeActionResult = Lsp.Types.CodeActionResult
module Locations = Lsp.Types.Locations
include module type of struct include IO_lwt end
type 'a t = 'a Lwt.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 env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
type doc_state = Linol.Server.doc_state
module Jsonrpc2 : sig ... end
val run : 'a Lwt.t -> 'a
diff --git a/linol/Linol/Blocking_IO/index.html b/linol/Linol/Blocking_IO/index.html index e13dee22..f1983dc6 100644 --- a/linol/Linol/Blocking_IO/index.html +++ b/linol/Linol/Blocking_IO/index.html @@ -1,2 +1,5 @@ -Blocking_IO (linol.Linol.Blocking_IO)

Module Linol.Blocking_IO

Blocking IO with a new thread for each spawn.

type 'a t = 'a
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 env = unit
type in_channel = in_channel
type out_channel = out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
val n_bytes_written : int Stdlib.Atomic.t
  • since 0.5
val n_bytes_read : int Stdlib.Atomic.t
  • since 0.5
val default_spawn : (unit -> unit) -> unit

Start a new thread.

  • since 0.5
+Blocking_IO (linol.Linol.Blocking_IO)

Module Linol.Blocking_IO

Blocking IO with a new thread for each spawn.

type 'a t = 'a
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 env = unit
type in_channel = in_channel
type out_channel = out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
val n_bytes_written : int Stdlib.Atomic.t
  • since 0.5
val n_bytes_read : int Stdlib.Atomic.t
  • since 0.5
val default_spawn : (unit -> unit) -> unit

Start a new thread.

  • since 0.5
diff --git a/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html b/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html index d3860f5b..a24ea51f 100644 --- a/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html +++ b/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html @@ -1,2 +1,5 @@ -IO (linol.Linol.Jsonrpc2.Make.IO)

Parameter Make.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.Make.IO)

Parameter Make.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol/Linol/Jsonrpc2/Make/class-base_server/index.html b/linol/Linol/Jsonrpc2/Make/class-base_server/index.html index 42248c2c..a2aee2c3 100644 --- a/linol/Linol/Jsonrpc2/Make/class-base_server/index.html +++ b/linol/Linol/Jsonrpc2/Make/class-base_server/index.html @@ -6,4 +6,4 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
+ ('a, string) result IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
diff --git a/linol/Linol/Jsonrpc2/Make/class-server/index.html b/linol/Linol/Jsonrpc2/Make/class-server/index.html index 02a6a47a..e0d9fb18 100644 --- a/linol/Linol/Jsonrpc2/Make/class-server/index.html +++ b/linol/Linol/Jsonrpc2/Make/class-server/index.html @@ -92,7 +92,7 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> + ('a, string) result IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> id:Req_id.t -> 'r Lsp.Client_request.t -> 'r IO.t
method on_unknown_notification : notify_back:notify_back -> diff --git a/linol/Linol/Jsonrpc2/Make/index.html b/linol/Linol/Jsonrpc2/Make/index.html index 5db5cf38..136c1d54 100644 --- a/linol/Linol/Jsonrpc2/Make/index.html +++ b/linol/Linol/Jsonrpc2/Make/index.html @@ -4,7 +4,7 @@ unit IO.t) -> server_request_handler_pair
class virtual base_server : object ... end
val async : base_server -> (unit -> unit IO.t) -> unit IO.t
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:(server_request_handler_pair -> Req_id.t IO.t) -> workDoneToken:[ `Int of int | `String of string ] option -> partialResultToken:'a -> ?version: - int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
class virtual server : object ... end
val create : + int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
val lift_ok : 'a IO.t -> ('a, 'b) result IO.t
class virtual server : object ... end
val create : ?on_received:(json -> unit) -> ?on_sent:(json -> unit) -> ic:IO.in_channel -> diff --git a/linol/Linol/Jsonrpc2/module-type-IO/index.html b/linol/Linol/Jsonrpc2/module-type-IO/index.html index 05ccc3f0..0c8fdd36 100644 --- a/linol/Linol/Jsonrpc2/module-type-IO/index.html +++ b/linol/Linol/Jsonrpc2/module-type-IO/index.html @@ -1,2 +1,5 @@ -IO (linol.Linol.Jsonrpc2.IO)

Module type Jsonrpc2.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.IO)

Module type Jsonrpc2.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol/Linol/Jsonrpc2/module-type-S/IO/index.html b/linol/Linol/Jsonrpc2/module-type-S/IO/index.html index bc5c0788..80cbc0b8 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/IO/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/IO/index.html @@ -1,2 +1,5 @@ -IO (linol.Linol.Jsonrpc2.S.IO)

Module S.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.S.IO)

Module S.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol/Linol/Jsonrpc2/module-type-S/class-base_server/index.html b/linol/Linol/Jsonrpc2/module-type-S/class-base_server/index.html index a2def77b..a33df069 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/class-base_server/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/class-base_server/index.html @@ -6,4 +6,4 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
+ ('a, string) result IO.t
method spawn_query_handler : (unit -> unit IO.t) -> unit
diff --git a/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html b/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html index b01c2e1b..4bf6425b 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html @@ -92,7 +92,7 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> + ('a, string) result IO.t
method on_request_unhandled : 'r. notify_back:notify_back -> id:Req_id.t -> 'r Lsp.Client_request.t -> 'r IO.t
method on_unknown_notification : notify_back:notify_back -> diff --git a/linol/Linol/Jsonrpc2/module-type-S/index.html b/linol/Linol/Jsonrpc2/module-type-S/index.html index 175298ff..9129b7f4 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/index.html @@ -4,7 +4,7 @@ unit IO.t) -> server_request_handler_pair
class virtual base_server : object ... end
val async : base_server -> (unit -> unit IO.t) -> unit IO.t
class notify_back : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:(server_request_handler_pair -> Req_id.t IO.t) -> workDoneToken:[ `Int of int | `String of string ] option -> partialResultToken:'a -> ?version: - int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
class virtual server : object ... end
val create : + int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end
type nonrec doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}
val lift_ok : 'a IO.t -> ('a, 'b) result IO.t
class virtual server : object ... end
val create : ?on_received:(json -> unit) -> ?on_sent:(json -> unit) -> ic:IO.in_channel -> diff --git a/linol/Linol/Server/Make/argument-1-IO/index.html b/linol/Linol/Server/Make/argument-1-IO/index.html index f2ccbcec..467d0e18 100644 --- a/linol/Linol/Server/Make/argument-1-IO/index.html +++ b/linol/Linol/Server/Make/argument-1-IO/index.html @@ -1,2 +1,5 @@ -IO (linol.Linol.Server.Make.IO)

Parameter Make.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Server.Make.IO)

Parameter Make.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t
diff --git a/linol/Linol/Server/Make/class-base_server/index.html b/linol/Linol/Server/Make/class-base_server/index.html index cac5766c..79624be2 100644 --- a/linol/Linol/Server/Make/class-base_server/index.html +++ b/linol/Linol/Server/Make/class-base_server/index.html @@ -8,4 +8,4 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t

Method called to handle client requests.

  • parameter notify_back

    an object used to reply to the client, send progress messages, diagnostics, etc.

  • parameter id

    the query RPC ID, can be used for tracing, cancellation, etc.

method must_quit : bool

Set to true if the client requested to exit

method virtual spawn_query_handler : (unit -> unit IO.t) -> unit

How to start a new future/task/thread concurrently. This is used to process incoming user queries.

  • since 0.5
+ ('a, string) result IO.t

Method called to handle client requests.

method must_quit : bool

Set to true if the client requested to exit

method virtual spawn_query_handler : (unit -> unit IO.t) -> unit

How to start a new future/task/thread concurrently. This is used to process incoming user queries.

  • since 0.5
diff --git a/linol/Linol/Server/Make/class-server/index.html b/linol/Linol/Server/Make/class-server/index.html index 0689522d..64a80010 100644 --- a/linol/Linol/Server/Make/class-server/index.html +++ b/linol/Linol/Server/Make/class-server/index.html @@ -83,7 +83,7 @@ server_request:send_request -> id:Req_id.t -> 'a Lsp.Client_request.t -> - 'a IO.t
method virtual on_notif_doc_did_open : notify_back:notify_back -> + ('a, string) result 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 -> diff --git a/linol/Linol/Server/Make/index.html b/linol/Linol/Server/Make/index.html index 06f58c69..534b027d 100644 --- a/linol/Linol/Server/Make/index.html +++ b/linol/Linol/Server/Make/index.html @@ -5,4 +5,4 @@ unit IO.t) -> server_request:(server_request_handler_pair -> Req_id.t IO.t) -> workDoneToken:[ `Int of int | `String of string ] option -> partialResultToken:'a -> ?version: int - option -> ?uri:Lsp.Types.DocumentUri.t option -> unit -> object ... end

A wrapper to more easily reply to notifications

type nonrec doc_state = doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. 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.

+ option -> ?uri:Lsp.Types.DocumentUri.t option -> unit -> object ... end

A wrapper to more easily reply to notifications

type nonrec doc_state = doc_state = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. languageId : string;
  3. version : int;
  4. content : string;
}

Current state of a document.

val lift_ok : 'a IO.t -> ('b, 'c) result IO.t
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.

diff --git a/linol/Linol/module-type-IO/index.html b/linol/Linol/module-type-IO/index.html index a94c440a..838ec193 100644 --- a/linol/Linol/module-type-IO/index.html +++ b/linol/Linol/module-type-IO/index.html @@ -1,2 +1,5 @@ -IO (linol.Linol.IO)

Module type Linol.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.IO)

Module type Linol.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 env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> Stdlib.Printexc.raw_backtrace -> unit t
val catch : + (unit -> 'a t) -> + (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) -> + 'a t