Up – Package index » linol » Library linol.lsp » Linol_lsp » Server_notification

Module `Linol_lsp.Server_notification`Source

Sourcetype t =

| PublishDiagnostics of Types.PublishDiagnosticsParams.t
| ShowMessage of Types.ShowMessageParams.t
| LogMessage of Types.LogMessageParams.t
| LogTrace of Types.LogTraceParams.t
| TelemetryNotification of Import.Json.t
| CancelRequest of Linol_jsonrpc.Jsonrpc.Id.t
| WorkDoneProgress of Progress.t Types.ProgressParams.t
| UnknownNotification of Linol_jsonrpc.Jsonrpc.Notification.t

Sourceval to_jsonrpc : t -> Linol_jsonrpc.Jsonrpc.Notification.t

val of_jsonrpc : 
  Linol_jsonrpc.Jsonrpc.Notification.t ->
  (t, string) Import.Result.t