GenLSP.Requests.WorkspaceDiagnosticRefresh (gen_lsp v0.0.4)

The diagnostic refresh request definition.

@since 3.17.0

Link to this section Summary

Link to this section Types

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