
  0 | ||| Module for the parsing and encoding LSP messages, updated to version 3.16.
  1 | |||
  2 | ||| References:
  3 | |||   [1] https://microsoft.github.io/language-server-protocol/specifications/specification-3-16/
  4 | |||
  5 | ||| (C) The Idris Community, 2021
  6 | module Language.LSP.Message
  7 | 
  8 | import public Language.LSP.Message.CallHierarchy
  9 | import public Language.LSP.Message.Cancel
 10 | import public Language.LSP.Message.ClientCapabilities
 11 | import public Language.LSP.Message.CodeAction
 12 | import public Language.LSP.Message.CodeLens
 13 | import public Language.LSP.Message.Command
 14 | import public Language.LSP.Message.Completion
 15 | import public Language.LSP.Message.Declaration
 16 | import public Language.LSP.Message.Definition
 17 | import public Language.LSP.Message.Derive
 18 | import public Language.LSP.Message.Diagnostics
 19 | import public Language.LSP.Message.DocumentColor
 20 | import public Language.LSP.Message.DocumentFormatting
 21 | import public Language.LSP.Message.DocumentHighlight
 22 | import public Language.LSP.Message.DocumentLink
 23 | import public Language.LSP.Message.DocumentSymbols
 24 | import public Language.LSP.Message.FoldingRange
 25 | import public Language.LSP.Message.Hover
 26 | import public Language.LSP.Message.Implementation
 27 | import public Language.LSP.Message.Initialize
 28 | import public Language.LSP.Message.LinkedEditingRange
 29 | import public Language.LSP.Message.Location
 30 | import public Language.LSP.Message.Markup
 31 | import public Language.LSP.Message.Message
 32 | import public Language.LSP.Message.Method
 33 | import public Language.LSP.Message.Moniker
 34 | import public Language.LSP.Message.Progress
 35 | import public Language.LSP.Message.References
 36 | import public Language.LSP.Message.Registration
 37 | import public Language.LSP.Message.RegularExpressions
 38 | import public Language.LSP.Message.Rename
 39 | import public Language.LSP.Message.SelectionRange
 40 | import public Language.LSP.Message.SemanticTokens
 41 | import public Language.LSP.Message.ServerCapabilities
 42 | import public Language.LSP.Message.SignatureHelp
 43 | import public Language.LSP.Message.TextDocument
 44 | import public Language.LSP.Message.Trace
 45 | import public Language.LSP.Message.URI
 46 | import public Language.LSP.Message.Utils
 47 | import public Language.LSP.Message.Window
 48 | import public Language.LSP.Message.Workspace
 49 |