Cobol_lsp.IOSimple communication functions for the LSP server to send an receive json RPC messages.
initialize_channels () sets stdin and stdout channels in binary mode; this is required for proper operations on some systems.
read_message () tries to read a json RPC message from the standard input stream. Raises End_of_file upon end of input stream.
send_response response sends out a json RPC response on standard output.
send_request required sends out a json RPC request on standard output.
send_notification notif sends out a json RPC notification on standard output.
send_diagnostics ~uri diagnostics sends out a list of diagnostics that pertain to the given URI.
val pretty_message :
?log:bool ->
type_:Lsp.Types.MessageType.t ->
('a, Stdlib.Format.formatter, unit) Stdlib.format ->
'apretty_message ~log ~type_ fmt ... formats any number of arguments according to the format string fmt, and sends the result via a json RPC notification.
val pretty_log : type_:Lsp.Types.MessageType.t -> _ Pretty.procpretty_log ~type_ fmt ... formats any number of arguments according to the format string fmt, and sends the result as a log message via a json RPC notification.
val log : type_:Lsp.Types.MessageType.t -> _ Pretty.procval log_error : _ Pretty.procval log_warn : _ Pretty.procval log_info : _ Pretty.procval log_debug : _ Pretty.procval pretty_notification : type_:Lsp.Types.MessageType.t -> _ Pretty.procpretty_notification ~type_ fmt ... formats any number of arguments according to the format string fmt, and sends the result as a user notification message via a json RPC notification.
val notification : type_:Lsp.Types.MessageType.t -> _ Pretty.procval notify_error : _ Pretty.procval notify_warn : _ Pretty.procval notify_info : _ Pretty.proc