Module Lsp.Server_requestSource

Sourcetype _ t =
  1. | WorkspaceApplyEdit : Types.ApplyWorkspaceEditParams.t -> Types.ApplyWorkspaceEditResult.t t
  2. | WorkspaceFolders : Types.WorkspaceFolder.t list t
  3. | WorkspaceConfiguration : Types.ConfigurationParams.t -> Import.Json.t list t
  4. | ClientRegisterCapability : Types.RegistrationParams.t -> unit t
  5. | ClientUnregisterCapability : Types.UnregistrationParams.t -> unit t
  6. | ShowMessageRequest : Types.ShowMessageRequestParams.t -> Types.MessageActionItem.t option t
  7. | ShowDocumentRequest : Types.ShowDocumentParams.t -> Types.ShowDocumentResult.t t
  8. | WorkDoneProgressCreate : Types.WorkDoneProgressCreateParams.t -> unit t
  9. | CodeLensRefresh : unit t
  10. | SemanticTokensRefresh : unit t
  11. | WorkspaceDiagnosticRefresh : unit t
  12. | UnknownRequest : string * Jsonrpc.Structured.t option -> Import.Json.t t
Sourcetype packed =
  1. | E : 'r t -> packed
Sourceval yojson_of_result : 'a t -> 'a -> Import.Json.t
Sourceval to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.t
Sourceval of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.t
Sourceval response_of_json : 'a t -> Import.Json.t -> 'a