Module Fleche_lsp.IoSource

JSON-RPC input/output

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

Sourceval set_log_fn : (string -> Yojson.Safe.t -> unit) -> unit

Set a debug function log action object which is called for read and send, useful to do low-level protocol debug