| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LSP.Types.Capabilities
Synopsis
- data ClientCapabilities = ClientCapabilities {}
- 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
- data WindowClientCapabilities = WindowClientCapabilities {}
- data RegularExpressionsClientCapabilities = RegularExpressionsClientCapabilities {}
- data TextDocumentClientCapabilities = TextDocumentClientCapabilities {
- _synchronization :: Maybe TextDocumentSyncClientCapabilities
- _completion :: Maybe CompletionClientCapabilities
- _hover :: Maybe HoverClientCapabilities
- _signatureHelp :: Maybe SignatureHelpClientCapabilities
- _references :: Maybe ReferencesClientCapabilities
- _documentHighlight :: Maybe DocumentHighlightClientCapabilities
- _documentSymbol :: Maybe DocumentSymbolClientCapabilities
- _formatting :: Maybe DocumentFormattingClientCapabilities
- _rangeFormatting :: Maybe DocumentRangeFormattingClientCapabilities
- _onTypeFormatting :: Maybe DocumentOnTypeFormattingClientCapabilities
- _declaration :: Maybe DeclarationClientCapabilities
- _definition :: Maybe DefinitionClientCapabilities
- _typeDefinition :: Maybe TypeDefinitionClientCapabilities
- _implementation :: Maybe ImplementationClientCapabilities
- _codeAction :: Maybe CodeActionClientCapabilities
- _codeLens :: Maybe CodeLensClientCapabilities
- _documentLink :: Maybe DocumentLinkClientCapabilities
- _colorProvider :: Maybe DocumentColorClientCapabilities
- _rename :: Maybe RenameClientCapabilities
- _publishDiagnostics :: Maybe PublishDiagnosticsClientCapabilities
- _foldingRange :: Maybe FoldingRangeClientCapabilities
- _selectionRange :: Maybe SelectionRangeClientCapabilities
- _callHierarchy :: Maybe CallHierarchyClientCapabilities
- _semanticTokens :: Maybe SemanticTokensClientCapabilities
- data MessageActionItemClientCapabilities = MessageActionItemClientCapabilities {}
- data ShowMessageRequestClientCapabilities = ShowMessageRequestClientCapabilities {}
- data ShowDocumentClientCapabilities = ShowDocumentClientCapabilities {}
- data StaleRequestClientCapabilities = StaleRequestClientCapabilities {}
- data GeneralClientCapabilities = GeneralClientCapabilities {}
- data ServerCapabilities = ServerCapabilities {
- _textDocumentSync :: Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
- _hoverProvider :: Maybe (Bool |? HoverOptions)
- _completionProvider :: Maybe CompletionOptions
- _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))
- _documentFormattingProvider :: Maybe (Bool |? DocumentFormattingOptions)
- _documentRangeFormattingProvider :: Maybe (Bool |? DocumentRangeFormattingOptions)
- _documentOnTypeFormattingProvider :: Maybe DocumentOnTypeFormattingOptions
- _renameProvider :: Maybe (Bool |? RenameOptions)
- _foldingRangeProvider :: Maybe (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _selectionRangeProvider :: Maybe (Bool |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
- _callHierarchyProvider :: Maybe (Bool |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
- _semanticTokensProvider :: Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
- _workspaceSymbolProvider :: Maybe (Bool |? WorkspaceSymbolOptions)
- _workspace :: Maybe WorkspaceServerCapabilities
- _experimental :: Maybe Value
- data WorkspaceFoldersServerCapabilities = WorkspaceFoldersServerCapabilities {
- _supported :: Maybe Bool
- _changeNotifications :: Maybe (Text |? Bool)
- data WorkspaceServerCapabilities = WorkspaceServerCapabilities {}
- data WorkspaceEdit = WorkspaceEdit {}
- data TextEdit = TextEdit {}
- data CreateFile = CreateFile {}
- data DeleteFile = DeleteFile {}
- data AnnotatedTextEdit = AnnotatedTextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- data ChangeAnnotation = ChangeAnnotation {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data RenameFile = RenameFile {}
- newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifierId Text
- data CreateFileOptions = CreateFileOptions {}
- data RenameFileOptions = RenameFileOptions {}
- data DeleteFileOptions = DeleteFileOptions {}
- type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditChangeAnnotationClientCapabilities = WorkspaceEditChangeAnnotationClientCapabilities {}
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {}
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- fullCaps :: ClientCapabilities
- data LSPVersion = LSPVersion Int Int
- capsForVersion :: LSPVersion -> ClientCapabilities
Documentation
data ClientCapabilities Source #
Constructors
| ClientCapabilities | |
Fields
| |
Instances
data WorkspaceClientCapabilities Source #
Constructors
| WorkspaceClientCapabilities | |
Fields
| |
Instances
data WindowClientCapabilities Source #
Window specific client capabilities.
Constructors
| WindowClientCapabilities | |
Fields
| |
Instances
data RegularExpressionsClientCapabilities Source #
Client capabilities specific to the used markdown parser. @since 3.16.0
Instances
data TextDocumentClientCapabilities Source #
Constructors
| TextDocumentClientCapabilities | |
Fields
| |
Instances
data MessageActionItemClientCapabilities Source #
Capabilities specific to the MessageActionItem type.
Constructors
| MessageActionItemClientCapabilities | |
Fields
| |
Instances
data ShowMessageRequestClientCapabilities Source #
Show message request client capabilities
Constructors
| ShowMessageRequestClientCapabilities | |
Fields
| |
Instances
data ShowDocumentClientCapabilities Source #
Client capabilities for the show document request.
Since: 3.16.0
Constructors
| ShowDocumentClientCapabilities | |
Instances
data StaleRequestClientCapabilities Source #
Client capability that signals how the client handles stale requests (e.g. a request for which the client will not process the response anymore since the information is outdated). @since 3.17.0
Constructors
| StaleRequestClientCapabilities | |
Fields | |
Instances
data GeneralClientCapabilities Source #
General client capabilities. @since 3.16.0
Constructors
| GeneralClientCapabilities | |
Fields
| |
Instances
data ServerCapabilities Source #
Constructors
Instances
data WorkspaceFoldersServerCapabilities Source #
Constructors
| WorkspaceFoldersServerCapabilities | |
Fields
| |
Instances
data WorkspaceServerCapabilities Source #
Constructors
| WorkspaceServerCapabilities | |
Fields
| |
Instances
data WorkspaceEdit Source #
Constructors
| WorkspaceEdit | |
Fields
| |
Instances
Instances
data CreateFile Source #
Create file operation
Constructors
| CreateFile | |
Fields
| |
Instances
data DeleteFile Source #
Delete file operation
Constructors
| DeleteFile | |
Fields
| |
Instances
data AnnotatedTextEdit Source #
Constructors
| AnnotatedTextEdit | |
Fields | |
Instances
data TextDocumentEdit Source #
Constructors
| TextDocumentEdit | |
Instances
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
Constructors
| ChangeAnnotation | |
Fields
| |
Instances
data ApplyWorkspaceEditParams Source #
Constructors
| ApplyWorkspaceEditParams | |
Fields
| |
Instances
data RenameFile Source #
Rename file operation
Constructors
| RenameFile | |
Fields
| |
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier referring to a change annotation managed by a workspace edit.
Since: 3.16.0
Constructors
| ChangeAnnotationIdentifierId Text |
Instances
data CreateFileOptions Source #
Options to create a file.
Constructors
| CreateFileOptions | |
Fields
| |
Instances
data RenameFileOptions Source #
Constructors
| RenameFileOptions | |
Fields
| |
Instances
data DeleteFileOptions Source #
Constructors
| DeleteFileOptions | |
Fields
| |
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation Source #
data WorkspaceEditClientCapabilities Source #
Constructors
| WorkspaceEditClientCapabilities | |
Fields
| |
Instances
data ResourceOperationKind Source #
Constructors
| ResourceOperationCreate | Supports creating new files and folders. |
| ResourceOperationRename | Supports renaming existing files and folders. |
| ResourceOperationDelete | Supports deleting existing files and folders. |
Instances
data FailureHandlingKind Source #
Constructors
| FailureHandlingAbort | Applying the workspace change is simply aborted if one of the changes provided fails. All operations executed before the failing operation stay executed. |
| FailureHandlingTransactional | All operations are executed transactional. That means they either all succeed or no changes at all are applied to the workspace. |
| FailureHandlingTextOnlyTransactional | 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. |
| FailureHandlingUndo | The client tries to undo the operations already executed. But there is no guarantee that this is succeeding. |
Instances
data WorkspaceEditChangeAnnotationClientCapabilities Source #
Constructors
| WorkspaceEditChangeAnnotationClientCapabilities | |
Fields
| |
Instances
data ApplyWorkspaceEditResponseBody Source #
Constructors
| ApplyWorkspaceEditResponseBody | |
Fields
| |
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit outer inner applies inner to the text inside outer.
fullCaps :: ClientCapabilities Source #
Capabilities for full conformance to the current (v3.15) LSP specification.
data LSPVersion Source #
A specific version of the LSP specification.
Constructors
| LSPVersion Int Int | Construct a major.minor version |
capsForVersion :: LSPVersion -> ClientCapabilities Source #
Capabilities for full conformance to the LSP specification up until a version. Some important milestones:
- 3.12 textDocument/prepareRename request
- 3.11 CodeActionOptions provided by the server
- 3.10 hierarchical document symbols, folding ranges
- 3.9 completion item preselect
- 3.8 codeAction literals
- 3.7 related information in diagnostics
- 3.6 workspace folders, colors, goto type/implementation
- 3.4 extended completion item and symbol item kinds
- 3.0 dynamic registration