
  0 | module Language.LSP.Message.Cancel
  1 | 
  2 | import Language.JSON
  3 | import Language.LSP.Message.Derive
  4 | import Language.LSP.Message.Utils
  5 | import Language.Reflection
  6 | 
  7 | %language ElabReflection
  8 | %default total
  9 | 
 10 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#cancelRequest
 11 | public export
 12 | record CancelParams where
 13 |   constructor MkCancelParams
 14 |   id : OneOf [Int, String]
 15 | %runElab deriveJSON defaultOpts `{CancelParams}
 16 |