View Source GenLSP.Requests.WorkspaceExecuteCommand (gen_lsp v0.10.0)

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.

Message Direction: clientToServer

Link to this section Summary

Link to this section Types

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