GenLSP.Protocol.Structures.DiagnosticOptions (gen_lsp v0.0.1)
Diagnostic options.
@since 3.17.0
properties
Properties
identifier :: string
An optional identifier under which the diagnostics are managed by the client.
interFileDependencies :: boolean (required)
Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
workspaceDiagnostics :: boolean (required)
The server provides support for workspace diagnostics as well.