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
- _semanticTokens :: Maybe SemanticTokensWorkspaceClientCapabilities
- 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 WindowClientCapabilities = WindowClientCapabilities {}
- data StaleRequestClientCapabilities = StaleRequestClientCapabilities {}
- data RegularExpressionsClientCapabilities = RegularExpressionsClientCapabilities {}
- data GeneralClientCapabilities = GeneralClientCapabilities {}
- 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))
- _callHierarchyProvider :: Maybe (Bool |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
- _semanticTokensProvider :: Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
- _workspaceSymbolProvider :: Maybe Bool
- _workspace :: Maybe WorkspaceServerCapabilities
- _experimental :: Maybe Value
- data TextEdit = TextEdit {}
- data ChangeAnnotation = ChangeAnnotation {}
- newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifierId Text
- data AnnotatedTextEdit = AnnotatedTextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- data CreateFileOptions = CreateFileOptions {}
- data CreateFile = CreateFile {}
- data RenameFileOptions = RenameFileOptions {}
- data RenameFile = RenameFile {}
- data DeleteFileOptions = DeleteFileOptions {}
- data DeleteFile = DeleteFile {}
- type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
- data WorkspaceEdit = WorkspaceEdit {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditChangeAnnotationClientCapabilities = WorkspaceEditChangeAnnotationClientCapabilities {}
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {}
- 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 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 WindowClientCapabilities Source #
Window specific client capabilities.
Constructors
WindowClientCapabilities | |
Fields
|
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 RegularExpressionsClientCapabilities Source #
Client capabilities specific to the used markdown parser. @since 3.16.0
Instances
data GeneralClientCapabilities Source #
General client capabilities. @since 3.16.0
Constructors
GeneralClientCapabilities | |
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 ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
Constructors
ChangeAnnotation | |
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 AnnotatedTextEdit Source #
Constructors
AnnotatedTextEdit | |
Fields |
Instances
data TextDocumentEdit Source #
Constructors
TextDocumentEdit | |
Instances
data CreateFileOptions Source #
Options to create a file.
Constructors
CreateFileOptions | |
Fields
|
Instances
data CreateFile Source #
Create file operation
Constructors
CreateFile | |
Fields
|
Instances
data RenameFileOptions Source #
Constructors
RenameFileOptions | |
Fields
|
Instances
data RenameFile Source #
Rename file operation
Constructors
RenameFile | |
Fields
|
Instances
data DeleteFileOptions Source #
Constructors
DeleteFileOptions | |
Fields
|
Instances
data DeleteFile Source #
Delete file operation
Constructors
DeleteFile | |
Fields
|
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
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 WorkspaceEditChangeAnnotationClientCapabilities Source #
Constructors
WorkspaceEditChangeAnnotationClientCapabilities | |
Fields
|
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