Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
module Diagnostic = Lsp.Types.Diagnostic
module DiagnosticSeverity = Lsp.Types.DiagnosticSeverity
module Req_id : sig ... end
type server_request_handler_pair =
| Request_and_handler : 'from_server Lsp.Server_request.t
* (('from_server, Jsonrpc.Response.Error.t) Stdlib.result ->
unit IO.t) -> server_request_handler_pair
type send_request = server_request_handler_pair -> Req_id.t IO.t
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 = {
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 send_server_notification : t -> Lsp.Server_notification.t -> unit IO.t
Send a notification from the server.
val send_server_request :
t ->
'from_server Lsp.Server_request.t ->
(('from_server, Jsonrpc.Response.Error.t) Stdlib.result -> unit IO.t) ->
Req_id.t IO.t
Send a request from the server, and pass a callback that will be called with the result in the future.