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.