gen_lsp v0.10.0

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

Types

result()
t()

Link to this section Types

Link to this type

result()

View Source 
@type result() :: GenLSP.TypeAlias.LSPAny.t() | nil
Link to this type

t()

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