Module Server.TYPES

type registry = private {
  1. projects : Cobol_lsp__.Lsp_project.SET.t;
  2. docs : Cobol_lsp__.Lsp_document.TYPES.document Stdlib__Map.Make(Lsp.Uri).t;
  3. indirect_diags : Lsp.Types.Diagnostic.t list Stdlib__Map.Make(Lsp.Uri).t Stdlib__Map.Make(Lsp.Uri).t;
  4. pending_tasks : pending_tasks;
  5. sub_state : sub_state;
  6. params : Cobol_lsp__.Lsp_types.params;
}
and sub_state
and pending_tasks
type state =
  1. | NotInitialized of Cobol_lsp__.Lsp_types.config
  2. | Initialized of Cobol_lsp__.Lsp_types.params
  3. | Running of registry
  4. | ShuttingDown
  5. | Exit of exit_status
and exit_status = (unit, string) Stdlib.result
type 'a error =
  1. | InvalidStatus of state
  2. | UnhandledRequest of 'a Lsp.Client_request.t
  3. | UnknownRequest of string
exception Document_not_found of Lsp.Types.TextDocumentIdentifier.t