Language.LSP.Severity

Logging utilities for the LSP server implementation.

(C) The Idris Community, 2023

Definitions

data Severity : Type

  Type for the severity of logging messages.
  Levels are roughly categorised as follow:
  - Debug    Messages targeted only for developing purposes
  - Info     Messages for progress without unexpected behaviour or errors
  - Warning  Messages for unsupported requests or wrong configurations
  - Error    Messages for either server or compiler error which are unexpected but recoverable
  - Critical Messages for error that require immediate stopping of the server

Totality: total
Visibility: public export
Constructors:

Debug : Severity

Info : Severity

Warning : Severity

Error : Severity

Critical : Severity

Hints:

Cast Severity Integer

Eq Severity

Ord Severity

Show Severity

parseSeverity : String -> Maybe Severity

Totality: total
Visibility: export