Language.LSP.Message.Cancel

Definitions

record CancelParams : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#cancelRequest

Totality: total
Visibility: public export
Constructor: 

MkCancelParams : OneOf [Int, String] -> CancelParams

Projection: 

.id : CancelParams -> OneOf [Int, String]

Hints:

FromJSON CancelParams

ToJSON CancelParams

.id : CancelParams -> OneOf [Int, String]

Totality: total
Visibility: public export

id : CancelParams -> OneOf [Int, String]

Totality: total
Visibility: public export