| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LSP.Types.Capabilities
Synopsis
- 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
- 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
- data WindowClientCapabilities = WindowClientCapabilities {}
- data ClientCapabilities = ClientCapabilities {}
- data WorkspaceFoldersServerCapabilities = WorkspaceFoldersServerCapabilities {
- _supported :: Maybe Bool
- _changeNotifications :: Maybe (Text |? Bool)
- data WorkspaceServerCapabilities = WorkspaceServerCapabilities {}
- 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))
- _workspaceSymbolProvider :: Maybe Bool
- _workspace :: Maybe WorkspaceServerCapabilities
- _experimental :: Maybe Value
- data TextEdit = TextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {
- _applied :: Bool
- _failureReason :: Maybe Text
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- fullCaps :: ClientCapabilities
- data LSPVersion = LSPVersion Int Int
- capsForVersion :: LSPVersion -> ClientCapabilities
Documentation
data WorkspaceClientCapabilities Source #
Constructors
| WorkspaceClientCapabilities | |
Fields
| |
Instances
data TextDocumentClientCapabilities Source #
Constructors
| TextDocumentClientCapabilities | |
Fields
| |
Instances
data WindowClientCapabilities Source #
Window specific client capabilities.
Constructors
| WindowClientCapabilities | |
Fields
| |
Instances
data ClientCapabilities Source #
Constructors
| ClientCapabilities | |
Fields
| |
Instances
data WorkspaceFoldersServerCapabilities Source #
Constructors
| WorkspaceFoldersServerCapabilities | |
Fields
| |
Instances
data WorkspaceServerCapabilities Source #
Constructors
| WorkspaceServerCapabilities | |
Fields
| |
Instances
data ServerCapabilities Source #
Constructors
| ServerCapabilities | |
Fields
| |
Instances
Instances
data TextDocumentEdit Source #
Constructors
| TextDocumentEdit | |
Fields | |
Instances
data WorkspaceEdit Source #
Constructors
| WorkspaceEdit | |
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 WorkspaceEditClientCapabilities Source #
Constructors
| WorkspaceEditClientCapabilities | |
Fields
| |
Instances
data ApplyWorkspaceEditParams Source #
Constructors
| ApplyWorkspaceEditParams | |
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