Module Lsp.IoSource

JSON-RPC input/output

Sourceval set_log_fn : (Base.Notification.t -> unit) -> unit

Set the log output function

Sourceval read_message : in_channel -> (Base.Message.t, string) Result.t option

Read a JSON-RPC message from channel; None signals EOF

Sourceval send_message : Format.formatter -> Base.Message.t -> unit

Send a JSON-RPC message to channel

Logging

Sourcemodule TraceValue : sig ... end

Trace values

Sourceval set_trace_value : TraceValue.t -> unit

Set the trace value

Sourcemodule Lvl : sig ... end
Sourcemodule MessageParams : sig ... end
Sourceval mk_logMessage : type_:int -> message:string -> Base.Notification.t

Create a logMessage notification

Sourceval logMessage : lvl:Lvl.t -> message:string -> unit

Send a window/logMessage notification to the client

Sourceval logMessageInt : lvl:int -> message:string -> unit

Send a window/logMessage notification to the client

Sourcemodule TraceParams : sig ... end
Sourceval mk_logTrace : message:string -> extra:string option -> Base.Notification.t

Create a logTrace notification

Sourceval logTrace : message:string -> extra:string option -> unit

Send a $/logTrace notification to the client