GenLSP.Requests.WorkspaceExecuteCommand (gen_lsp v0.0.3)

A request send from the client to the server to execute a command. The request might return a workspace edit which the client will apply to the workspace.

Link to this section Summary

Link to this section Types

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