GenLSP.Protocol.Structures.DiagnosticClientCapabilities (gen_lsp v0.0.1)

Client capabilities specific to diagnostic pull requests.

@since 3.17.0

properties

Properties

dynamicRegistration :: boolean

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

relatedDocumentSupport :: boolean

Whether the clients supports related documents for document diagnostic pulls.