gen_lsp v0.8.1

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

A shutdown request is sent from the client to the server. It is sent once when the client decides to shutdown the server. The only notification that is sent after a shutdown request is the exit event.

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() :: nil
Link to this type

t()

View Source 
@type t() :: %GenLSP.Requests.Shutdown{
  id: integer(),
  jsonrpc: String.t(),
  method: String.t()
}