Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.LSP.Protocol.Types
Synopsis
- data a |? b
- toEither :: (a |? b) -> Either a b
- _L :: Prism' (a |? b) a
- _R :: Prism' (a |? b) b
- data Int32
- data UInt
- data Null = Null
- absorbNull :: Monoid a => (a |? Null) -> a
- nullToMaybe :: (a |? Null) -> Maybe a
- maybeToNull :: Maybe a -> a |? Null
- (.=?) :: (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
- newtype Uri = Uri {}
- uriToFilePath :: Uri -> Maybe FilePath
- filePathToUri :: FilePath -> Uri
- data NormalizedUri = NormalizedUri !Int !Text
- toNormalizedUri :: Uri -> NormalizedUri
- fromNormalizedUri :: NormalizedUri -> Uri
- data NormalizedFilePath
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
- uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
- emptyNormalizedFilePath :: NormalizedFilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- mkRange :: UInt -> UInt -> UInt -> UInt -> Range
- isSubrangeOf :: Range -> Range -> Bool
- positionInRange :: Position -> Range -> Bool
- class LspEnum a where
- type EnumBaseType a :: Type
- knownValues :: Set a
- toEnumBaseType :: a -> EnumBaseType a
- fromEnumBaseType :: EnumBaseType a -> Maybe a
- class LspEnum a => LspOpenEnum a where
- fromOpenEnumBaseType :: EnumBaseType a -> a
- newtype AsLspEnum a b = AsLspEnum a
- data AString (s :: Symbol) where
- AString :: KnownSymbol s => AString s
- data AnInteger (n :: Nat) where
- type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- _versionedTextDocumentIdentifier :: Prism' OptionalVersionedTextDocumentIdentifier VersionedTextDocumentIdentifier
- mkPlainText :: Text -> MarkupContent
- mkMarkdown :: Text -> MarkupContent
- mkMarkdownCodeBlock :: Text -> Text -> MarkupContent
- sectionSeparator :: Text
- plainTextToMarkdown :: Text -> Text
- codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool
- _workDoneProgressBegin :: Prism' Value WorkDoneProgressBegin
- _workDoneProgressEnd :: Prism' Value WorkDoneProgressEnd
- _workDoneProgressReport :: Prism' Value WorkDoneProgressReport
- defaultSemanticTokensLegend :: SemanticTokensLegend
- data SemanticTokenAbsolute = SemanticTokenAbsolute {}
- data SemanticTokenRelative = SemanticTokenRelative {}
- relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative]
- absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute]
- encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt]
- data Edit a = Edit {
- editStart :: UInt
- editDeleteCount :: UInt
- editInsertions :: [a]
- computeEdits :: Eq a => [a] -> [a] -> [Edit a]
- makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens
- makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta
- containsCreate :: WatchKind -> Bool
- containsChange :: WatchKind -> Bool
- containsDelete :: WatchKind -> Bool
- combineWatchKinds :: Set WatchKind -> WatchKind
- data WorkspaceUnchangedDocumentDiagnosticReport = WorkspaceUnchangedDocumentDiagnosticReport {}
- data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {}
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
- data WorkspaceSymbolOptions = WorkspaceSymbolOptions {}
- data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _symbolKind :: Maybe (Rec (("valueSet" .== Maybe [SymbolKind]) .+ Empty))
- _tagSupport :: Maybe (Rec (("valueSet" .== [SymbolTag]) .+ Empty))
- _resolveSupport :: Maybe (Rec (("properties" .== [Text]) .+ Empty))
- data WorkspaceSymbol = WorkspaceSymbol {}
- data WorkspaceFullDocumentDiagnosticReport = WorkspaceFullDocumentDiagnosticReport {}
- data WorkspaceFoldersServerCapabilities = WorkspaceFoldersServerCapabilities {
- _supported :: Maybe Bool
- _changeNotifications :: Maybe (Text |? Bool)
- data WorkspaceFoldersInitializeParams = WorkspaceFoldersInitializeParams {
- _workspaceFolders :: Maybe ([WorkspaceFolder] |? Null)
- data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {
- _added :: [WorkspaceFolder]
- _removed :: [WorkspaceFolder]
- data WorkspaceFolder = WorkspaceFolder {}
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {
- _documentChanges :: Maybe Bool
- _resourceOperations :: Maybe [ResourceOperationKind]
- _failureHandling :: Maybe FailureHandlingKind
- _normalizesLineEndings :: Maybe Bool
- _changeAnnotationSupport :: Maybe (Rec (("groupsOnLabel" .== Maybe Bool) .+ Empty))
- data WorkspaceEdit = WorkspaceEdit {}
- newtype WorkspaceDocumentDiagnosticReport = WorkspaceDocumentDiagnosticReport (WorkspaceFullDocumentDiagnosticReport |? WorkspaceUnchangedDocumentDiagnosticReport)
- data WorkspaceDiagnosticReportPartialResult = WorkspaceDiagnosticReportPartialResult {}
- data WorkspaceDiagnosticReport = WorkspaceDiagnosticReport {}
- data WorkspaceDiagnosticParams = WorkspaceDiagnosticParams {}
- data WorkspaceClientCapabilities = WorkspaceClientCapabilities {
- _applyEdit :: Maybe Bool
- _workspaceEdit :: Maybe WorkspaceEditClientCapabilities
- _didChangeConfiguration :: Maybe DidChangeConfigurationClientCapabilities
- _didChangeWatchedFiles :: Maybe DidChangeWatchedFilesClientCapabilities
- _symbol :: Maybe WorkspaceSymbolClientCapabilities
- _executeCommand :: Maybe ExecuteCommandClientCapabilities
- _workspaceFolders :: Maybe Bool
- _configuration :: Maybe Bool
- _semanticTokens :: Maybe SemanticTokensWorkspaceClientCapabilities
- _codeLens :: Maybe CodeLensWorkspaceClientCapabilities
- _fileOperations :: Maybe FileOperationClientCapabilities
- _inlineValue :: Maybe InlineValueWorkspaceClientCapabilities
- _inlayHint :: Maybe InlayHintWorkspaceClientCapabilities
- _diagnostics :: Maybe DiagnosticWorkspaceClientCapabilities
- data WorkDoneProgressReport = WorkDoneProgressReport {}
- data WorkDoneProgressParams = WorkDoneProgressParams {}
- data WorkDoneProgressOptions = WorkDoneProgressOptions {}
- data WorkDoneProgressEnd = WorkDoneProgressEnd {}
- data WorkDoneProgressCreateParams = WorkDoneProgressCreateParams {}
- data WorkDoneProgressCancelParams = WorkDoneProgressCancelParams {}
- data WorkDoneProgressBegin = WorkDoneProgressBegin {}
- data WindowClientCapabilities = WindowClientCapabilities {}
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- data WatchKind
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data VersionedNotebookDocumentIdentifier = VersionedNotebookDocumentIdentifier {}
- data UnregistrationParams = UnregistrationParams {}
- data Unregistration = Unregistration {}
- data UniquenessLevel
- data UnchangedDocumentDiagnosticReport = UnchangedDocumentDiagnosticReport {}
- data UInitializeParams = UInitializeParams {
- _workDoneToken :: Maybe ProgressToken
- _processId :: Int32 |? Null
- _clientInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValues
- data TypeHierarchySupertypesParams = TypeHierarchySupertypesParams {}
- data TypeHierarchySubtypesParams = TypeHierarchySubtypesParams {}
- data TypeHierarchyRegistrationOptions = TypeHierarchyRegistrationOptions {}
- data TypeHierarchyPrepareParams = TypeHierarchyPrepareParams {}
- data TypeHierarchyOptions = TypeHierarchyOptions {}
- data TypeHierarchyItem = TypeHierarchyItem {}
- data TypeHierarchyClientCapabilities = TypeHierarchyClientCapabilities {}
- data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {}
- data TypeDefinitionParams = TypeDefinitionParams {}
- data TypeDefinitionOptions = TypeDefinitionOptions {}
- data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {}
- data TraceValues
- data TokenFormat = TokenFormat_Relative
- data TextEdit = TextEdit {}
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- data TextDocumentSyncKind
- data TextDocumentSyncClientCapabilities = TextDocumentSyncClientCapabilities {}
- data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {}
- data TextDocumentSaveReason
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- newtype TextDocumentFilter = TextDocumentFilter (Rec (("language" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? (Rec (("language" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? Rec (("language" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ Empty)))))
- data TextDocumentEdit = TextDocumentEdit {}
- newtype TextDocumentContentChangeEvent = TextDocumentContentChangeEvent (Rec (("range" .== Range) .+ (("rangeLength" .== Maybe UInt) .+ (("text" .== Text) .+ Empty))) |? Rec (("text" .== Text) .+ Empty))
- data TextDocumentClientCapabilities = TextDocumentClientCapabilities {
- _synchronization :: Maybe TextDocumentSyncClientCapabilities
- _completion :: Maybe CompletionClientCapabilities
- _hover :: Maybe HoverClientCapabilities
- _signatureHelp :: Maybe SignatureHelpClientCapabilities
- _declaration :: Maybe DeclarationClientCapabilities
- _definition :: Maybe DefinitionClientCapabilities
- _typeDefinition :: Maybe TypeDefinitionClientCapabilities
- _implementation :: Maybe ImplementationClientCapabilities
- _references :: Maybe ReferenceClientCapabilities
- _documentHighlight :: Maybe DocumentHighlightClientCapabilities
- _documentSymbol :: Maybe DocumentSymbolClientCapabilities
- _codeAction :: Maybe CodeActionClientCapabilities
- _codeLens :: Maybe CodeLensClientCapabilities
- _documentLink :: Maybe DocumentLinkClientCapabilities
- _colorProvider :: Maybe DocumentColorClientCapabilities
- _formatting :: Maybe DocumentFormattingClientCapabilities
- _rangeFormatting :: Maybe DocumentRangeFormattingClientCapabilities
- _onTypeFormatting :: Maybe DocumentOnTypeFormattingClientCapabilities
- _rename :: Maybe RenameClientCapabilities
- _foldingRange :: Maybe FoldingRangeClientCapabilities
- _selectionRange :: Maybe SelectionRangeClientCapabilities
- _publishDiagnostics :: Maybe PublishDiagnosticsClientCapabilities
- _callHierarchy :: Maybe CallHierarchyClientCapabilities
- _semanticTokens :: Maybe SemanticTokensClientCapabilities
- _linkedEditingRange :: Maybe LinkedEditingRangeClientCapabilities
- _moniker :: Maybe MonikerClientCapabilities
- _typeHierarchy :: Maybe TypeHierarchyClientCapabilities
- _inlineValue :: Maybe InlineValueClientCapabilities
- _inlayHint :: Maybe InlayHintClientCapabilities
- _diagnostic :: Maybe DiagnosticClientCapabilities
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- data SymbolTag = SymbolTag_Deprecated
- data SymbolKind
- = SymbolKind_File
- | SymbolKind_Module
- | SymbolKind_Namespace
- | SymbolKind_Package
- | SymbolKind_Class
- | SymbolKind_Method
- | SymbolKind_Property
- | SymbolKind_Field
- | SymbolKind_Constructor
- | SymbolKind_Enum
- | SymbolKind_Interface
- | SymbolKind_Function
- | SymbolKind_Variable
- | SymbolKind_Constant
- | SymbolKind_String
- | SymbolKind_Number
- | SymbolKind_Boolean
- | SymbolKind_Array
- | SymbolKind_Object
- | SymbolKind_Key
- | SymbolKind_Null
- | SymbolKind_EnumMember
- | SymbolKind_Struct
- | SymbolKind_Event
- | SymbolKind_Operator
- | SymbolKind_TypeParameter
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _containerName :: Maybe Text
- _deprecated :: Maybe Bool
- _location :: Location
- data StaticRegistrationOptions = StaticRegistrationOptions {}
- data SignatureInformation = SignatureInformation {}
- data SignatureHelpTriggerKind
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- data SignatureHelpParams = SignatureHelpParams {}
- data SignatureHelpOptions = SignatureHelpOptions {}
- data SignatureHelpContext = SignatureHelpContext {}
- data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {}
- data SignatureHelp = SignatureHelp {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _type_ :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- data ShowMessageRequestClientCapabilities = ShowMessageRequestClientCapabilities {}
- data ShowMessageParams = ShowMessageParams {
- _type_ :: MessageType
- _message :: Text
- data ShowDocumentResult = ShowDocumentResult {}
- data ShowDocumentParams = ShowDocumentParams {}
- data ShowDocumentClientCapabilities = ShowDocumentClientCapabilities {}
- data SetTraceParams = SetTraceParams {}
- data ServerCapabilities = ServerCapabilities {
- _positionEncoding :: Maybe PositionEncodingKind
- _textDocumentSync :: Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
- _notebookDocumentSync :: Maybe (NotebookDocumentSyncOptions |? NotebookDocumentSyncRegistrationOptions)
- _completionProvider :: Maybe CompletionOptions
- _hoverProvider :: Maybe (Bool |? HoverOptions)
- _signatureHelpProvider :: Maybe SignatureHelpOptions
- _declarationProvider :: Maybe (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))
- _definitionProvider :: Maybe (Bool |? DefinitionOptions)
- _typeDefinitionProvider :: Maybe (Bool |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))
- _implementationProvider :: Maybe (Bool |? (ImplementationOptions |? ImplementationRegistrationOptions))
- _referencesProvider :: Maybe (Bool |? ReferenceOptions)
- _documentHighlightProvider :: Maybe (Bool |? DocumentHighlightOptions)
- _documentSymbolProvider :: Maybe (Bool |? DocumentSymbolOptions)
- _codeActionProvider :: Maybe (Bool |? CodeActionOptions)
- _codeLensProvider :: Maybe CodeLensOptions
- _documentLinkProvider :: Maybe DocumentLinkOptions
- _colorProvider :: Maybe (Bool |? (DocumentColorOptions |? DocumentColorRegistrationOptions))
- _workspaceSymbolProvider :: Maybe (Bool |? WorkspaceSymbolOptions)
- _documentFormattingProvider :: Maybe (Bool |? DocumentFormattingOptions)
- _documentRangeFormattingProvider :: Maybe (Bool |? DocumentRangeFormattingOptions)
- _documentOnTypeFormattingProvider :: Maybe DocumentOnTypeFormattingOptions
- _renameProvider :: Maybe (Bool |? RenameOptions)
- _foldingRangeProvider :: Maybe (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
- _selectionRangeProvider :: Maybe (Bool |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _callHierarchyProvider :: Maybe (Bool |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
- _linkedEditingRangeProvider :: Maybe (Bool |? (LinkedEditingRangeOptions |? LinkedEditingRangeRegistrationOptions))
- _semanticTokensProvider :: Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
- _monikerProvider :: Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
- _typeHierarchyProvider :: Maybe (Bool |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
- _inlineValueProvider :: Maybe (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
- _inlayHintProvider :: Maybe (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
- _diagnosticProvider :: Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
- _workspace :: Maybe (Rec (("workspaceFolders" .== Maybe WorkspaceFoldersServerCapabilities) .+ (("fileOperations" .== Maybe FileOperationOptions) .+ Empty)))
- _experimental :: Maybe Value
- data SemanticTokensWorkspaceClientCapabilities = SemanticTokensWorkspaceClientCapabilities {}
- data SemanticTokensRegistrationOptions = SemanticTokensRegistrationOptions {}
- data SemanticTokensRangeParams = SemanticTokensRangeParams {}
- data SemanticTokensPartialResult = SemanticTokensPartialResult {}
- data SemanticTokensParams = SemanticTokensParams {}
- data SemanticTokensOptions = SemanticTokensOptions {}
- data SemanticTokensLegend = SemanticTokensLegend {
- _tokenTypes :: [Text]
- _tokenModifiers :: [Text]
- data SemanticTokensEdit = SemanticTokensEdit {}
- data SemanticTokensDeltaPartialResult = SemanticTokensDeltaPartialResult {
- _edits :: [SemanticTokensEdit]
- data SemanticTokensDeltaParams = SemanticTokensDeltaParams {}
- data SemanticTokensDelta = SemanticTokensDelta {
- _resultId :: Maybe Text
- _edits :: [SemanticTokensEdit]
- data SemanticTokensClientCapabilities = SemanticTokensClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _requests :: Rec (("range" .== Maybe (Bool |? Rec Empty)) .+ (("full" .== Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ Empty))) .+ Empty))
- _tokenTypes :: [Text]
- _tokenModifiers :: [Text]
- _formats :: [TokenFormat]
- _overlappingTokenSupport :: Maybe Bool
- _multilineTokenSupport :: Maybe Bool
- _serverCancelSupport :: Maybe Bool
- _augmentsSyntaxTokens :: Maybe Bool
- data SemanticTokens = SemanticTokens {}
- data SemanticTokenTypes
- = SemanticTokenTypes_Namespace
- | SemanticTokenTypes_Type
- | SemanticTokenTypes_Class
- | SemanticTokenTypes_Enum
- | SemanticTokenTypes_Interface
- | SemanticTokenTypes_Struct
- | SemanticTokenTypes_TypeParameter
- | SemanticTokenTypes_Parameter
- | SemanticTokenTypes_Variable
- | SemanticTokenTypes_Property
- | SemanticTokenTypes_EnumMember
- | SemanticTokenTypes_Event
- | SemanticTokenTypes_Function
- | SemanticTokenTypes_Method
- | SemanticTokenTypes_Macro
- | SemanticTokenTypes_Keyword
- | SemanticTokenTypes_Modifier
- | SemanticTokenTypes_Comment
- | SemanticTokenTypes_String
- | SemanticTokenTypes_Number
- | SemanticTokenTypes_Regexp
- | SemanticTokenTypes_Operator
- | SemanticTokenTypes_Decorator
- | SemanticTokenTypes_Custom Text
- data SemanticTokenModifiers
- = SemanticTokenModifiers_Declaration
- | SemanticTokenModifiers_Definition
- | SemanticTokenModifiers_Readonly
- | SemanticTokenModifiers_Static
- | SemanticTokenModifiers_Deprecated
- | SemanticTokenModifiers_Abstract
- | SemanticTokenModifiers_Async
- | SemanticTokenModifiers_Modification
- | SemanticTokenModifiers_Documentation
- | SemanticTokenModifiers_DefaultLibrary
- | SemanticTokenModifiers_Custom Text
- data SelectionRangeRegistrationOptions = SelectionRangeRegistrationOptions {}
- data SelectionRangeParams = SelectionRangeParams {}
- data SelectionRangeOptions = SelectionRangeOptions {}
- data SelectionRangeClientCapabilities = SelectionRangeClientCapabilities {}
- data SelectionRange = SelectionRange {}
- data SaveOptions = SaveOptions {}
- data ResourceOperationKind
- data ResourceOperation = ResourceOperation {}
- data RenameRegistrationOptions = RenameRegistrationOptions {}
- data RenameParams = RenameParams {}
- data RenameOptions = RenameOptions {}
- data RenameFilesParams = RenameFilesParams {
- _files :: [FileRename]
- data RenameFileOptions = RenameFileOptions {}
- data RenameFile = RenameFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "rename"
- _oldUri :: Uri
- _newUri :: Uri
- _options :: Maybe RenameFileOptions
- data RenameClientCapabilities = RenameClientCapabilities {}
- data RelativePattern = RelativePattern {}
- data RelatedUnchangedDocumentDiagnosticReport = RelatedUnchangedDocumentDiagnosticReport {
- _kind :: AString "unchanged"
- _resultId :: Text
- _relatedDocuments :: Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))
- data RelatedFullDocumentDiagnosticReport = RelatedFullDocumentDiagnosticReport {
- _kind :: AString "full"
- _resultId :: Maybe Text
- _items :: [Diagnostic]
- _relatedDocuments :: Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))
- data RegularExpressionsClientCapabilities = RegularExpressionsClientCapabilities {}
- data RegistrationParams = RegistrationParams {}
- data Registration = Registration {}
- data ReferenceRegistrationOptions = ReferenceRegistrationOptions {}
- data ReferenceParams = ReferenceParams {}
- data ReferenceOptions = ReferenceOptions {}
- data ReferenceContext = ReferenceContext {}
- data ReferenceClientCapabilities = ReferenceClientCapabilities {}
- data Range = Range {}
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _version :: Maybe Int32
- _diagnostics :: [Diagnostic]
- data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {
- _relatedInformation :: Maybe Bool
- _tagSupport :: Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ Empty))
- _versionSupport :: Maybe Bool
- _codeDescriptionSupport :: Maybe Bool
- _dataSupport :: Maybe Bool
- newtype ProgressToken = ProgressToken (Int32 |? Text)
- data ProgressParams = ProgressParams {
- _token :: ProgressToken
- _value :: Value
- data PreviousResultId = PreviousResultId {}
- data PrepareSupportDefaultBehavior = PrepareSupportDefaultBehavior_Identifier
- newtype PrepareRenameResult = PrepareRenameResult (Range |? (Rec (("range" .== Range) .+ (("placeholder" .== Text) .+ Empty)) |? Rec (("defaultBehavior" .== Bool) .+ Empty)))
- data PrepareRenameParams = PrepareRenameParams {}
- data PositionEncodingKind
- data Position = Position {
- _line :: UInt
- _character :: UInt
- newtype Pattern = Pattern Text
- data PartialResultParams = PartialResultParams {}
- data ParameterInformation = ParameterInformation {
- _label :: Text |? (UInt, UInt)
- _documentation :: Maybe (Text |? MarkupContent)
- data OptionalVersionedTextDocumentIdentifier = OptionalVersionedTextDocumentIdentifier {}
- data NotebookDocumentSyncRegistrationOptions = NotebookDocumentSyncRegistrationOptions {
- _notebookSelector :: [Rec (("notebook" .== (Text |? NotebookDocumentFilter)) .+ (("cells" .== Maybe [Rec (("language" .== Text) .+ Empty)]) .+ Empty)) |? Rec (("notebook" .== Maybe (Text |? NotebookDocumentFilter)) .+ (("cells" .== [Rec (("language" .== Text) .+ Empty)]) .+ Empty))]
- _save :: Maybe Bool
- _id :: Maybe Text
- data NotebookDocumentSyncOptions = NotebookDocumentSyncOptions {
- _notebookSelector :: [Rec (("notebook" .== (Text |? NotebookDocumentFilter)) .+ (("cells" .== Maybe [Rec (("language" .== Text) .+ Empty)]) .+ Empty)) |? Rec (("notebook" .== Maybe (Text |? NotebookDocumentFilter)) .+ (("cells" .== [Rec (("language" .== Text) .+ Empty)]) .+ Empty))]
- _save :: Maybe Bool
- data NotebookDocumentSyncClientCapabilities = NotebookDocumentSyncClientCapabilities {}
- data NotebookDocumentIdentifier = NotebookDocumentIdentifier {}
- newtype NotebookDocumentFilter = NotebookDocumentFilter (Rec (("notebookType" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? (Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ Empty)))))
- data NotebookDocumentClientCapabilities = NotebookDocumentClientCapabilities {}
- data NotebookDocumentChangeEvent = NotebookDocumentChangeEvent {
- _metadata :: Maybe Object
- _cells :: Maybe (Rec (("structure" .== Maybe (Rec (("array" .== NotebookCellArrayChange) .+ (("didOpen" .== Maybe [TextDocumentItem]) .+ (("didClose" .== Maybe [TextDocumentIdentifier]) .+ Empty))))) .+ (("data" .== Maybe [NotebookCell]) .+ (("textContent" .== Maybe [Rec (("document" .== VersionedTextDocumentIdentifier) .+ (("changes" .== [TextDocumentContentChangeEvent]) .+ Empty))]) .+ Empty))))
- data NotebookDocument = NotebookDocument {}
- data NotebookCellTextDocumentFilter = NotebookCellTextDocumentFilter {}
- data NotebookCellKind
- data NotebookCellArrayChange = NotebookCellArrayChange {
- _start :: UInt
- _deleteCount :: UInt
- _cells :: Maybe [NotebookCell]
- data NotebookCell = NotebookCell {}
- data MonikerRegistrationOptions = MonikerRegistrationOptions {}
- data MonikerParams = MonikerParams {}
- data MonikerOptions = MonikerOptions {}
- data MonikerKind
- data MonikerClientCapabilities = MonikerClientCapabilities {}
- data Moniker = Moniker {}
- data MessageType
- data MessageActionItem = MessageActionItem {}
- data MarkupKind
- data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
- newtype MarkedString = MarkedString (Text |? Rec (("language" .== Text) .+ (("value" .== Text) .+ Empty)))
- data MarkdownClientCapabilities = MarkdownClientCapabilities {}
- data LogTraceParams = LogTraceParams {}
- data LogMessageParams = LogMessageParams {
- _type_ :: MessageType
- _message :: Text
- data LocationLink = LocationLink {}
- data Location = Location {}
- data LinkedEditingRanges = LinkedEditingRanges {
- _ranges :: [Range]
- _wordPattern :: Maybe Text
- data LinkedEditingRangeRegistrationOptions = LinkedEditingRangeRegistrationOptions {}
- data LinkedEditingRangeParams = LinkedEditingRangeParams {}
- data LinkedEditingRangeOptions = LinkedEditingRangeOptions {}
- data LinkedEditingRangeClientCapabilities = LinkedEditingRangeClientCapabilities {}
- data LSPErrorCodes
- data InsertTextMode
- data InsertTextFormat
- data InsertReplaceEdit = InsertReplaceEdit {}
- data InlineValueWorkspaceClientCapabilities = InlineValueWorkspaceClientCapabilities {}
- data InlineValueVariableLookup = InlineValueVariableLookup {}
- data InlineValueText = InlineValueText {}
- data InlineValueRegistrationOptions = InlineValueRegistrationOptions {}
- data InlineValueParams = InlineValueParams {}
- data InlineValueOptions = InlineValueOptions {}
- data InlineValueEvaluatableExpression = InlineValueEvaluatableExpression {
- _range :: Range
- _expression :: Maybe Text
- data InlineValueContext = InlineValueContext {}
- data InlineValueClientCapabilities = InlineValueClientCapabilities {}
- newtype InlineValue = InlineValue (InlineValueText |? (InlineValueVariableLookup |? InlineValueEvaluatableExpression))
- data InlayHintWorkspaceClientCapabilities = InlayHintWorkspaceClientCapabilities {}
- data InlayHintRegistrationOptions = InlayHintRegistrationOptions {}
- data InlayHintParams = InlayHintParams {}
- data InlayHintOptions = InlayHintOptions {}
- data InlayHintLabelPart = InlayHintLabelPart {}
- data InlayHintKind
- data InlayHintClientCapabilities = InlayHintClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _resolveSupport :: Maybe (Rec (("properties" .== [Text]) .+ Empty))
- data InlayHint = InlayHint {
- _position :: Position
- _label :: Text |? [InlayHintLabelPart]
- _kind :: Maybe InlayHintKind
- _textEdits :: Maybe [TextEdit]
- _tooltip :: Maybe (Text |? MarkupContent)
- _paddingLeft :: Maybe Bool
- _paddingRight :: Maybe Bool
- _data_ :: Maybe Value
- data InitializedParams = InitializedParams {
- data InitializeResult = InitializeResult {
- _capabilities :: ServerCapabilities
- _serverInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
- data InitializeParams = InitializeParams {
- _workDoneToken :: Maybe ProgressToken
- _processId :: Int32 |? Null
- _clientInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValues
- _workspaceFolders :: Maybe ([WorkspaceFolder] |? Null)
- data InitializeError = InitializeError {}
- data ImplementationRegistrationOptions = ImplementationRegistrationOptions {}
- data ImplementationParams = ImplementationParams {}
- data ImplementationOptions = ImplementationOptions {}
- data ImplementationClientCapabilities = ImplementationClientCapabilities {}
- data HoverRegistrationOptions = HoverRegistrationOptions {}
- data HoverParams = HoverParams {}
- data HoverOptions = HoverOptions {}
- data HoverClientCapabilities = HoverClientCapabilities {}
- data Hover = Hover {
- _contents :: MarkupContent |? (MarkedString |? [MarkedString])
- _range :: Maybe Range
- newtype GlobPattern = GlobPattern (Pattern |? RelativePattern)
- data GeneralClientCapabilities = GeneralClientCapabilities {
- _staleRequestSupport :: Maybe (Rec (("cancel" .== Bool) .+ (("retryOnContentModified" .== [Text]) .+ Empty)))
- _regularExpressions :: Maybe RegularExpressionsClientCapabilities
- _markdown :: Maybe MarkdownClientCapabilities
- _positionEncodings :: Maybe [PositionEncodingKind]
- data FullDocumentDiagnosticReport = FullDocumentDiagnosticReport {}
- data FormattingOptions = FormattingOptions {}
- data FoldingRangeRegistrationOptions = FoldingRangeRegistrationOptions {}
- data FoldingRangeParams = FoldingRangeParams {}
- data FoldingRangeOptions = FoldingRangeOptions {}
- data FoldingRangeKind
- data FoldingRangeClientCapabilities = FoldingRangeClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _rangeLimit :: Maybe UInt
- _lineFoldingOnly :: Maybe Bool
- _foldingRangeKind :: Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ Empty))
- _foldingRange :: Maybe (Rec (("collapsedText" .== Maybe Bool) .+ Empty))
- data FoldingRange = FoldingRange {}
- data FileSystemWatcher = FileSystemWatcher {}
- data FileRename = FileRename {}
- data FileOperationRegistrationOptions = FileOperationRegistrationOptions {}
- data FileOperationPatternOptions = FileOperationPatternOptions {
- _ignoreCase :: Maybe Bool
- data FileOperationPatternKind
- data FileOperationPattern = FileOperationPattern {}
- data FileOperationOptions = FileOperationOptions {
- _didCreate :: Maybe FileOperationRegistrationOptions
- _willCreate :: Maybe FileOperationRegistrationOptions
- _didRename :: Maybe FileOperationRegistrationOptions
- _willRename :: Maybe FileOperationRegistrationOptions
- _didDelete :: Maybe FileOperationRegistrationOptions
- _willDelete :: Maybe FileOperationRegistrationOptions
- data FileOperationFilter = FileOperationFilter {}
- data FileOperationClientCapabilities = FileOperationClientCapabilities {}
- data FileEvent = FileEvent {
- _uri :: Uri
- _type_ :: FileChangeType
- data FileDelete = FileDelete {}
- data FileCreate = FileCreate {}
- data FileChangeType
- data FailureHandlingKind
- data ExecutionSummary = ExecutionSummary {
- _executionOrder :: UInt
- _success :: Maybe Bool
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _commands :: [Text]
- data ExecuteCommandParams = ExecuteCommandParams {
- _workDoneToken :: Maybe ProgressToken
- _command :: Text
- _arguments :: Maybe [Value]
- data ExecuteCommandOptions = ExecuteCommandOptions {
- _workDoneProgress :: Maybe Bool
- _commands :: [Text]
- data ExecuteCommandClientCapabilities = ExecuteCommandClientCapabilities {}
- data ErrorCodes
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {}
- data DocumentSymbolParams = DocumentSymbolParams {}
- data DocumentSymbolOptions = DocumentSymbolOptions {}
- data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _symbolKind :: Maybe (Rec (("valueSet" .== Maybe [SymbolKind]) .+ Empty))
- _hierarchicalDocumentSymbolSupport :: Maybe Bool
- _tagSupport :: Maybe (Rec (("valueSet" .== [SymbolTag]) .+ Empty))
- _labelSupport :: Maybe Bool
- data DocumentSymbol = DocumentSymbol {
- _name :: Text
- _detail :: Maybe Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _deprecated :: Maybe Bool
- _range :: Range
- _selectionRange :: Range
- _children :: Maybe [DocumentSymbol]
- newtype DocumentSelector = DocumentSelector [DocumentFilter]
- data DocumentRangeFormattingRegistrationOptions = DocumentRangeFormattingRegistrationOptions {}
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- data DocumentRangeFormattingOptions = DocumentRangeFormattingOptions {}
- data DocumentRangeFormattingClientCapabilities = DocumentRangeFormattingClientCapabilities {}
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentOnTypeFormattingClientCapabilities = DocumentOnTypeFormattingClientCapabilities {}
- data DocumentLinkRegistrationOptions = DocumentLinkRegistrationOptions {}
- data DocumentLinkParams = DocumentLinkParams {}
- data DocumentLinkOptions = DocumentLinkOptions {}
- data DocumentLinkClientCapabilities = DocumentLinkClientCapabilities {}
- data DocumentLink = DocumentLink {}
- data DocumentHighlightRegistrationOptions = DocumentHighlightRegistrationOptions {}
- data DocumentHighlightParams = DocumentHighlightParams {}
- data DocumentHighlightOptions = DocumentHighlightOptions {}
- data DocumentHighlightKind
- data DocumentHighlightClientCapabilities = DocumentHighlightClientCapabilities {}
- data DocumentHighlight = DocumentHighlight {}
- data DocumentFormattingRegistrationOptions = DocumentFormattingRegistrationOptions {}
- data DocumentFormattingParams = DocumentFormattingParams {}
- data DocumentFormattingOptions = DocumentFormattingOptions {}
- data DocumentFormattingClientCapabilities = DocumentFormattingClientCapabilities {}
- newtype DocumentFilter = DocumentFilter (TextDocumentFilter |? NotebookCellTextDocumentFilter)
- data DocumentDiagnosticReportPartialResult = DocumentDiagnosticReportPartialResult {}
- data DocumentDiagnosticReportKind
- newtype DocumentDiagnosticReport = DocumentDiagnosticReport (RelatedFullDocumentDiagnosticReport |? RelatedUnchangedDocumentDiagnosticReport)
- data DocumentDiagnosticParams = DocumentDiagnosticParams {}
- data DocumentColorRegistrationOptions = DocumentColorRegistrationOptions {}
- data DocumentColorParams = DocumentColorParams {}
- data DocumentColorOptions = DocumentColorOptions {}
- data DocumentColorClientCapabilities = DocumentColorClientCapabilities {}
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- data DidSaveNotebookDocumentParams = DidSaveNotebookDocumentParams {}
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- data DidOpenNotebookDocumentParams = DidOpenNotebookDocumentParams {}
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- data DidCloseNotebookDocumentParams = DidCloseNotebookDocumentParams {}
- data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {}
- data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {}
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {}
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- data DidChangeNotebookDocumentParams = DidChangeNotebookDocumentParams {}
- data DidChangeConfigurationRegistrationOptions = DidChangeConfigurationRegistrationOptions {}
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- data DidChangeConfigurationClientCapabilities = DidChangeConfigurationClientCapabilities {}
- data DiagnosticWorkspaceClientCapabilities = DiagnosticWorkspaceClientCapabilities {}
- data DiagnosticTag
- data DiagnosticSeverity
- data DiagnosticServerCancellationData = DiagnosticServerCancellationData {}
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- data DiagnosticRegistrationOptions = DiagnosticRegistrationOptions {}
- data DiagnosticOptions = DiagnosticOptions {}
- data DiagnosticClientCapabilities = DiagnosticClientCapabilities {}
- data Diagnostic = Diagnostic {}
- data DeleteFilesParams = DeleteFilesParams {
- _files :: [FileDelete]
- data DeleteFileOptions = DeleteFileOptions {}
- data DeleteFile = DeleteFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "delete"
- _uri :: Uri
- _options :: Maybe DeleteFileOptions
- data DefinitionRegistrationOptions = DefinitionRegistrationOptions {}
- data DefinitionParams = DefinitionParams {}
- data DefinitionOptions = DefinitionOptions {}
- newtype DefinitionLink = DefinitionLink LocationLink
- data DefinitionClientCapabilities = DefinitionClientCapabilities {}
- newtype Definition = Definition (Location |? [Location])
- data DeclarationRegistrationOptions = DeclarationRegistrationOptions {}
- data DeclarationParams = DeclarationParams {}
- data DeclarationOptions = DeclarationOptions {}
- newtype DeclarationLink = DeclarationLink LocationLink
- data DeclarationClientCapabilities = DeclarationClientCapabilities {}
- newtype Declaration = Declaration (Location |? [Location])
- data CreateFilesParams = CreateFilesParams {
- _files :: [FileCreate]
- data CreateFileOptions = CreateFileOptions {}
- data CreateFile = CreateFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "create"
- _uri :: Uri
- _options :: Maybe CreateFileOptions
- data ConfigurationParams = ConfigurationParams {
- _items :: [ConfigurationItem]
- data ConfigurationItem = ConfigurationItem {}
- data CompletionTriggerKind
- data CompletionRegistrationOptions = CompletionRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _triggerCharacters :: Maybe [Text]
- _allCommitCharacters :: Maybe [Text]
- _resolveProvider :: Maybe Bool
- _completionItem :: Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
- data CompletionParams = CompletionParams {}
- data CompletionOptions = CompletionOptions {
- _workDoneProgress :: Maybe Bool
- _triggerCharacters :: Maybe [Text]
- _allCommitCharacters :: Maybe [Text]
- _resolveProvider :: Maybe Bool
- _completionItem :: Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
- data CompletionList = CompletionList {
- _isIncomplete :: Bool
- _itemDefaults :: Maybe (Rec (("commitCharacters" .== Maybe [Text]) .+ (("editRange" .== Maybe (Range |? Rec (("insert" .== Range) .+ (("replace" .== Range) .+ Empty)))) .+ (("insertTextFormat" .== Maybe InsertTextFormat) .+ (("insertTextMode" .== Maybe InsertTextMode) .+ (("data" .== Maybe Value) .+ Empty))))))
- _items :: [CompletionItem]
- data CompletionItemTag = CompletionItemTag_Deprecated
- data CompletionItemLabelDetails = CompletionItemLabelDetails {}
- data CompletionItemKind
- = CompletionItemKind_Text
- | CompletionItemKind_Method
- | CompletionItemKind_Function
- | CompletionItemKind_Constructor
- | CompletionItemKind_Field
- | CompletionItemKind_Variable
- | CompletionItemKind_Class
- | CompletionItemKind_Interface
- | CompletionItemKind_Module
- | CompletionItemKind_Property
- | CompletionItemKind_Unit
- | CompletionItemKind_Value
- | CompletionItemKind_Enum
- | CompletionItemKind_Keyword
- | CompletionItemKind_Snippet
- | CompletionItemKind_Color
- | CompletionItemKind_File
- | CompletionItemKind_Reference
- | CompletionItemKind_Folder
- | CompletionItemKind_EnumMember
- | CompletionItemKind_Constant
- | CompletionItemKind_Struct
- | CompletionItemKind_Event
- | CompletionItemKind_Operator
- | CompletionItemKind_TypeParameter
- data CompletionItem = CompletionItem {
- _label :: Text
- _labelDetails :: Maybe CompletionItemLabelDetails
- _kind :: Maybe CompletionItemKind
- _tags :: Maybe [CompletionItemTag]
- _detail :: Maybe Text
- _documentation :: Maybe (Text |? MarkupContent)
- _deprecated :: Maybe Bool
- _preselect :: Maybe Bool
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _insertTextMode :: Maybe InsertTextMode
- _textEdit :: Maybe (TextEdit |? InsertReplaceEdit)
- _textEditText :: Maybe Text
- _additionalTextEdits :: Maybe [TextEdit]
- _commitCharacters :: Maybe [Text]
- _command :: Maybe Command
- _data_ :: Maybe Value
- data CompletionContext = CompletionContext {}
- data CompletionClientCapabilities = CompletionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _completionItem :: Maybe (Rec (("snippetSupport" .== Maybe Bool) .+ (("commitCharactersSupport" .== Maybe Bool) .+ (("documentationFormat" .== Maybe [MarkupKind]) .+ (("deprecatedSupport" .== Maybe Bool) .+ (("preselectSupport" .== Maybe Bool) .+ (("tagSupport" .== Maybe (Rec (("valueSet" .== [CompletionItemTag]) .+ Empty))) .+ (("insertReplaceSupport" .== Maybe Bool) .+ (("resolveSupport" .== Maybe (Rec (("properties" .== [Text]) .+ Empty))) .+ (("insertTextModeSupport" .== Maybe (Rec (("valueSet" .== [InsertTextMode]) .+ Empty))) .+ (("labelDetailsSupport" .== Maybe Bool) .+ Empty)))))))))))
- _completionItemKind :: Maybe (Rec (("valueSet" .== Maybe [CompletionItemKind]) .+ Empty))
- _insertTextMode :: Maybe InsertTextMode
- _contextSupport :: Maybe Bool
- _completionList :: Maybe (Rec (("itemDefaults" .== Maybe [Text]) .+ Empty))
- data Command = Command {}
- data ColorPresentationParams = ColorPresentationParams {}
- data ColorPresentation = ColorPresentation {}
- data ColorInformation = ColorInformation {}
- data Color = Color {}
- data CodeLensWorkspaceClientCapabilities = CodeLensWorkspaceClientCapabilities {}
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- data CodeLensParams = CodeLensParams {}
- data CodeLensOptions = CodeLensOptions {}
- data CodeLensClientCapabilities = CodeLensClientCapabilities {}
- data CodeLens = CodeLens {}
- data CodeDescription = CodeDescription {}
- data CodeActionTriggerKind
- data CodeActionRegistrationOptions = CodeActionRegistrationOptions {}
- data CodeActionParams = CodeActionParams {}
- data CodeActionOptions = CodeActionOptions {}
- data CodeActionKind
- data CodeActionContext = CodeActionContext {}
- data CodeActionClientCapabilities = CodeActionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _codeActionLiteralSupport :: Maybe (Rec (("codeActionKind" .== Rec (("valueSet" .== [CodeActionKind]) .+ Empty)) .+ Empty))
- _isPreferredSupport :: Maybe Bool
- _disabledSupport :: Maybe Bool
- _dataSupport :: Maybe Bool
- _resolveSupport :: Maybe (Rec (("properties" .== [Text]) .+ Empty))
- _honorsChangeAnnotations :: Maybe Bool
- data CodeAction = CodeAction {}
- data ClientCapabilities = ClientCapabilities {}
- newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifier Text
- data ChangeAnnotation = ChangeAnnotation {}
- data CancelParams = CancelParams {}
- data CallHierarchyRegistrationOptions = CallHierarchyRegistrationOptions {}
- data CallHierarchyPrepareParams = CallHierarchyPrepareParams {}
- data CallHierarchyOutgoingCallsParams = CallHierarchyOutgoingCallsParams {}
- data CallHierarchyOutgoingCall = CallHierarchyOutgoingCall {
- _to :: CallHierarchyItem
- _fromRanges :: [Range]
- data CallHierarchyOptions = CallHierarchyOptions {}
- data CallHierarchyItem = CallHierarchyItem {}
- data CallHierarchyIncomingCallsParams = CallHierarchyIncomingCallsParams {}
- data CallHierarchyIncomingCall = CallHierarchyIncomingCall {
- _from :: CallHierarchyItem
- _fromRanges :: [Range]
- data CallHierarchyClientCapabilities = CallHierarchyClientCapabilities {}
- data BaseSymbolInformation = BaseSymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _containerName :: Maybe Text
- data ApplyWorkspaceEditResult = ApplyWorkspaceEditResult {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data AnnotatedTextEdit = AnnotatedTextEdit {}
Basic types and functions
An alternative type (isomorphic to Either
), but which
is encoded into JSON without a tag for the alternative.
This corresponds to a | b
types in the LSP specification.
Instances
32-bit signed integer type
Instances
The "uinteger" type in the LSP spec.
Unusually, this is a **31**-bit unsigned integer, not a 32-bit one.
Instances
A type for that is precisely null and nothing else.
This is useful since the LSP specification often includes types like a | null
as distinct from an optional value of type a
.
Constructors
Null |
Instances
(.=?) :: (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv] Source #
Include a value in an JSON object optionally, omitting it if it is Nothing
.
URIs
The Uri
type in the LSP specification.
Instances
filePathToUri :: FilePath -> Uri Source #
data NormalizedUri Source #
A normalized Uri
.
If you want to use a URI as a map key, use this type. It is important to normalize the percent encoding in the URI since URIs that only differ when it comes to the percent-encoding should be treated as equivalent.
NormalizedUri
has a cached hash in order to make it especially fast in a hash map.
Constructors
NormalizedUri !Int !Text |
Instances
toNormalizedUri :: Uri -> NormalizedUri Source #
fromNormalizedUri :: NormalizedUri -> Uri Source #
data NormalizedFilePath Source #
A file path that is already normalized.
The NormalizedUri
is cached to avoided
repeated normalisation when we need to compute them (which is a lot).
This is one of the most performance critical parts of HLS, do not modify it without profiling.
Instances
fromNormalizedFilePath :: NormalizedFilePath -> FilePath Source #
Extracts FilePath
from NormalizedFilePath
.
emptyNormalizedFilePath :: NormalizedFilePath Source #
NormalizedFilePath
that contains an empty file path
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath Source #
Warning: This function is considered private. Use normalizedFilePathToUri instead.
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri Source #
Warning: This function is considered private. Use normalizedUriToFilePath instead.
Locations
mkRange :: UInt -> UInt -> UInt -> UInt -> Range Source #
A helper function for creating ranges. prop> mkRange l c l' c' = Range (Position l c) (Position l' c')
isSubrangeOf :: Range -> Range -> Bool Source #
isSubrangeOf
returns true if for every Position
in the first Range
, it's also in the second Range
.
positionInRange :: Position -> Range -> Bool Source #
positionInRange
returns true if the given Position
is in the Range
.
LSP enumerations
class LspEnum a where Source #
A class for types that represent a LSP enum type.
This class carries conversion functions to and from the 'base type' of the enum. Not all base type values may have corresponding enum values.
Minimal complete definition
Methods
knownValues :: Set a Source #
The known values of this type, the ones listed in the LSP specification.
toEnumBaseType :: a -> EnumBaseType a Source #
Convert an enum value to the base type.
fromEnumBaseType :: EnumBaseType a -> Maybe a Source #
Convert a base type value to an enum value, failing if it does not correspond to an enum value.
default fromEnumBaseType :: LspOpenEnum a => EnumBaseType a -> Maybe a Source #
Instances
class LspEnum a => LspOpenEnum a where Source #
A class for types that represent a LSP open enum type.
Open enum types allow any base type value to be used as a custom
enum value.
Methods
fromOpenEnumBaseType :: EnumBaseType a -> a Source #
Convert a base type to an enum value. All base type values can be converted this way.
Instances
newtype AsLspEnum a b Source #
Newtype for deriving via
to get standard JSON and IsString
instances in terms of the LspEnum
class methods.
Constructors
AsLspEnum a |
Instances
(LspEnum a, EnumBaseType a ~ b, FromJSON b, Show b) => FromJSON (AsLspEnum a b) Source # | |
(LspEnum a, EnumBaseType a ~ b, ToJSON b) => ToJSON (AsLspEnum a b) Source # | |
Defined in Language.LSP.Protocol.Types.LspEnum | |
(LspOpenEnum a, EnumBaseType a ~ b, b ~ Text) => IsString (AsLspEnum a b) Source # | |
Defined in Language.LSP.Protocol.Types.LspEnum Methods fromString :: String -> AsLspEnum a b # |
Singleton types
data AString (s :: Symbol) where Source #
A type whose only inhabitant is a single, statically-known string.
This corresponds to types like "hello"
in the LSP specification that
are exactly types with a single inhabitant.
Constructors
AString :: KnownSymbol s => AString s |
Instances
data AnInteger (n :: Nat) where Source #
A type whose only inhabitant is a single, statically-known integer.
This corresponds to types like 1
in the LSP specification that
are exactly types with a single inhabitant.
Instances
KnownNat n => FromJSON (AnInteger n) Source # | |
ToJSON (AnInteger n) Source # | |
Defined in Language.LSP.Protocol.Types.Singletons | |
Show (AnInteger n) Source # | |
NFData (AnInteger s) Source # | |
Defined in Language.LSP.Protocol.Types.Singletons | |
Eq (AnInteger n) Source # | |
Ord (AnInteger n) Source # | |
Defined in Language.LSP.Protocol.Types.Singletons | |
Hashable (AnInteger i) Source # | |
Defined in Language.LSP.Protocol.Types.Singletons | |
Pretty (AnInteger n) Source # | |
Defined in Language.LSP.Protocol.Types.Singletons |
Helpers for working with LSP types
Edits
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
Convenience alias for the type in the _documentChanges
field.
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit
outer
inner
applies inner
to the text inside outer
.
_versionedTextDocumentIdentifier :: Prism' OptionalVersionedTextDocumentIdentifier VersionedTextDocumentIdentifier Source #
Conversion between OptionalVersionedTextDocumentIdentifier
and VersionedTextDocumentIdentifier
.
Markup
mkPlainText :: Text -> MarkupContent Source #
Create a MarkupContent
containing plain text.
mkMarkdown :: Text -> MarkupContent Source #
Create a MarkupContent
containing markdown.
mkMarkdownCodeBlock :: Text -> Text -> MarkupContent Source #
Create a MarkupContent
containing a language-annotated code block only.
sectionSeparator :: Text Source #
Markdown for a section separator in Markdown, being a horizontal line.
plainTextToMarkdown :: Text -> Text Source #
Given some plaintext, convert it into some equivalent markdown text. This is not *quite* the identity function.
Code actions
codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool Source #
Does the first CodeActionKind
subsume the other one, hierarchically. Reflexive.
Progress
_workDoneProgressBegin :: Prism' Value WorkDoneProgressBegin Source #
Prism for extracting the WorkDoneProgressBegin
case from the unstructured value
field of ProgressParams
.
_workDoneProgressEnd :: Prism' Value WorkDoneProgressEnd Source #
Prism for extracting the WorkDoneProgressEnd
case from the unstructured value
field of ProgressParams
.
_workDoneProgressReport :: Prism' Value WorkDoneProgressReport Source #
Prism for extracting the WorkDoneProgressReport
case from the unstructured value
field of ProgressParams
.
Semantic tokens
data SemanticTokenAbsolute Source #
A single 'semantic token' as described in the LSP specification, using absolute positions. This is the kind of token that is usually easiest for editors to produce.
Constructors
SemanticTokenAbsolute | |
Fields
|
Instances
data SemanticTokenRelative Source #
A single 'semantic token' as described in the LSP specification, using relative positions.
Constructors
SemanticTokenRelative | |
Fields |
Instances
relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative] Source #
Turn a list of absolutely-positioned tokens into a list of relatively-positioned tokens. The tokens are assumed to be in the order that they appear in the document!
absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute] Source #
Turn a list of relatively-positioned tokens into a list of absolutely-positioned tokens. The tokens are assumed to be in the order that they appear in the document!
encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt] Source #
Encode a series of relatively-positioned semantic tokens into an integer array following the given legend.
An edit to a buffer of items.
Constructors
Edit | |
Fields
|
computeEdits :: Eq a => [a] -> [a] -> [Edit a] Source #
Compute a list of edits that will turn the first list into the second list.
makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens Source #
Convenience method for making a SemanticTokens
from a list of SemanticTokenAbsolute
s. An error may be returned if
makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta Source #
Convenience function for making a SemanticTokensDelta
from a previous and current SemanticTokens
.
The resulting SemanticTokensDelta
lacks a result ID, which must be set separately if you are using that.
WatchKinds
containsCreate :: WatchKind -> Bool Source #
Tests whether WatchKind_Create
is contained in the provided WatchKind enum
containsChange :: WatchKind -> Bool Source #
Tests whether WatchKind_Change
is contained in the provided WatchKind enum
containsDelete :: WatchKind -> Bool Source #
Tests whether WatchKind_Delete
is contained in the provided WatchKind enum
combineWatchKinds :: Set WatchKind -> WatchKind Source #
Combine a set of WatchKind types into a new WatchKind type that accurately represents the set
Main LSP types and functions
data WorkspaceUnchangedDocumentDiagnosticReport Source #
An unchanged document diagnostic report for a workspace diagnostic result.
Since: 3.17.0
Constructors
WorkspaceUnchangedDocumentDiagnosticReport | |
Fields
|
Instances
data WorkspaceSymbolRegistrationOptions Source #
Registration options for a WorkspaceSymbolRequest
.
Constructors
WorkspaceSymbolRegistrationOptions | |
Fields
|
Instances
data WorkspaceSymbolParams Source #
The parameters of a WorkspaceSymbolRequest
.
Constructors
WorkspaceSymbolParams | |
Fields
|
Instances
data WorkspaceSymbolOptions Source #
Server capabilities for a WorkspaceSymbolRequest
.
Constructors
WorkspaceSymbolOptions | |
Fields
|
Instances
data WorkspaceSymbolClientCapabilities Source #
Client capabilities for a WorkspaceSymbolRequest
.
Constructors
WorkspaceSymbolClientCapabilities | |
Fields
|
Instances
data WorkspaceSymbol Source #
A special workspace symbol that supports locations without a range.
See also SymbolInformation.
Since: 3.17.0
Constructors
WorkspaceSymbol | |
Fields
|
Instances
data WorkspaceFullDocumentDiagnosticReport Source #
A full document diagnostic report for a workspace diagnostic result.
Since: 3.17.0
Constructors
WorkspaceFullDocumentDiagnosticReport | |
Fields
|
Instances
data WorkspaceFoldersServerCapabilities Source #
Constructors
WorkspaceFoldersServerCapabilities | |
Fields
|
Instances
data WorkspaceFoldersInitializeParams Source #
Constructors
WorkspaceFoldersInitializeParams | |
Fields
|
Instances
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
Constructors
WorkspaceFoldersChangeEvent | |
Fields
|
Instances
data WorkspaceFolder Source #
A workspace folder inside a client.
Constructors
WorkspaceFolder | |
Instances
data WorkspaceEditClientCapabilities Source #
Constructors
WorkspaceEditClientCapabilities | |
Fields
|
Instances
data WorkspaceEdit Source #
A workspace edit represents changes to many resources managed in the workspace. The edit
should either provide changes
or documentChanges
. If documentChanges are present
they are preferred over changes
if the client can handle versioned document edits.
Since version 3.13.0 a workspace edit can contain resource operations as well. If resource operations are present clients need to execute the operations in the order in which they are provided. So a workspace edit for example can consist of the following two changes: (1) a create file a.txt and (2) a text document edit which insert text into file a.txt.
An invalid sequence (e.g. (1) delete file a.txt and (2) insert text into file a.txt) will cause failure of the operation. How the client recovers from the failure is described by the client capability: `workspace.workspaceEdit.failureHandling`
Constructors
WorkspaceEdit | |
Fields
|
Instances
newtype WorkspaceDocumentDiagnosticReport Source #
A workspace diagnostic document report.
Since: 3.17.0
Constructors
WorkspaceDocumentDiagnosticReport (WorkspaceFullDocumentDiagnosticReport |? WorkspaceUnchangedDocumentDiagnosticReport) |
Instances
data WorkspaceDiagnosticReportPartialResult Source #
A partial result for a workspace diagnostic report.
Since: 3.17.0
Constructors
WorkspaceDiagnosticReportPartialResult | |
Fields |
Instances
data WorkspaceDiagnosticReport Source #
A workspace diagnostic report.
Since: 3.17.0
Constructors
WorkspaceDiagnosticReport | |
Fields |
Instances
data WorkspaceDiagnosticParams Source #
Parameters of the workspace diagnostic request.
Since: 3.17.0
Constructors
WorkspaceDiagnosticParams | |
Fields
|
Instances
data WorkspaceClientCapabilities Source #
Workspace specific client capabilities.
Constructors
WorkspaceClientCapabilities | |
Fields
|
Instances
data WorkDoneProgressReport Source #
Constructors
WorkDoneProgressReport | |
Fields
|
Instances
data WorkDoneProgressParams Source #
Constructors
WorkDoneProgressParams | |
Fields
|
Instances
data WorkDoneProgressOptions Source #
Constructors
WorkDoneProgressOptions | |
Fields |
Instances
data WorkDoneProgressEnd Source #
Constructors
WorkDoneProgressEnd | |
Instances
data WorkDoneProgressCreateParams Source #
Constructors
WorkDoneProgressCreateParams | |
Fields
|
Instances
data WorkDoneProgressCancelParams Source #
Constructors
WorkDoneProgressCancelParams | |
Fields
|
Instances
data WorkDoneProgressBegin Source #
Constructors
WorkDoneProgressBegin | |
Fields
|
Instances
data WindowClientCapabilities Source #
Constructors
WindowClientCapabilities | |
Fields
|
Instances
data WillSaveTextDocumentParams Source #
The parameters sent in a will save text document notification.
Constructors
WillSaveTextDocumentParams | |
Fields
|
Instances
Constructors
WatchKind_Create | Interested in create events. |
WatchKind_Change | Interested in change events |
WatchKind_Delete | Interested in delete events |
WatchKind_Custom UInt |
Instances
data VersionedTextDocumentIdentifier Source #
A text document identifier to denote a specific version of a text document.
Constructors
VersionedTextDocumentIdentifier | |
Instances
data VersionedNotebookDocumentIdentifier Source #
A versioned notebook document identifier.
Since: 3.17.0
Constructors
VersionedNotebookDocumentIdentifier | |
Instances
data UnregistrationParams Source #
Constructors
UnregistrationParams | |
Fields |
Instances
data Unregistration Source #
General parameters to unregister a request or notification.
Constructors
Unregistration | |
Instances
data UniquenessLevel Source #
Moniker uniqueness level to define scope of the moniker.
Since: 3.16.0
Constructors
UniquenessLevel_Document | The moniker is only unique inside a document |
UniquenessLevel_Project | The moniker is unique inside a project for which a dump got created |
UniquenessLevel_Group | The moniker is unique inside the group to which a project belongs |
UniquenessLevel_Scheme | The moniker is unique inside the moniker scheme. |
UniquenessLevel_Global | The moniker is globally unique |
Instances
data UnchangedDocumentDiagnosticReport Source #
A diagnostic report indicating that the last returned report is still accurate.
Since: 3.17.0
Constructors
UnchangedDocumentDiagnosticReport | |
Instances
data UInitializeParams Source #
The initialize parameters
Constructors
UInitializeParams | |
Fields
|
Instances
data TypeHierarchySupertypesParams Source #
The parameter of a `typeHierarchy/supertypes` request.
Since: 3.17.0
Constructors
TypeHierarchySupertypesParams | |
Fields
|
Instances
data TypeHierarchySubtypesParams Source #
The parameter of a `typeHierarchy/subtypes` request.
Since: 3.17.0
Constructors
TypeHierarchySubtypesParams | |
Fields
|
Instances
data TypeHierarchyRegistrationOptions Source #
Type hierarchy options used during static or dynamic registration.
Since: 3.17.0
Constructors
TypeHierarchyRegistrationOptions | |
Fields
|
Instances
data TypeHierarchyPrepareParams Source #
The parameter of a `textDocument/prepareTypeHierarchy` request.
Since: 3.17.0
Constructors
TypeHierarchyPrepareParams | |
Fields
|
Instances
data TypeHierarchyOptions Source #
Type hierarchy options used during static registration.
Since: 3.17.0
Constructors
TypeHierarchyOptions | |
Fields |
Instances
data TypeHierarchyItem Source #
Since: 3.17.0
Constructors
TypeHierarchyItem | |
Fields
|
Instances
data TypeHierarchyClientCapabilities Source #
Since: 3.17.0
Constructors
TypeHierarchyClientCapabilities | |
Fields
|
Instances
data TypeDefinitionRegistrationOptions Source #
Constructors
TypeDefinitionRegistrationOptions | |
Fields
|
Instances
data TypeDefinitionParams Source #
Constructors
TypeDefinitionParams | |
Fields
|
Instances
data TypeDefinitionOptions Source #
Constructors
TypeDefinitionOptions | |
Fields |
Instances
data TypeDefinitionClientCapabilities Source #
Since 3.6.0
Constructors
TypeDefinitionClientCapabilities | |
Fields
|
Instances
data TraceValues Source #
Constructors
TraceValues_Off | Turn tracing off. |
TraceValues_Messages | Trace messages only. |
TraceValues_Verbose | Verbose message tracing. |
Instances
data TokenFormat Source #
Constructors
TokenFormat_Relative |
Instances
A text edit applicable to a text document.
Constructors
TextEdit | |
Instances
data TextDocumentSyncOptions Source #
Constructors
TextDocumentSyncOptions | |
Fields
|
Instances
data TextDocumentSyncKind Source #
Defines how the host (editor) should sync document changes to the language server.
Constructors
TextDocumentSyncKind_None | Documents should not be synced at all. |
TextDocumentSyncKind_Full | Documents are synced by always sending the full content of the document. |
TextDocumentSyncKind_Incremental | Documents are synced by sending the full content on open. After that only incremental updates to the document are send. |
Instances
data TextDocumentSyncClientCapabilities Source #
Constructors
TextDocumentSyncClientCapabilities | |
Fields
|
Instances
data TextDocumentSaveRegistrationOptions Source #
Save registration options.
Constructors
TextDocumentSaveRegistrationOptions | |
Fields
|
Instances
data TextDocumentSaveReason Source #
Represents reasons why a text document is saved.
Constructors
TextDocumentSaveReason_Manual | Manually triggered, e.g. by the user pressing save, by starting debugging, or by an API call. |
TextDocumentSaveReason_AfterDelay | Automatic after a delay. |
TextDocumentSaveReason_FocusOut | When the editor lost focus. |
Instances
data TextDocumentRegistrationOptions Source #
General text document registration options.
Constructors
TextDocumentRegistrationOptions | |
Fields
|
Instances
data TextDocumentPositionParams Source #
A parameter literal used in requests to pass a text document and a position inside that document.
Constructors
TextDocumentPositionParams | |
Fields
|
Instances
data TextDocumentItem Source #
An item to transfer a text document from the client to the server.
Constructors
TextDocumentItem | |
Instances
data TextDocumentIdentifier Source #
A literal to identify a text document in the client.
Constructors
TextDocumentIdentifier | |
Instances
newtype TextDocumentFilter Source #
A document filter denotes a document by different properties like
the languageId
of
its resource, or a glob-pattern that is applied to the fileName
.
Glob patterns can have the following syntax:
- *
to match one or more characters in a path segment
- ?
to match on one character in a path segment
- **
to match any number of path segments, including none
- `{}` to group sub patterns into an OR expression. (e.g. `**/*.{ts,js}` matches all TypeScript and JavaScript files)
- `[]` to declare a range of characters to match in a path segment (e.g., `example.[0-9]` to match on `example.0`, `example.1`, …)
- `[!...]` to negate a range of characters to match in a path segment (e.g., `example.[!0-9]` to match on `example.a`, `example.b`, but not `example.0`)
sample A language filter that applies to typescript files on disk: `{ language:
sample A language filter that applies to all package.json paths: `{ language: typescript
, scheme: file
}`
json
, pattern: '**package.json' }`
Since: 3.17.0
Constructors
TextDocumentFilter (Rec (("language" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? (Rec (("language" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? Rec (("language" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ Empty))))) |
Instances
data TextDocumentEdit Source #
Describes textual changes on a text document. A TextDocumentEdit describes all changes on a document version Si and after they are applied move the document to version Si+1. So the creator of a TextDocumentEdit doesn't need to sort the array of edits or do any kind of ordering. However the edits must be non overlapping.
Constructors
TextDocumentEdit | |
Fields
|
Instances
newtype TextDocumentContentChangeEvent Source #
An event describing a change to a text document. If only a text is provided it is considered to be the full content of the document.
Constructors
TextDocumentContentChangeEvent (Rec (("range" .== Range) .+ (("rangeLength" .== Maybe UInt) .+ (("text" .== Text) .+ Empty))) |? Rec (("text" .== Text) .+ Empty)) |
Instances
data TextDocumentClientCapabilities Source #
Text document specific client capabilities.
Constructors
TextDocumentClientCapabilities | |
Fields
|
Instances
data TextDocumentChangeRegistrationOptions Source #
Describe options to be used when registered for text document change events.
Constructors
TextDocumentChangeRegistrationOptions | |
Fields
|
Instances
Symbol tags are extra annotations that tweak the rendering of a symbol.
Since: 3.16
Constructors
SymbolTag_Deprecated | Render a symbol as obsolete, usually using a strike-out. |
Instances
data SymbolKind Source #
A symbol kind.
Constructors
Instances
data SymbolInformation Source #
Represents information about programming constructs like variables, classes, interfaces etc.
Constructors
SymbolInformation | |
Fields
|
Instances
data StaticRegistrationOptions Source #
Static registration options to be returned in the initialize request.
Constructors
StaticRegistrationOptions | |
Instances
data SignatureInformation Source #
Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.
Constructors
SignatureInformation | |
Fields
|
Instances
data SignatureHelpTriggerKind Source #
How a signature help was triggered.
Since: 3.15.0
Constructors
SignatureHelpTriggerKind_Invoked | Signature help was invoked manually by the user or by a command. |
SignatureHelpTriggerKind_TriggerCharacter | Signature help was triggered by a trigger character. |
SignatureHelpTriggerKind_ContentChange | Signature help was triggered by the cursor moving or by the document content changing. |
Instances
data SignatureHelpRegistrationOptions Source #
Registration options for a SignatureHelpRequest
.
Constructors
SignatureHelpRegistrationOptions | |
Fields
|
Instances
data SignatureHelpParams Source #
Parameters for a SignatureHelpRequest
.
Constructors
SignatureHelpParams | |
Fields
|
Instances
data SignatureHelpOptions Source #
Server Capabilities for a SignatureHelpRequest
.
Constructors
SignatureHelpOptions | |
Fields
|
Instances
data SignatureHelpContext Source #
Additional information about the context in which a signature help request was triggered.
Since: 3.15.0
Constructors
SignatureHelpContext | |
Fields
|
Instances
data SignatureHelpClientCapabilities Source #
Client Capabilities for a SignatureHelpRequest
.
Constructors
SignatureHelpClientCapabilities | |
Fields
|
Instances
data SignatureHelp Source #
Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.
Constructors
SignatureHelp | |
Fields
|
Instances
data ShowMessageRequestParams Source #
Constructors
ShowMessageRequestParams | |
Fields
|
Instances
data ShowMessageRequestClientCapabilities Source #
Show message request client capabilities
Constructors
ShowMessageRequestClientCapabilities | |
Instances
data ShowMessageParams Source #
The parameters of a notification message.
Constructors
ShowMessageParams | |
Fields
|
Instances
data ShowDocumentResult Source #
The result of a showDocument request.
Since: 3.16.0
Constructors
ShowDocumentResult | |
Instances
data ShowDocumentParams Source #
Params to show a document.
Since: 3.16.0
Constructors
ShowDocumentParams | |
Fields
|
Instances
data ShowDocumentClientCapabilities Source #
Client capabilities for the showDocument request.
Since: 3.16.0
Constructors
ShowDocumentClientCapabilities | |
Instances
data SetTraceParams Source #
Constructors
SetTraceParams | |
Fields |
Instances
data ServerCapabilities Source #
Defines the capabilities provided by a language server.
Constructors
ServerCapabilities | |
Fields
|
Instances
data SemanticTokensWorkspaceClientCapabilities Source #
Since: 3.16.0
Constructors
SemanticTokensWorkspaceClientCapabilities | |
Fields
|
Instances
data SemanticTokensRegistrationOptions Source #
Since: 3.16.0
Constructors
SemanticTokensRegistrationOptions | |
Fields
|
Instances
data SemanticTokensRangeParams Source #
Since: 3.16.0
Constructors
SemanticTokensRangeParams | |
Fields
|
Instances
data SemanticTokensPartialResult Source #
Since: 3.16.0
Constructors
SemanticTokensPartialResult | |
Instances
data SemanticTokensParams Source #
Since: 3.16.0
Constructors
SemanticTokensParams | |
Fields
|
Instances
data SemanticTokensOptions Source #
Since: 3.16.0
Constructors
SemanticTokensOptions | |
Fields
|
Instances
data SemanticTokensLegend Source #
Since: 3.16.0
Constructors
SemanticTokensLegend | |
Fields
|
Instances
data SemanticTokensEdit Source #
Since: 3.16.0
Constructors
SemanticTokensEdit | |
Instances
data SemanticTokensDeltaPartialResult Source #
Since: 3.16.0
Constructors
SemanticTokensDeltaPartialResult | |
Fields
|
Instances
data SemanticTokensDeltaParams Source #
Since: 3.16.0
Constructors
SemanticTokensDeltaParams | |
Fields
|
Instances
data SemanticTokensDelta Source #
Since: 3.16.0
Constructors
SemanticTokensDelta | |
Fields
|
Instances
data SemanticTokensClientCapabilities Source #
Since: 3.16.0
Constructors
SemanticTokensClientCapabilities | |
Fields
|
Instances
data SemanticTokens Source #
Since: 3.16.0
Constructors
SemanticTokens | |
Instances
data SemanticTokenTypes Source #
A set of predefined token types. This set is not fixed an clients can specify additional token types via the corresponding client capabilities.
Since: 3.16.0
Constructors
Instances
data SemanticTokenModifiers Source #
A set of predefined token modifiers. This set is not fixed an clients can specify additional token types via the corresponding client capabilities.
Since: 3.16.0
Constructors
Instances
data SelectionRangeRegistrationOptions Source #
Constructors
SelectionRangeRegistrationOptions | |
Fields
|
Instances
data SelectionRangeParams Source #
A parameter literal used in selection range requests.
Constructors
SelectionRangeParams | |
Fields
|
Instances
data SelectionRangeOptions Source #
Constructors
SelectionRangeOptions | |
Fields |
Instances
data SelectionRangeClientCapabilities Source #
Constructors
SelectionRangeClientCapabilities | |
Fields
|
Instances
data SelectionRange Source #
A selection range represents a part of a selection hierarchy. A selection range may have a parent selection range that contains it.
Constructors
SelectionRange | |
Fields
|
Instances
data SaveOptions Source #
Save options.
Constructors
SaveOptions | |
Fields
|
Instances
data ResourceOperationKind Source #
Constructors
ResourceOperationKind_Create | Supports creating new files and folders. |
ResourceOperationKind_Rename | Supports renaming existing files and folders. |
ResourceOperationKind_Delete | Supports deleting existing files and folders. |
Instances
data ResourceOperation Source #
A generic resource operation.
Constructors
ResourceOperation | |
Fields
|
Instances
data RenameRegistrationOptions Source #
Registration options for a RenameRequest
.
Constructors
RenameRegistrationOptions | |
Fields
|
Instances
data RenameParams Source #
The parameters of a RenameRequest
.
Constructors
RenameParams | |
Fields
|
Instances
data RenameOptions Source #
Provider options for a RenameRequest
.
Constructors
RenameOptions | |
Fields
|
Instances
data RenameFilesParams Source #
The parameters sent in notifications/requests for user-initiated renames of files.
Since: 3.16.0
Constructors
RenameFilesParams | |
Fields
|
Instances
data RenameFileOptions Source #
Rename file options
Constructors
RenameFileOptions | |
Fields
|
Instances
data RenameFile Source #
Rename file operation
Constructors
RenameFile | |
Fields
|
Instances
data RenameClientCapabilities Source #
Constructors
RenameClientCapabilities | |
Fields
|
Instances
data RelativePattern Source #
A relative pattern is a helper to construct glob patterns that are matched
relatively to a base URI. The common value for a baseUri
is a workspace
folder root, but it can be another absolute URI as well.
Since: 3.17.0
Constructors
RelativePattern | |
Instances
data RelatedUnchangedDocumentDiagnosticReport Source #
An unchanged diagnostic report with a set of related documents.
Since: 3.17.0
Constructors
RelatedUnchangedDocumentDiagnosticReport | |
Fields
|
Instances
data RelatedFullDocumentDiagnosticReport Source #
A full diagnostic report with a set of related documents.
Since: 3.17.0
Constructors
RelatedFullDocumentDiagnosticReport | |
Fields
|
Instances
data RegularExpressionsClientCapabilities Source #
Client capabilities specific to regular expressions.
Since: 3.16.0
Constructors
RegularExpressionsClientCapabilities | |
Instances
data RegistrationParams Source #
Constructors
RegistrationParams | |
Fields |
Instances
data Registration Source #
General parameters to to register for an notification or to register a provider.
Constructors
Registration | |
Instances
data ReferenceRegistrationOptions Source #
Registration options for a ReferencesRequest
.
Constructors
ReferenceRegistrationOptions | |
Fields
|
Instances
data ReferenceParams Source #
Parameters for a ReferencesRequest
.
Constructors
ReferenceParams | |
Fields
|
Instances
data ReferenceOptions Source #
Reference options.
Constructors
ReferenceOptions | |
Fields |
Instances
data ReferenceContext Source #
Value-object that contains additional information when requesting references.
Constructors
ReferenceContext | |
Fields
|
Instances
data ReferenceClientCapabilities Source #
Client Capabilities for a ReferencesRequest
.
Constructors
ReferenceClientCapabilities | |
Fields
|
Instances
A range in a text document expressed as (zero-based) start and end positions.
If you want to specify a range that contains a line including the line ending character(s) then use an end position denoting the start of the next line. For example: ```ts { start: { line: 5, character: 23 } end : { line 6, character : 0 } } ```
Constructors
Range | |
Instances
data PublishDiagnosticsParams Source #
The publish diagnostic notification's parameters.
Constructors
PublishDiagnosticsParams | |
Fields
|
Instances
data PublishDiagnosticsClientCapabilities Source #
The publish diagnostic client capabilities.
Constructors
PublishDiagnosticsClientCapabilities | |
Fields
|
Instances
newtype ProgressToken Source #
Constructors
ProgressToken (Int32 |? Text) |
Instances
data ProgressParams Source #
Constructors
ProgressParams | |
Fields
|
Instances
data PreviousResultId Source #
A previous result id in a workspace pull request.
Since: 3.17.0
Constructors
PreviousResultId | |
Instances
data PrepareSupportDefaultBehavior Source #
Constructors
PrepareSupportDefaultBehavior_Identifier | The client's default behavior is to select the identifier according the to language's syntax rule. |
Instances
newtype PrepareRenameResult Source #
Constructors
PrepareRenameResult (Range |? (Rec (("range" .== Range) .+ (("placeholder" .== Text) .+ Empty)) |? Rec (("defaultBehavior" .== Bool) .+ Empty))) |
Instances
data PrepareRenameParams Source #
Constructors
PrepareRenameParams | |
Fields
|
Instances
data PositionEncodingKind Source #
A set of predefined position encoding kinds.
Since: 3.17.0
Constructors
PositionEncodingKind_UTF8 | Character offsets count UTF-8 code units. |
PositionEncodingKind_UTF16 | Character offsets count UTF-16 code units. This is the default and must always be supported by servers |
PositionEncodingKind_UTF32 | Character offsets count UTF-32 code units. Implementation note: these are the same as Unicode code points,
so this |
PositionEncodingKind_Custom Text |
Instances
Position in a text document expressed as zero-based line and character
offset. Prior to 3.17 the offsets were always based on a UTF-16 string
representation. So a string of the form a𐐀b
the character offset of the
character a
is 0, the character offset of 𐐀
is 1 and the character
offset of b is 3 since 𐐀
is represented using two code units in UTF-16.
Since 3.17 clients and servers can agree on a different string encoding
representation (e.g. UTF-8). The client announces it's supported encoding
via the client capability `general.positionEncodings`.
The value is an array of position encodings the client supports, with
decreasing preference (e.g. the encoding at index `0` is the most preferred
one). To stay backwards compatible the only mandatory encoding is UTF-16
represented via the string `utf-16`. The server can pick one of the
encodings offered by the client and signals that encoding back to the
client via the initialize result's property
[`capabilities.positionEncoding`](#serverCapabilities). If the string value
`utf-16` is missing from the client's capability `general.positionEncodings`
servers can safely assume that the client supports UTF-16. If the server
omits the position encoding in its initialize result the encoding defaults
to the string value `utf-16`. Implementation considerations: since the
conversion from one encoding into another requires the content of the
file / line the conversion is best done where the file is read which is
usually on the server side.
Positions are line end character agnostic. So you can not specify a position that denotes `r|n` or `n|` where `|` represents the character offset.
@since 3.17.0 - support for negotiated position encoding.
Constructors
Position | |
Fields
|
Instances
The glob pattern to watch relative to the base path. Glob patterns can have the following syntax:
- *
to match one or more characters in a path segment
- ?
to match on one character in a path segment
- **
to match any number of path segments, including none
- `{}` to group conditions (e.g. `**/*.{ts,js}` matches all TypeScript and JavaScript files)
- `[]` to declare a range of characters to match in a path segment (e.g., `example.[0-9]` to match on `example.0`, `example.1`, …)
- `[!...]` to negate a range of characters to match in a path segment (e.g., `example.[!0-9]` to match on `example.a`, `example.b`, but not `example.0`)
Since: 3.17.0
Instances
FromJSON Pattern Source # | |
FromJSONKey Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern Methods | |
ToJSON Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
ToJSONKey Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
Generic Pattern Source # | |
Show Pattern Source # | |
NFData Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
Eq Pattern Source # | |
Ord Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
Hashable Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
Pretty Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
HasPattern RelativePattern Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Lens | |
type Rep Pattern Source # | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern |
data PartialResultParams Source #
Constructors
PartialResultParams | |
Fields
|
Instances
data ParameterInformation Source #
Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.
Constructors
ParameterInformation | |
Fields
|
Instances
data OptionalVersionedTextDocumentIdentifier Source #
A text document identifier to optionally denote a specific version of a text document.
Constructors
OptionalVersionedTextDocumentIdentifier | |
Fields
|
Instances
data NotebookDocumentSyncRegistrationOptions Source #
Registration options specific to a notebook.
Since: 3.17.0
Constructors
NotebookDocumentSyncRegistrationOptions | |
Fields
|
Instances
data NotebookDocumentSyncOptions Source #
Options specific to a notebook plus its cells to be synced to the server.
If a selector provides a notebook document filter but no cell selector all cells of a matching notebook document will be synced.
If a selector provides no notebook document filter but only a cell selector all notebook document that contain at least one matching cell will be synced.
Since: 3.17.0
Constructors
NotebookDocumentSyncOptions | |
Fields
|
Instances
data NotebookDocumentSyncClientCapabilities Source #
Notebook specific client capabilities.
Since: 3.17.0
Constructors
NotebookDocumentSyncClientCapabilities | |
Fields
|
Instances
data NotebookDocumentIdentifier Source #
A literal to identify a notebook document in the client.
Since: 3.17.0
Constructors
NotebookDocumentIdentifier | |
Instances
newtype NotebookDocumentFilter Source #
A notebook document filter denotes a notebook document by different properties. The properties will be match against the notebook's URI (same as with documents)
Since: 3.17.0
Constructors
NotebookDocumentFilter (Rec (("notebookType" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? (Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ Empty))) |? Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ Empty))))) |
Instances
data NotebookDocumentClientCapabilities Source #
Capabilities specific to the notebook document support.
Since: 3.17.0
Constructors
NotebookDocumentClientCapabilities | |
Fields
|
Instances
data NotebookDocumentChangeEvent Source #
A change event for a notebook document.
Since: 3.17.0
Constructors
NotebookDocumentChangeEvent | |
Fields
|
Instances
data NotebookDocument Source #
A notebook document.
Since: 3.17.0
Constructors
NotebookDocument | |
Fields
|
Instances
data NotebookCellTextDocumentFilter Source #
A notebook cell text document filter denotes a cell text document by different properties.
Since: 3.17.0
Constructors
NotebookCellTextDocumentFilter | |
Fields
|
Instances
data NotebookCellKind Source #
A notebook cell kind.
Since: 3.17.0
Constructors
NotebookCellKind_Markup | A markup-cell is formatted source that is used for display. |
NotebookCellKind_Code | A code-cell is source code. |
Instances
data NotebookCellArrayChange Source #
A change describing how to move a NotebookCell
array from state S to S'.
Since: 3.17.0
Constructors
NotebookCellArrayChange | |
Fields
|
Instances
data NotebookCell Source #
A notebook cell.
A cell's document URI must be unique across ALL notebook cells and can therefore be used to uniquely identify a notebook cell or the cell's text document.
Since: 3.17.0
Constructors
NotebookCell | |
Fields
|
Instances
data MonikerRegistrationOptions Source #
Constructors
MonikerRegistrationOptions | |
Fields
|
Instances
data MonikerParams Source #
Constructors
MonikerParams | |
Fields
|
Instances
data MonikerOptions Source #
Constructors
MonikerOptions | |
Fields |
Instances
data MonikerKind Source #
The moniker kind.
Since: 3.16.0
Constructors
MonikerKind_Import | The moniker represent a symbol that is imported into a project |
MonikerKind_Export | The moniker represents a symbol that is exported from a project |
MonikerKind_Local | The moniker represents a symbol that is local to a project (e.g. a local variable of a function, a class not visible outside the project, ...) |
Instances
data MonikerClientCapabilities Source #
Client capabilities specific to the moniker request.
Since: 3.16.0
Constructors
MonikerClientCapabilities | |
Fields
|
Instances
Moniker definition to match LSIF 0.5 moniker definition.
Since: 3.16.0
Constructors
Moniker | |
Fields
|
Instances
data MessageType Source #
The message type
Constructors
MessageType_Error | An error message. |
MessageType_Warning | A warning message. |
MessageType_Info | An information message. |
MessageType_Log | A log message. |
Instances
data MessageActionItem Source #
Constructors
MessageActionItem | |
Instances
data MarkupKind Source #
Describes the content type that a client supports in various
result literals like Hover
, ParameterInfo
or CompletionItem
.
Please note that MarkupKinds
must not start with a $
. This kinds
are reserved for internal usage.
Constructors
MarkupKind_PlainText | Plain text is supported as a content format |
MarkupKind_Markdown | Markdown is supported as a content format |
Instances
data MarkupContent Source #
A MarkupContent
literal represents a string value which content is interpreted base on its
kind flag. Currently the protocol supports plaintext
and markdown
as markup kinds.
If the kind is markdown
then the value can contain fenced code blocks like in GitHub issues.
See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting
Here is an example how such a string can be constructed using JavaScript / TypeScript:
```ts
let markdown: MarkdownContent = {
kind: MarkupKind.Markdown,
value: [
'# Header',
'Some text',
'``typescript
,
'someCode();',
'```'
].join('n')
};
```
- Please Note* that clients might sanitize the return markdown. A client could decide to remove HTML from the markdown to avoid script execution.
Constructors
MarkupContent | |
Fields
|
Instances
newtype MarkedString Source #
Deprecated: use MarkupContent instead.
MarkedString can be used to render human readable text. It is either a markdown string or a code-block that provides a language and a code snippet. The language identifier is semantically equal to the optional language identifier in fenced code blocks in GitHub issues. See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting
The pair of a language and a value is an equivalent to markdown: ```${language} ${value} ```
Note that markdown strings will be sanitized - that means html will be escaped. @deprecated use MarkupContent instead.
Constructors
MarkedString (Text |? Rec (("language" .== Text) .+ (("value" .== Text) .+ Empty))) | Deprecated: use MarkupContent instead. |
Instances
data MarkdownClientCapabilities Source #
Client capabilities specific to the used markdown parser.
Since: 3.16.0
Constructors
MarkdownClientCapabilities | |
Instances
data LogTraceParams Source #
Instances
data LogMessageParams Source #
The log message parameters.
Constructors
LogMessageParams | |
Fields
|
Instances
data LocationLink Source #
Represents the connection of two locations. Provides additional metadata over normal Location
,
including an origin range.
Constructors
LocationLink | |
Fields
|
Instances
Represents a location inside a resource, such as a line inside a text file.
Instances
data LinkedEditingRanges Source #
The result of a linked editing range request.
Since: 3.16.0
Constructors
LinkedEditingRanges | |
Fields
|
Instances
data LinkedEditingRangeRegistrationOptions Source #
Constructors
LinkedEditingRangeRegistrationOptions | |
Fields
|
Instances
data LinkedEditingRangeParams Source #
Constructors
LinkedEditingRangeParams | |
Fields
|
Instances
data LinkedEditingRangeOptions Source #
Constructors
LinkedEditingRangeOptions | |
Fields |
Instances
data LinkedEditingRangeClientCapabilities Source #
Client capabilities for the linked editing range request.
Since: 3.16.0
Constructors
LinkedEditingRangeClientCapabilities | |
Fields
|
Instances
data LSPErrorCodes Source #
Constructors
LSPErrorCodes_RequestFailed | A request failed but it was syntactically correct, e.g the method name was known and the parameters were valid. The error message should contain human readable information about why the request failed. Since: 3.17.0 |
LSPErrorCodes_ServerCancelled | The server cancelled the request. This error code should only be used for requests that explicitly support being server cancellable. Since: 3.17.0 |
LSPErrorCodes_ContentModified | The server detected that the content of a document got modified outside normal conditions. A server should NOT send this error code if it detects a content change in it unprocessed messages. The result even computed on an older state might still be useful for the client. If a client decides that a result is not of any use anymore the client should cancel the request. |
LSPErrorCodes_RequestCancelled | The client has canceled a request and a server as detected the cancel. |
LSPErrorCodes_Custom Int32 |
Instances
data InsertTextMode Source #
How whitespace and indentation is handled during completion item insertion.
Since: 3.16.0
Constructors
InsertTextMode_AsIs | The insertion or replace strings is taken as it is. If the value is multi line the lines below the cursor will be inserted using the indentation defined in the string value. The client will not apply any kind of adjustments to the string. |
InsertTextMode_AdjustIndentation | The editor adjusts leading whitespace of new lines so that they match the indentation up to the cursor of the line for which the item is accepted. Consider a line like this: 2tabscursor3tabsfoo. Accepting a multi line completion item is indented using 2 tabs and all following lines inserted will be indented using 2 tabs as well. |
Instances
data InsertTextFormat Source #
Defines whether the insert text in a completion item should be interpreted as plain text or a snippet.
Constructors
InsertTextFormat_PlainText | The primary text to be inserted is treated as a plain string. |
InsertTextFormat_Snippet | The primary text to be inserted is treated as a snippet. A snippet can define tab stops and placeholders with `$1`, `$2` and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end of the snippet. Placeholders with equal identifiers are linked, that is typing in one will update others too. |
Instances
data InsertReplaceEdit Source #
A special text edit to provide an insert and a replace operation.
Since: 3.16.0
Constructors
InsertReplaceEdit | |
Instances
data InlineValueWorkspaceClientCapabilities Source #
Client workspace capabilities specific to inline values.
Since: 3.17.0
Constructors
InlineValueWorkspaceClientCapabilities | |
Fields
|
Instances
data InlineValueVariableLookup Source #
Provide inline value through a variable lookup. If only a range is specified, the variable name will be extracted from the underlying document. An optional variable name can be used to override the extracted name.
Since: 3.17.0
Constructors
InlineValueVariableLookup | |
Fields
|
Instances
data InlineValueText Source #
Provide inline value as text.
Since: 3.17.0
Constructors
InlineValueText | |
Instances
data InlineValueRegistrationOptions Source #
Inline value options used during static or dynamic registration.
Since: 3.17.0
Constructors
InlineValueRegistrationOptions | |
Fields
|
Instances
data InlineValueParams Source #
A parameter literal used in inline value requests.
Since: 3.17.0
Constructors
InlineValueParams | |
Fields
|
Instances
data InlineValueOptions Source #
Inline value options used during static registration.
Since: 3.17.0
Constructors
InlineValueOptions | |
Fields |
Instances
data InlineValueEvaluatableExpression Source #
Provide an inline value through an expression evaluation. If only a range is specified, the expression will be extracted from the underlying document. An optional expression can be used to override the extracted expression.
Since: 3.17.0
Constructors
InlineValueEvaluatableExpression | |
Fields
|
Instances
data InlineValueContext Source #
Since: 3.17.0
Constructors
InlineValueContext | |
Fields
|
Instances
data InlineValueClientCapabilities Source #
Client capabilities specific to inline values.
Since: 3.17.0
Constructors
InlineValueClientCapabilities | |
Fields
|
Instances
newtype InlineValue Source #
Inline value information can be provided by different means: - directly as a text value (class InlineValueText). - as a name to use for a variable lookup (class InlineValueVariableLookup) - as an evaluatable expression (class InlineValueEvaluatableExpression) The InlineValue types combines all inline value types into one type.
Since: 3.17.0
Constructors
InlineValue (InlineValueText |? (InlineValueVariableLookup |? InlineValueEvaluatableExpression)) |
Instances
data InlayHintWorkspaceClientCapabilities Source #
Client workspace capabilities specific to inlay hints.
Since: 3.17.0
Constructors
InlayHintWorkspaceClientCapabilities | |
Fields
|
Instances
data InlayHintRegistrationOptions Source #
Inlay hint options used during static or dynamic registration.
Since: 3.17.0
Constructors
InlayHintRegistrationOptions | |
Fields
|
Instances
data InlayHintParams Source #
A parameter literal used in inlay hint requests.
Since: 3.17.0
Constructors
InlayHintParams | |
Fields
|
Instances
data InlayHintOptions Source #
Inlay hint options used during static registration.
Since: 3.17.0
Constructors
InlayHintOptions | |
Fields
|
Instances
data InlayHintLabelPart Source #
An inlay hint label part allows for interactive and composite labels of inlay hints.
Since: 3.17.0
Constructors
InlayHintLabelPart | |
Fields
|
Instances
data InlayHintKind Source #
Inlay hint kinds.
Since: 3.17.0
Constructors
InlayHintKind_Type | An inlay hint that for a type annotation. |
InlayHintKind_Parameter | An inlay hint that is for a parameter. |
Instances
data InlayHintClientCapabilities Source #
Inlay hint client capabilities.
Since: 3.17.0
Constructors
InlayHintClientCapabilities | |
Fields
|
Instances
Inlay hint information.
Since: 3.17.0
Constructors
InlayHint | |
Fields
|
Instances
data InitializedParams Source #
Constructors
InitializedParams | |
Instances
data InitializeResult Source #
The result returned from an initialize request.
Constructors
InitializeResult | |
Fields
|
Instances
data InitializeParams Source #
Constructors
InitializeParams | |
Fields
|
Instances
data InitializeError Source #
The data type of the ResponseError if the initialize request fails.
Constructors
InitializeError | |
Instances
data ImplementationRegistrationOptions Source #
Constructors
ImplementationRegistrationOptions | |
Fields
|
Instances
data ImplementationParams Source #
Constructors
ImplementationParams | |
Fields
|
Instances
data ImplementationOptions Source #
Constructors
ImplementationOptions | |
Fields |
Instances
data ImplementationClientCapabilities Source #
Since: 3.6.0
Constructors
ImplementationClientCapabilities | |
Fields
|
Instances
data HoverRegistrationOptions Source #
Registration options for a HoverRequest
.
Constructors
HoverRegistrationOptions | |
Fields
|
Instances
data HoverParams Source #
Parameters for a HoverRequest
.
Constructors
HoverParams | |
Fields
|
Instances
data HoverOptions Source #
Hover options.
Constructors
HoverOptions | |
Fields |
Instances
data HoverClientCapabilities Source #
Constructors
HoverClientCapabilities | |
Fields
|
Instances
The result of a hover request.
Constructors
Hover | |
Fields
|
Instances
newtype GlobPattern Source #
The glob pattern. Either a string pattern or a relative pattern.
Since: 3.17.0
Constructors
GlobPattern (Pattern |? RelativePattern) |
Instances
data GeneralClientCapabilities Source #
General client capabilities.
Since: 3.16.0
Constructors
GeneralClientCapabilities | |
Fields
|
Instances
data FullDocumentDiagnosticReport Source #
A diagnostic report with a full set of problems.
Since: 3.17.0
Constructors
FullDocumentDiagnosticReport | |
Instances
data FormattingOptions Source #
Value-object describing what options formatting should use.
Constructors
FormattingOptions | |
Fields
|
Instances
data FoldingRangeRegistrationOptions Source #
Constructors
FoldingRangeRegistrationOptions | |
Fields
|
Instances
data FoldingRangeParams Source #
Parameters for a FoldingRangeRequest
.
Constructors
FoldingRangeParams | |
Fields
|
Instances
data FoldingRangeOptions Source #
Constructors
FoldingRangeOptions | |
Fields |
Instances
data FoldingRangeKind Source #
A set of predefined range kinds.
Constructors
FoldingRangeKind_Comment | Folding range for a comment |
FoldingRangeKind_Imports | Folding range for an import or include |
FoldingRangeKind_Region | Folding range for a region (e.g. `#region`) |
FoldingRangeKind_Custom Text |
Instances
data FoldingRangeClientCapabilities Source #
Constructors
FoldingRangeClientCapabilities | |
Fields
|
Instances
data FoldingRange Source #
Represents a folding range. To be valid, start and end line must be bigger than zero and smaller than the number of lines in the document. Clients are free to ignore invalid ranges.
Constructors
FoldingRange | |
Fields
|
Instances
data FileSystemWatcher Source #
Constructors
FileSystemWatcher | |
Fields
|
Instances
data FileRename Source #
Represents information on a file/folder rename.
Since: 3.16.0
Constructors
FileRename | |
Instances
data FileOperationRegistrationOptions Source #
The options to register for file operations.
Since: 3.16.0
Constructors
FileOperationRegistrationOptions | |
Fields
|
Instances
data FileOperationPatternOptions Source #
Matching options for the file operation pattern.
Since: 3.16.0
Constructors
FileOperationPatternOptions | |
Fields
|
Instances
data FileOperationPatternKind Source #
A pattern kind describing if a glob pattern matches a file a folder or both.
Since: 3.16.0
Constructors
FileOperationPatternKind_File | The pattern matches a file only. |
FileOperationPatternKind_Folder | The pattern matches a folder only. |
Instances
data FileOperationPattern Source #
A pattern to describe in which file operation requests or notifications the server is interested in receiving.
Since: 3.16.0
Constructors
FileOperationPattern | |
Fields
|
Instances
data FileOperationOptions Source #
Options for notifications/requests for user operations on files.
Since: 3.16.0
Constructors
FileOperationOptions | |
Fields
|
Instances
data FileOperationFilter Source #
A filter to describe in which file operation requests or notifications the server is interested in receiving.
Since: 3.16.0
Constructors
FileOperationFilter | |
Fields
|
Instances
data FileOperationClientCapabilities Source #
Capabilities relating to events from file operations by the user in the client.
These events do not come from the file system, they come from user operations like renaming a file in the UI.
Since: 3.16.0
Constructors
FileOperationClientCapabilities | |
Fields
|
Instances
An event describing a file change.
Constructors
FileEvent | |
Fields
|
Instances
FromJSON FileEvent Source # | |
ToJSON FileEvent Source # | |
Generic FileEvent Source # | |
Show FileEvent Source # | |
NFData FileEvent Source # | |
Eq FileEvent Source # | |
Ord FileEvent Source # | |
Hashable FileEvent Source # | |
Pretty FileEvent Source # | |
HasType_ FileEvent FileChangeType Source # | |
Defined in Language.LSP.Protocol.Internal.Lens | |
HasUri FileEvent Uri Source # | |
HasChanges DidChangeWatchedFilesParams [FileEvent] Source # | |
Defined in Language.LSP.Protocol.Internal.Lens | |
type Rep FileEvent Source # | |
Defined in Language.LSP.Protocol.Internal.Types.FileEvent type Rep FileEvent = D1 ('MetaData "FileEvent" "Language.LSP.Protocol.Internal.Types.FileEvent" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "FileEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FileChangeType))) |
data FileDelete Source #
Represents information on a file/folder delete.
Since: 3.16.0
Constructors
FileDelete | |
Instances
data FileCreate Source #
Represents information on a file/folder create.
Since: 3.16.0
Constructors
FileCreate | |
Instances
data FileChangeType Source #
The file event type
Constructors
FileChangeType_Created | The file got created. |
FileChangeType_Changed | The file got changed. |
FileChangeType_Deleted | The file got deleted. |
Instances
data FailureHandlingKind Source #
Constructors
FailureHandlingKind_Abort | Applying the workspace change is simply aborted if one of the changes provided fails. All operations executed before the failing operation stay executed. |
FailureHandlingKind_Transactional | All operations are executed transactional. That means they either all succeed or no changes at all are applied to the workspace. |
FailureHandlingKind_TextOnlyTransactional | If the workspace edit contains only textual file changes they are executed transactional. If resource changes (create, rename or delete file) are part of the change the failure handling strategy is abort. |
FailureHandlingKind_Undo | The client tries to undo the operations already executed. But there is no guarantee that this is succeeding. |
Instances
data ExecutionSummary Source #
Constructors
ExecutionSummary | |
Fields
|
Instances
data ExecuteCommandRegistrationOptions Source #
Registration options for a ExecuteCommandRequest
.
Constructors
ExecuteCommandRegistrationOptions | |
Fields
|
Instances
data ExecuteCommandParams Source #
The parameters of a ExecuteCommandRequest
.
Constructors
ExecuteCommandParams | |
Fields
|
Instances
data ExecuteCommandOptions Source #
The server capabilities of a ExecuteCommandRequest
.
Constructors
ExecuteCommandOptions | |
Fields
|
Instances
data ExecuteCommandClientCapabilities Source #
The client capabilities of a ExecuteCommandRequest
.
Constructors
ExecuteCommandClientCapabilities | |
Fields
|
Instances
data ErrorCodes Source #
Predefined error codes.
Constructors
ErrorCodes_ParseError | |
ErrorCodes_InvalidRequest | |
ErrorCodes_MethodNotFound | |
ErrorCodes_InvalidParams | |
ErrorCodes_InternalError | |
ErrorCodes_ServerNotInitialized | Error code indicating that a server received a notification or
request before the server has received the |
ErrorCodes_UnknownErrorCode | |
ErrorCodes_Custom Int32 |
Instances
data DocumentSymbolRegistrationOptions Source #
Registration options for a DocumentSymbolRequest
.
Constructors
DocumentSymbolRegistrationOptions | |
Fields
|
Instances
data DocumentSymbolParams Source #
Parameters for a DocumentSymbolRequest
.
Constructors
DocumentSymbolParams | |
Fields
|
Instances
data DocumentSymbolOptions Source #
Provider options for a DocumentSymbolRequest
.
Constructors
DocumentSymbolOptions | |
Instances
data DocumentSymbolClientCapabilities Source #
Client Capabilities for a DocumentSymbolRequest
.
Constructors
DocumentSymbolClientCapabilities | |
Fields
|
Instances
data DocumentSymbol Source #
Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.
Constructors
DocumentSymbol | |
Fields
|
Instances
newtype DocumentSelector Source #
A document selector is the combination of one or many document filters.
@sample `let sel:DocumentSelector = [{ language: typescript
}, { language: json
, pattern: '**∕tsconfig.json' }]`;
The use of a string as a document filter is deprecated @since 3.16.0.
Constructors
DocumentSelector [DocumentFilter] |
Instances
data DocumentRangeFormattingRegistrationOptions Source #
Registration options for a DocumentRangeFormattingRequest
.
Constructors
DocumentRangeFormattingRegistrationOptions | |
Fields
|
Instances
data DocumentRangeFormattingParams Source #
The parameters of a DocumentRangeFormattingRequest
.
Constructors
DocumentRangeFormattingParams | |
Fields
|
Instances
data DocumentRangeFormattingOptions Source #
Provider options for a DocumentRangeFormattingRequest
.
Constructors
DocumentRangeFormattingOptions | |
Fields |
Instances
data DocumentRangeFormattingClientCapabilities Source #
Client capabilities of a DocumentRangeFormattingRequest
.
Constructors
DocumentRangeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentOnTypeFormattingRegistrationOptions Source #
Registration options for a DocumentOnTypeFormattingRequest
.
Constructors
DocumentOnTypeFormattingRegistrationOptions | |
Fields
|
Instances
data DocumentOnTypeFormattingParams Source #
The parameters of a DocumentOnTypeFormattingRequest
.
Constructors
DocumentOnTypeFormattingParams | |
Fields
|
Instances
data DocumentOnTypeFormattingOptions Source #
Provider options for a DocumentOnTypeFormattingRequest
.
Constructors
DocumentOnTypeFormattingOptions | |
Fields
|
Instances
data DocumentOnTypeFormattingClientCapabilities Source #
Client capabilities of a DocumentOnTypeFormattingRequest
.
Constructors
DocumentOnTypeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentLinkRegistrationOptions Source #
Registration options for a DocumentLinkRequest
.
Constructors
DocumentLinkRegistrationOptions | |
Fields
|
Instances
data DocumentLinkParams Source #
The parameters of a DocumentLinkRequest
.
Constructors
DocumentLinkParams | |
Fields
|
Instances
data DocumentLinkOptions Source #
Provider options for a DocumentLinkRequest
.
Constructors
DocumentLinkOptions | |
Fields
|
Instances
data DocumentLinkClientCapabilities Source #
The client capabilities of a DocumentLinkRequest
.
Constructors
DocumentLinkClientCapabilities | |
Fields
|
Instances
data DocumentLink Source #
A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.
Constructors
DocumentLink | |
Fields
|
Instances
data DocumentHighlightRegistrationOptions Source #
Registration options for a DocumentHighlightRequest
.
Constructors
DocumentHighlightRegistrationOptions | |
Fields
|
Instances
data DocumentHighlightParams Source #
Parameters for a DocumentHighlightRequest
.
Constructors
DocumentHighlightParams | |
Fields
|
Instances
data DocumentHighlightOptions Source #
Provider options for a DocumentHighlightRequest
.
Constructors
DocumentHighlightOptions | |
Fields |
Instances
data DocumentHighlightKind Source #
A document highlight kind.
Constructors
DocumentHighlightKind_Text | A textual occurrence. |
DocumentHighlightKind_Read | Read-access of a symbol, like reading a variable. |
DocumentHighlightKind_Write | Write-access of a symbol, like writing to a variable. |
Instances
data DocumentHighlightClientCapabilities Source #
Client Capabilities for a DocumentHighlightRequest
.
Constructors
DocumentHighlightClientCapabilities | |
Fields
|
Instances
data DocumentHighlight Source #
A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
Constructors
DocumentHighlight | |
Instances
data DocumentFormattingRegistrationOptions Source #
Registration options for a DocumentFormattingRequest
.
Constructors
DocumentFormattingRegistrationOptions | |
Fields
|
Instances
data DocumentFormattingParams Source #
The parameters of a DocumentFormattingRequest
.
Constructors
DocumentFormattingParams | |
Fields
|
Instances
data DocumentFormattingOptions Source #
Provider options for a DocumentFormattingRequest
.
Constructors
DocumentFormattingOptions | |
Fields |
Instances
data DocumentFormattingClientCapabilities Source #
Client capabilities of a DocumentFormattingRequest
.
Constructors
DocumentFormattingClientCapabilities | |
Fields
|
Instances
newtype DocumentFilter Source #
A document filter describes a top level text document or a notebook cell document.
@since 3.17.0 - proposed support for NotebookCellTextDocumentFilter.
Constructors
DocumentFilter (TextDocumentFilter |? NotebookCellTextDocumentFilter) |
Instances
data DocumentDiagnosticReportPartialResult Source #
A partial result for a document diagnostic report.
Since: 3.17.0
Constructors
DocumentDiagnosticReportPartialResult | |
Instances
data DocumentDiagnosticReportKind Source #
The document diagnostic report kinds.
Since: 3.17.0
Constructors
DocumentDiagnosticReportKind_Full | A diagnostic report with a full set of problems. |
DocumentDiagnosticReportKind_Unchanged | A report indicating that the last returned report is still accurate. |
Instances
newtype DocumentDiagnosticReport Source #
The result of a document diagnostic pull request. A report can either be a full report containing all diagnostics for the requested document or an unchanged report indicating that nothing has changed in terms of diagnostics in comparison to the last pull request.
Since: 3.17.0
Constructors
DocumentDiagnosticReport (RelatedFullDocumentDiagnosticReport |? RelatedUnchangedDocumentDiagnosticReport) |
Instances
data DocumentDiagnosticParams Source #
Parameters of the document diagnostic request.
Since: 3.17.0
Constructors
DocumentDiagnosticParams | |
Fields
|
Instances
data DocumentColorRegistrationOptions Source #
Constructors
DocumentColorRegistrationOptions | |
Fields
|
Instances
data DocumentColorParams Source #
Parameters for a DocumentColorRequest
.
Constructors
DocumentColorParams | |
Fields
|
Instances
data DocumentColorOptions Source #
Constructors
DocumentColorOptions | |
Fields |
Instances
data DocumentColorClientCapabilities Source #
Constructors
DocumentColorClientCapabilities | |
Fields
|
Instances
data DidSaveTextDocumentParams Source #
The parameters sent in a save text document notification
Constructors
DidSaveTextDocumentParams | |
Fields
|
Instances
data DidSaveNotebookDocumentParams Source #
The params sent in a save notebook document notification.
Since: 3.17.0
Constructors
DidSaveNotebookDocumentParams | |
Fields
|
Instances
data DidOpenTextDocumentParams Source #
The parameters sent in an open text document notification
Constructors
DidOpenTextDocumentParams | |
Fields
|
Instances
data DidOpenNotebookDocumentParams Source #
The params sent in an open notebook document notification.
Since: 3.17.0
Constructors
DidOpenNotebookDocumentParams | |
Fields
|
Instances
data DidCloseTextDocumentParams Source #
The parameters sent in a close text document notification
Constructors
DidCloseTextDocumentParams | |
Fields
|
Instances
data DidCloseNotebookDocumentParams Source #
The params sent in a close notebook document notification.
Since: 3.17.0
Constructors
DidCloseNotebookDocumentParams | |
Fields
|
Instances
data DidChangeWorkspaceFoldersParams Source #
The parameters of a `workspace/didChangeWorkspaceFolders` notification.
Constructors
DidChangeWorkspaceFoldersParams | |
Fields
|
Instances
data DidChangeWatchedFilesRegistrationOptions Source #
Describe options to be used when registered for text document change events.
Constructors
DidChangeWatchedFilesRegistrationOptions | |
Fields
|
Instances
data DidChangeWatchedFilesParams Source #
The watched files change notification's parameters.
Constructors
DidChangeWatchedFilesParams | |
Instances
data DidChangeWatchedFilesClientCapabilities Source #
Constructors
DidChangeWatchedFilesClientCapabilities | |
Fields
|
Instances
data DidChangeTextDocumentParams Source #
The change text document notification's parameters.
Constructors
DidChangeTextDocumentParams | |
Fields
|
Instances
data DidChangeNotebookDocumentParams Source #
The params sent in a change notebook document notification.
Since: 3.17.0
Constructors
DidChangeNotebookDocumentParams | |
Fields
|
Instances
data DidChangeConfigurationRegistrationOptions Source #
Instances
data DidChangeConfigurationParams Source #
The parameters of a change configuration notification.
Constructors
DidChangeConfigurationParams | |
Instances
data DidChangeConfigurationClientCapabilities Source #
Constructors
DidChangeConfigurationClientCapabilities | |
Fields
|
Instances
data DiagnosticWorkspaceClientCapabilities Source #
Workspace client capabilities specific to diagnostic pull requests.
Since: 3.17.0
Constructors
DiagnosticWorkspaceClientCapabilities | |
Fields
|
Instances
data DiagnosticTag Source #
The diagnostic tags.
Since: 3.15.0
Constructors
DiagnosticTag_Unnecessary | Unused or unnecessary code. Clients are allowed to render diagnostics with this tag faded out instead of having an error squiggle. |
DiagnosticTag_Deprecated | Deprecated or obsolete code. Clients are allowed to rendered diagnostics with this tag strike through. |
Instances
data DiagnosticSeverity Source #
The diagnostic's severity.
Constructors
DiagnosticSeverity_Error | Reports an error. |
DiagnosticSeverity_Warning | Reports a warning. |
DiagnosticSeverity_Information | Reports an information. |
DiagnosticSeverity_Hint | Reports a hint. |
Instances
data DiagnosticServerCancellationData Source #
Cancellation data returned from a diagnostic request.
Since: 3.17.0
Constructors
DiagnosticServerCancellationData | |
Fields |
Instances
data DiagnosticRelatedInformation Source #
Represents a related message and source code location for a diagnostic. This should be used to point to code locations that cause or related to a diagnostics, e.g when duplicating a symbol in a scope.
Constructors
DiagnosticRelatedInformation | |
Instances
data DiagnosticRegistrationOptions Source #
Diagnostic registration options.
Since: 3.17.0
Constructors
DiagnosticRegistrationOptions | |
Fields
|
Instances
data DiagnosticOptions Source #
Diagnostic options.
Since: 3.17.0
Constructors
DiagnosticOptions | |
Fields
|
Instances
data DiagnosticClientCapabilities Source #
Client capabilities specific to diagnostic pull requests.
Since: 3.17.0
Constructors
DiagnosticClientCapabilities | |
Fields
|
Instances
data Diagnostic Source #
Represents a diagnostic, such as a compiler error or warning. Diagnostic objects are only valid in the scope of a resource.
Constructors
Diagnostic | |
Fields
|
Instances
data DeleteFilesParams Source #
The parameters sent in notifications/requests for user-initiated deletes of files.
Since: 3.16.0
Constructors
DeleteFilesParams | |
Fields
|
Instances
data DeleteFileOptions Source #
Delete file options
Constructors
DeleteFileOptions | |
Fields
|
Instances
data DeleteFile Source #
Delete file operation
Constructors
DeleteFile | |
Fields
|
Instances
data DefinitionRegistrationOptions Source #
Registration options for a DefinitionRequest
.
Constructors
DefinitionRegistrationOptions | |
Fields
|
Instances
data DefinitionParams Source #
Parameters for a DefinitionRequest
.
Constructors
DefinitionParams | |
Fields
|
Instances
data DefinitionOptions Source #
Server Capabilities for a DefinitionRequest
.
Constructors
DefinitionOptions | |
Fields |
Instances
newtype DefinitionLink Source #
Information about where a symbol is defined.
Provides additional metadata over normal Location
definitions, including the range of
the defining symbol
Constructors
DefinitionLink LocationLink |
Instances
data DefinitionClientCapabilities Source #
Client Capabilities for a DefinitionRequest
.
Constructors
DefinitionClientCapabilities | |
Fields
|
Instances
newtype Definition Source #
The definition of a symbol represented as one or many Location
.
For most programming languages there is only one location at which a symbol is
defined.
Servers should prefer returning DefinitionLink
over Definition
if supported
by the client.
Constructors
Definition (Location |? [Location]) |
Instances
data DeclarationRegistrationOptions Source #
Constructors
DeclarationRegistrationOptions | |
Fields
|
Instances
data DeclarationParams Source #
Constructors
DeclarationParams | |
Fields
|
Instances
data DeclarationOptions Source #
Constructors
DeclarationOptions | |
Fields |
Instances
newtype DeclarationLink Source #
Information about where a symbol is declared.
Provides additional metadata over normal Location
declarations, including the range of
the declaring symbol.
Servers should prefer returning DeclarationLink
over Declaration
if supported
by the client.
Constructors
DeclarationLink LocationLink |
Instances
data DeclarationClientCapabilities Source #
Since: 3.14.0
Constructors
DeclarationClientCapabilities | |
Fields
|
Instances
newtype Declaration Source #
The declaration of a symbol representation as one or many Location
.
Constructors
Declaration (Location |? [Location]) |
Instances
data CreateFilesParams Source #
The parameters sent in notifications/requests for user-initiated creation of files.
Since: 3.16.0
Constructors
CreateFilesParams | |
Fields
|
Instances
data CreateFileOptions Source #
Options to create a file.
Constructors
CreateFileOptions | |
Fields
|
Instances
data CreateFile Source #
Create file operation.
Constructors
CreateFile | |
Fields
|
Instances
data ConfigurationParams Source #
The parameters of a configuration request.
Constructors
ConfigurationParams | |
Fields
|
Instances
data ConfigurationItem Source #
Constructors
ConfigurationItem | |
Instances
data CompletionTriggerKind Source #
How a completion was triggered
Constructors
CompletionTriggerKind_Invoked | Completion was triggered by typing an identifier (24x7 code complete), manual invocation (e.g Ctrl+Space) or via API. |
CompletionTriggerKind_TriggerCharacter | Completion was triggered by a trigger character specified by
the |
CompletionTriggerKind_TriggerForIncompleteCompletions | Completion was re-triggered as current completion list is incomplete |
Instances
data CompletionRegistrationOptions Source #
Registration options for a CompletionRequest
.
Constructors
CompletionRegistrationOptions | |
Fields
|
Instances
data CompletionParams Source #
Completion parameters
Constructors
CompletionParams | |
Fields
|
Instances
data CompletionOptions Source #
Completion options.
Constructors
CompletionOptions | |
Fields
|
Instances
data CompletionList Source #
Represents a collection of CompletionItem
to be presented
in the editor.
Constructors
CompletionList | |
Fields
|
Instances
data CompletionItemTag Source #
Completion item tags are extra annotations that tweak the rendering of a completion item.
Since: 3.15.0
Constructors
CompletionItemTag_Deprecated | Render a completion as obsolete, usually using a strike-out. |
Instances
data CompletionItemLabelDetails Source #
Additional details for a completion item label.
Since: 3.17.0
Constructors
CompletionItemLabelDetails | |
Fields
|
Instances
data CompletionItemKind Source #
The kind of a completion entry.
Constructors
Instances
data CompletionItem Source #
A completion item represents a text snippet that is proposed to complete text that is being typed.
Constructors
CompletionItem | |
Fields
|
Instances
data CompletionContext Source #
Contains additional information about the context in which a completion request is triggered.
Constructors
CompletionContext | |
Fields
|
Instances
data CompletionClientCapabilities Source #
Completion client capabilities
Constructors
CompletionClientCapabilities | |
Fields
|
Instances
Represents a reference to a command. Provides a title which will be used to represent a command in the UI and, optionally, an array of arguments which will be passed to the command handler function when invoked.
Constructors
Command | |
Instances
data ColorPresentationParams Source #
Parameters for a ColorPresentationRequest
.
Constructors
ColorPresentationParams | |
Fields
|
Instances
data ColorPresentation Source #
Constructors
ColorPresentation | |
Fields
|
Instances
data ColorInformation Source #
Represents a color range from a document.
Constructors
ColorInformation | |
Instances
Represents a color in RGBA space.
Constructors
Color | |
Instances
data CodeLensWorkspaceClientCapabilities Source #
Since: 3.16.0
Constructors
CodeLensWorkspaceClientCapabilities | |
Fields
|
Instances
data CodeLensRegistrationOptions Source #
Registration options for a CodeLensRequest
.
Constructors
CodeLensRegistrationOptions | |
Fields
|
Instances
data CodeLensParams Source #
The parameters of a CodeLensRequest
.
Constructors
CodeLensParams | |
Fields
|
Instances
data CodeLensOptions Source #
Code Lens provider options of a CodeLensRequest
.
Constructors
CodeLensOptions | |
Fields
|
Instances
data CodeLensClientCapabilities Source #
The client capabilities of a CodeLensRequest
.
Constructors
CodeLensClientCapabilities | |
Fields
|
Instances
A code lens represents a Command
that should be shown along with
source text, like the number of references, a way to run tests, etc.
A code lens is _unresolved_ when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.
Constructors
CodeLens | |
Instances
FromJSON CodeLens Source # | |
ToJSON CodeLens Source # | |
Generic CodeLens Source # | |
Show CodeLens Source # | |
NFData CodeLens Source # | |
Eq CodeLens Source # | |
Ord CodeLens Source # | |
Hashable CodeLens Source # | |
Pretty CodeLens Source # | |
HasRange CodeLens Range Source # | |
HasCommand CodeLens (Maybe Command) Source # | |
HasData_ CodeLens (Maybe Value) Source # | |
type Rep CodeLens Source # | |
Defined in Language.LSP.Protocol.Internal.Types.CodeLens type Rep CodeLens = D1 ('MetaData "CodeLens" "Language.LSP.Protocol.Internal.Types.CodeLens" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "CodeLens" 'PrefixI 'True) (S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range) :*: (S1 ('MetaSel ('Just "_command") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Command)) :*: S1 ('MetaSel ('Just "_data_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value))))) |
data CodeDescription Source #
Structure to capture a description for an error code.
Since: 3.16.0
Constructors
CodeDescription | |
Instances
data CodeActionTriggerKind Source #
The reason why code actions were requested.
Since: 3.17.0
Constructors
CodeActionTriggerKind_Invoked | Code actions were explicitly requested by the user or by an extension. |
CodeActionTriggerKind_Automatic | Code actions were requested automatically. This typically happens when current selection in a file changes, but can also be triggered when file content changes. |
Instances
data CodeActionRegistrationOptions Source #
Registration options for a CodeActionRequest
.
Constructors
CodeActionRegistrationOptions | |
Fields
|
Instances
data CodeActionParams Source #
The parameters of a CodeActionRequest
.
Constructors
CodeActionParams | |
Fields
|
Instances
data CodeActionOptions Source #
Provider options for a CodeActionRequest
.
Constructors
CodeActionOptions | |
Fields
|
Instances
data CodeActionKind Source #
A set of predefined code action kinds
Constructors
CodeActionKind_Empty | Empty kind. |
CodeActionKind_QuickFix | Base kind for quickfix actions: |
CodeActionKind_Refactor | Base kind for refactoring actions: |
CodeActionKind_RefactorExtract | Base kind for refactoring extraction actions: 'refactor.extract' Example extract actions:
|
CodeActionKind_RefactorInline | Base kind for refactoring inline actions: 'refactor.inline' Example inline actions:
|
CodeActionKind_RefactorRewrite | Base kind for refactoring rewrite actions: 'refactor.rewrite' Example rewrite actions:
|
CodeActionKind_Source | Base kind for source actions: Source code actions apply to the entire file. |
CodeActionKind_SourceOrganizeImports | Base kind for an organize imports source action: `source.organizeImports` |
CodeActionKind_SourceFixAll | Base kind for auto-fix source actions: `source.fixAll`. Fix all actions automatically fix errors that have a clear fix that do not require user input. They should not suppress errors or perform unsafe fixes such as generating new types or classes. Since: 3.15.0 |
CodeActionKind_Custom Text |
Instances
data CodeActionContext Source #
Contains additional diagnostic information about the context in which
a provideCodeActions
is run.
Constructors
CodeActionContext | |
Fields
|
Instances
data CodeActionClientCapabilities Source #
The Client Capabilities of a CodeActionRequest
.
Constructors
CodeActionClientCapabilities | |
Fields
|
Instances
data CodeAction Source #
A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code.
A CodeAction must set either edit
and/or a command
. If both are supplied, the edit
is applied first, then the command
is executed.
Constructors
CodeAction | |
Fields
|
Instances
data ClientCapabilities Source #
Defines the capabilities provided by the client.
Constructors
ClientCapabilities | |
Fields
|
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier to refer to a change annotation stored with a workspace edit.
Constructors
ChangeAnnotationIdentifier Text |
Instances
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
Constructors
ChangeAnnotation | |
Fields
|
Instances
data CancelParams Source #
Constructors
CancelParams | |
Instances
data CallHierarchyRegistrationOptions Source #
Call hierarchy options used during static or dynamic registration.
Since: 3.16.0
Constructors
CallHierarchyRegistrationOptions | |
Fields
|
Instances
data CallHierarchyPrepareParams Source #
The parameter of a `textDocument/prepareCallHierarchy` request.
Since: 3.16.0
Constructors
CallHierarchyPrepareParams | |
Fields
|
Instances
data CallHierarchyOutgoingCallsParams Source #
The parameter of a `callHierarchy/outgoingCalls` request.
Since: 3.16.0
Constructors
CallHierarchyOutgoingCallsParams | |
Fields
|
Instances
data CallHierarchyOutgoingCall Source #
Represents an outgoing call, e.g. calling a getter from a method or a method from a constructor etc.
Since: 3.16.0
Constructors
CallHierarchyOutgoingCall | |
Fields
|
Instances
data CallHierarchyOptions Source #
Call hierarchy options used during static registration.
Since: 3.16.0
Constructors
CallHierarchyOptions | |
Fields |
Instances
data CallHierarchyItem Source #
Represents programming constructs like functions or constructors in the context of call hierarchy.
Since: 3.16.0
Constructors
CallHierarchyItem | |
Fields
|
Instances
data CallHierarchyIncomingCallsParams Source #
The parameter of a `callHierarchy/incomingCalls` request.
Since: 3.16.0
Constructors
CallHierarchyIncomingCallsParams | |
Fields
|
Instances
data CallHierarchyIncomingCall Source #
Represents an incoming call, e.g. a caller of a method or constructor.
Since: 3.16.0
Constructors
CallHierarchyIncomingCall | |
Fields
|
Instances
data CallHierarchyClientCapabilities Source #
Since: 3.16.0
Constructors
CallHierarchyClientCapabilities | |
Fields
|
Instances
data BaseSymbolInformation Source #
A base for all symbol information.
Constructors
BaseSymbolInformation | |
Fields
|
Instances
data ApplyWorkspaceEditResult Source #
The result returned from the apply workspace edit request.
@since 3.17 renamed from ApplyWorkspaceEditResponse
Constructors
ApplyWorkspaceEditResult | |
Fields
|
Instances
data ApplyWorkspaceEditParams Source #
The parameters passed via a apply workspace edit request.
Constructors
ApplyWorkspaceEditParams | |
Fields
|
Instances
data AnnotatedTextEdit Source #
A special text edit with an additional change annotation.
@since 3.16.0.
Constructors
AnnotatedTextEdit | |
Fields
|