Jsonrpc2 (linol-lwt.Linol

module IO : sig ... end

type t

module Position = Linol_lsp.Lsp.Types.Position

module Range = Linol_lsp.Lsp.Types.Range

module Diagnostic = Linol_lsp.Lsp.Types.Diagnostic

module DiagnosticSeverity = Linol_lsp.Lsp.Types.DiagnosticSeverity

module Req_id : sig ... end

Request ID.

type server_request_handler_pair =

| Request_and_handler : 'from_server Linol_lsp.Lsp.Server_request.t * (('from_server, Linol_jsonrpc.Jsonrpc.Response.Error.t) 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:(Linol_lsp.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:Linol_lsp.Lsp.Types.DocumentUri.t -> unit -> object ... end

type nonrec doc_state = {

uri : Linol_lsp.Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
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 ->
  oc:IO.out_channel ->
  server ->
  t

val create_stdio : 
  ?on_received:(Yojson.Safe.t -> unit) ->
  ?on_sent:(Yojson.Safe.t -> unit) ->
  env:IO.env ->
  server ->
  t

val send_server_notification : 
  t ->
  Linol_lsp.Lsp.Server_notification.t ->
  unit IO.t

val send_server_request : 
  t ->
  'from_server Linol_lsp.Lsp.Server_request.t ->
  (('from_server, Linol_jsonrpc.Jsonrpc.Response.Error.t) result -> unit IO.t) ->
  Req_id.t IO.t

val run : ?shutdown:(unit -> bool) -> t -> unit IO.t