View Source GenLSP.Requests.WorkspaceDiagnostic (gen_lsp v0.8.1)

The workspace diagnostic request definition.

@since 3.17.0

Message Direction: clientToServer

Link to this section Summary

Types

result()

t()

Link to this section Types

result()

@type result() :: GenLSP.Structures.WorkspaceDiagnosticReport.t()

t()

@type t() :: %GenLSP.Requests.WorkspaceDiagnostic{
  id: integer(),
  jsonrpc: String.t(),
  method: String.t(),
  params: GenLSP.Structures.WorkspaceDiagnosticParams.t() | nil
}