Idris2Doc : Language.LSP.Message.RegularExpressions

Language.LSP.Message.RegularExpressions

(source)
Definitions
record RegularExpressionsClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#regExp

  Totality: total
  Visibility: public export
  Constructor: 
MkRegularExpressionsClientCapabilities : String -> Maybe String -> RegularExpressionsClientCapabilities

  Projections:
  
.engine : RegularExpressionsClientCapabilities -> String
  
.version : RegularExpressionsClientCapabilities -> Maybe String

  Hints:
  
FromJSON RegularExpressionsClientCapabilities
  
ToJSON RegularExpressionsClientCapabilities
.engine : RegularExpressionsClientCapabilities -> String
  Totality: total
  Visibility: public export
engine : RegularExpressionsClientCapabilities -> String
  Totality: total
  Visibility: public export
.version : RegularExpressionsClientCapabilities -> Maybe String
  Totality: total
  Visibility: public export
version : RegularExpressionsClientCapabilities -> Maybe String
  Totality: total
  Visibility: public export