notify_back (linol-lwt.Linol_lwt.Jsonrpc2.notify

val mutable uri : Linol_lsp.Lsp.Types.DocumentUri.t option

method cancel_request : Linol_jsonrpc.Jsonrpc.Id.t -> unit IO.t

method get_uri : Linol_lsp.Lsp.Types.DocumentUri.t option

method send_diagnostic : Diagnostic.t list -> unit IO.t

method send_log_msg : type_:Linol_lsp__Types.MessageType.t ->
  string ->
  unit IO.t

method send_notification : Linol_lsp.Lsp.Server_notification.t -> unit IO.t

method send_request : 'from_server. '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

method set_uri : Linol_lsp.Lsp.Types.DocumentUri.t -> unit

method telemetry : Linol_lsp.Import.Json.t -> unit IO.t

method work_done_progress_begin : Linol_lsp.Lsp.Types.WorkDoneProgressBegin.t ->
  unit IO.t

method work_done_progress_end : Linol_lsp.Lsp.Types.WorkDoneProgressEnd.t ->
  unit IO.t

method work_done_progress_report : Linol_lsp.Lsp.Types.WorkDoneProgressReport.t ->
  unit IO.t