Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 |? WorkspaceSymbolOptions)
- _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 #
WorkspaceClientCapabilities | |
|
Instances
data TextDocumentClientCapabilities Source #
TextDocumentClientCapabilities | |
|
Instances
data MessageActionItemClientCapabilities Source #
Capabilities specific to the MessageActionItem
type.
MessageActionItemClientCapabilities | |
|
Instances
data ShowMessageRequestClientCapabilities Source #
Show message request client capabilities
ShowMessageRequestClientCapabilities | |
|
Instances
data ShowDocumentClientCapabilities Source #
Client capabilities for the show document request.
Since: 3.16.0
Instances
data WindowClientCapabilities Source #
Window specific client capabilities.
WindowClientCapabilities | |
|
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
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
GeneralClientCapabilities | |
|
Instances
data ClientCapabilities Source #
ClientCapabilities | |
|
Instances
data WorkspaceFoldersServerCapabilities Source #
WorkspaceFoldersServerCapabilities | |
|
Instances
data WorkspaceServerCapabilities Source #
WorkspaceServerCapabilities | |
|
Instances
data ServerCapabilities Source #
Instances
Instances
Eq TextEdit Source # | |
Read TextEdit Source # | |
Show TextEdit Source # | |
ToJSON TextEdit Source # | |
Defined in Language.LSP.Types.WorkspaceEdit | |
FromJSON TextEdit Source # | |
HasRange TextEdit Range Source # | |
HasNewText TextEdit Text Source # | |
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # | |
Defined in Language.LSP.Types.Lens | |
HasTextEdit ColorPresentation (Maybe TextEdit) Source # | |
Defined in Language.LSP.Types.Lens | |
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasEdits TextDocumentEdit (List (TextEdit |? AnnotatedTextEdit)) Source # | |
Defined in Language.LSP.Types.Lens |
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
ChangeAnnotation | |
|
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier referring to a change annotation managed by a workspace edit.
Since: 3.16.0
Instances
data AnnotatedTextEdit Source #
Instances
data TextDocumentEdit Source #
Instances
data CreateFileOptions Source #
Options to create a file.
CreateFileOptions | |
|
Instances
data CreateFile Source #
Create file operation
CreateFile | |
|
Instances
data RenameFileOptions Source #
RenameFileOptions | |
|
Instances
data RenameFile Source #
Rename file operation
RenameFile | |
|
Instances
data DeleteFileOptions Source #
DeleteFileOptions | |
|
Instances
data DeleteFile Source #
Delete file operation
DeleteFile | |
|
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
data WorkspaceEdit Source #
WorkspaceEdit | |
|
Instances
data ResourceOperationKind Source #
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 #
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
Eq FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit (==) :: FailureHandlingKind -> FailureHandlingKind -> Bool # (/=) :: FailureHandlingKind -> FailureHandlingKind -> Bool # | |
Read FailureHandlingKind Source # | |
Show FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit showsPrec :: Int -> FailureHandlingKind -> ShowS # show :: FailureHandlingKind -> String # showList :: [FailureHandlingKind] -> ShowS # | |
ToJSON FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit toJSON :: FailureHandlingKind -> Value # toEncoding :: FailureHandlingKind -> Encoding # toJSONList :: [FailureHandlingKind] -> Value # toEncodingList :: [FailureHandlingKind] -> Encoding # | |
FromJSON FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit parseJSON :: Value -> Parser FailureHandlingKind # parseJSONList :: Value -> Parser [FailureHandlingKind] # | |
HasFailureHandling WorkspaceEditClientCapabilities (Maybe FailureHandlingKind) Source # | |
data WorkspaceEditChangeAnnotationClientCapabilities Source #
WorkspaceEditChangeAnnotationClientCapabilities | |
|
Instances
data WorkspaceEditClientCapabilities Source #
WorkspaceEditClientCapabilities | |
|
Instances
data ApplyWorkspaceEditParams Source #
ApplyWorkspaceEditParams | |
|
Instances
data ApplyWorkspaceEditResponseBody Source #
ApplyWorkspaceEditResponseBody | |
|
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.
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