
  0 | module Language.LSP.Message.RegularExpressions
  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#regExp
 11 | public export
 12 | record RegularExpressionsClientCapabilities where
 13 |   constructor MkRegularExpressionsClientCapabilities
 14 |   engine  : String
 15 |   version : Maybe String
 16 | %runElab deriveJSON defaultOpts `{RegularExpressionsClientCapabilities}
 17 |