Idris2Doc : Language.LSP.Message.ClientCapabilities

Language.LSP.Message.ClientCapabilities

(source)
Definitions
record TextDocumentClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkTextDocumentClientCapabilities : Maybe TextDocumentSyncClientCapabilities -> Maybe CompletionClientCapabilities -> Maybe HoverClientCapabilities -> Maybe SignatureHelpClientCapabilities -> Maybe DeclarationClientCapabilities -> Maybe DefinitionClientCapabilities -> Maybe TypeDefinitionClientCapabilities -> Maybe ImplementationClientCapabilities -> Maybe ReferenceClientCapabilities -> Maybe DocumentHighlightClientCapabilities -> Maybe DocumentSymbolClientCapabilities -> Maybe CodeActionClientCapabilities -> Maybe CodeLensClientCapabilities -> Maybe DocumentLinkClientCapabilities -> Maybe DocumentColorClientCapabilities -> Maybe DocumentFormattingClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities -> Maybe RenameClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities -> Maybe FoldingRangeClientCapabilities -> Maybe SelectionRangeClientCapabilities -> Maybe LinkedEditingRangeClientCapabilities -> Maybe CallHierarchyClientCapabilities -> Maybe SemanticTokensClientCapabilities -> Maybe MonikerClientCapabilities -> TextDocumentClientCapabilities

  Projections:
  
.callHierarchy : TextDocumentClientCapabilities -> Maybe CallHierarchyClientCapabilities
  
.codeAction : TextDocumentClientCapabilities -> Maybe CodeActionClientCapabilities
  
.codeLens : TextDocumentClientCapabilities -> Maybe CodeLensClientCapabilities
  
.colorProvider : TextDocumentClientCapabilities -> Maybe DocumentColorClientCapabilities
  
.completion : TextDocumentClientCapabilities -> Maybe CompletionClientCapabilities
  
.declaration : TextDocumentClientCapabilities -> Maybe DeclarationClientCapabilities
  
.definition : TextDocumentClientCapabilities -> Maybe DefinitionClientCapabilities
  
.documentHighlight : TextDocumentClientCapabilities -> Maybe DocumentHighlightClientCapabilities
  
.documentLink : TextDocumentClientCapabilities -> Maybe DocumentLinkClientCapabilities
  
.documentSymbol : TextDocumentClientCapabilities -> Maybe DocumentSymbolClientCapabilities
  
.foldingRange : TextDocumentClientCapabilities -> Maybe FoldingRangeClientCapabilities
  
.formatting : TextDocumentClientCapabilities -> Maybe DocumentFormattingClientCapabilities
  
.hover : TextDocumentClientCapabilities -> Maybe HoverClientCapabilities
  
.implementation_ : TextDocumentClientCapabilities -> Maybe ImplementationClientCapabilities
  
.linkedEditingRange : TextDocumentClientCapabilities -> Maybe LinkedEditingRangeClientCapabilities
  
.moniker : TextDocumentClientCapabilities -> Maybe MonikerClientCapabilities
  
.onTypeFormatting : TextDocumentClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities
  
.publishDiagnostics : TextDocumentClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities
  
.rangeFormatting : TextDocumentClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities
  
.references : TextDocumentClientCapabilities -> Maybe ReferenceClientCapabilities
  
.rename : TextDocumentClientCapabilities -> Maybe RenameClientCapabilities
  
.selectionRange : TextDocumentClientCapabilities -> Maybe SelectionRangeClientCapabilities
  
.semanticTokens : TextDocumentClientCapabilities -> Maybe SemanticTokensClientCapabilities
  
.signatureHelp : TextDocumentClientCapabilities -> Maybe SignatureHelpClientCapabilities
  
.synchronization : TextDocumentClientCapabilities -> Maybe TextDocumentSyncClientCapabilities
  
.typeDefinition : TextDocumentClientCapabilities -> Maybe TypeDefinitionClientCapabilities

  Hints:
  
FromJSON TextDocumentClientCapabilities
  
ToJSON TextDocumentClientCapabilities
.synchronization : TextDocumentClientCapabilities -> Maybe TextDocumentSyncClientCapabilities
  Totality: total
  Visibility: public export
synchronization : TextDocumentClientCapabilities -> Maybe TextDocumentSyncClientCapabilities
  Totality: total
  Visibility: public export
.completion : TextDocumentClientCapabilities -> Maybe CompletionClientCapabilities
  Totality: total
  Visibility: public export
completion : TextDocumentClientCapabilities -> Maybe CompletionClientCapabilities
  Totality: total
  Visibility: public export
.hover : TextDocumentClientCapabilities -> Maybe HoverClientCapabilities
  Totality: total
  Visibility: public export
hover : TextDocumentClientCapabilities -> Maybe HoverClientCapabilities
  Totality: total
  Visibility: public export
.signatureHelp : TextDocumentClientCapabilities -> Maybe SignatureHelpClientCapabilities
  Totality: total
  Visibility: public export
signatureHelp : TextDocumentClientCapabilities -> Maybe SignatureHelpClientCapabilities
  Totality: total
  Visibility: public export
.declaration : TextDocumentClientCapabilities -> Maybe DeclarationClientCapabilities
  Totality: total
  Visibility: public export
declaration : TextDocumentClientCapabilities -> Maybe DeclarationClientCapabilities
  Totality: total
  Visibility: public export
.definition : TextDocumentClientCapabilities -> Maybe DefinitionClientCapabilities
  Totality: total
  Visibility: public export
definition : TextDocumentClientCapabilities -> Maybe DefinitionClientCapabilities
  Totality: total
  Visibility: public export
.typeDefinition : TextDocumentClientCapabilities -> Maybe TypeDefinitionClientCapabilities
  Totality: total
  Visibility: public export
typeDefinition : TextDocumentClientCapabilities -> Maybe TypeDefinitionClientCapabilities
  Totality: total
  Visibility: public export
.implementation_ : TextDocumentClientCapabilities -> Maybe ImplementationClientCapabilities
  Totality: total
  Visibility: public export
implementation_ : TextDocumentClientCapabilities -> Maybe ImplementationClientCapabilities
  Totality: total
  Visibility: public export
.references : TextDocumentClientCapabilities -> Maybe ReferenceClientCapabilities
  Totality: total
  Visibility: public export
references : TextDocumentClientCapabilities -> Maybe ReferenceClientCapabilities
  Totality: total
  Visibility: public export
.documentHighlight : TextDocumentClientCapabilities -> Maybe DocumentHighlightClientCapabilities
  Totality: total
  Visibility: public export
documentHighlight : TextDocumentClientCapabilities -> Maybe DocumentHighlightClientCapabilities
  Totality: total
  Visibility: public export
.documentSymbol : TextDocumentClientCapabilities -> Maybe DocumentSymbolClientCapabilities
  Totality: total
  Visibility: public export
documentSymbol : TextDocumentClientCapabilities -> Maybe DocumentSymbolClientCapabilities
  Totality: total
  Visibility: public export
.codeAction : TextDocumentClientCapabilities -> Maybe CodeActionClientCapabilities
  Totality: total
  Visibility: public export
codeAction : TextDocumentClientCapabilities -> Maybe CodeActionClientCapabilities
  Totality: total
  Visibility: public export
.codeLens : TextDocumentClientCapabilities -> Maybe CodeLensClientCapabilities
  Totality: total
  Visibility: public export
codeLens : TextDocumentClientCapabilities -> Maybe CodeLensClientCapabilities
  Totality: total
  Visibility: public export
.documentLink : TextDocumentClientCapabilities -> Maybe DocumentLinkClientCapabilities
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
.colorProvider : TextDocumentClientCapabilities -> Maybe DocumentColorClientCapabilities
  Totality: total
  Visibility: public export
colorProvider : TextDocumentClientCapabilities -> Maybe DocumentColorClientCapabilities
  Totality: total
  Visibility: public export
.formatting : TextDocumentClientCapabilities -> Maybe DocumentFormattingClientCapabilities
  Totality: total
  Visibility: public export
formatting : TextDocumentClientCapabilities -> Maybe DocumentFormattingClientCapabilities
  Totality: total
  Visibility: public export
.rangeFormatting : TextDocumentClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities
  Totality: total
  Visibility: public export
rangeFormatting : TextDocumentClientCapabilities -> Maybe DocumentRangeFormattingClientCapabilities
  Totality: total
  Visibility: public export
.onTypeFormatting : TextDocumentClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities
  Totality: total
  Visibility: public export
onTypeFormatting : TextDocumentClientCapabilities -> Maybe DocumentOnTypeFormattingClientCapabilities
  Totality: total
  Visibility: public export
.rename : TextDocumentClientCapabilities -> Maybe RenameClientCapabilities
  Totality: total
  Visibility: public export
rename : TextDocumentClientCapabilities -> Maybe RenameClientCapabilities
  Totality: total
  Visibility: public export
.publishDiagnostics : TextDocumentClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities
  Totality: total
  Visibility: public export
publishDiagnostics : TextDocumentClientCapabilities -> Maybe PublishDiagnosticsClientCapabilities
  Totality: total
  Visibility: public export
.foldingRange : TextDocumentClientCapabilities -> Maybe FoldingRangeClientCapabilities
  Totality: total
  Visibility: public export
foldingRange : TextDocumentClientCapabilities -> Maybe FoldingRangeClientCapabilities
  Totality: total
  Visibility: public export
.selectionRange : TextDocumentClientCapabilities -> Maybe SelectionRangeClientCapabilities
  Totality: total
  Visibility: public export
selectionRange : TextDocumentClientCapabilities -> Maybe SelectionRangeClientCapabilities
  Totality: total
  Visibility: public export
.linkedEditingRange : TextDocumentClientCapabilities -> Maybe LinkedEditingRangeClientCapabilities
  Totality: total
  Visibility: public export
linkedEditingRange : TextDocumentClientCapabilities -> Maybe LinkedEditingRangeClientCapabilities
  Totality: total
  Visibility: public export
.callHierarchy : TextDocumentClientCapabilities -> Maybe CallHierarchyClientCapabilities
  Totality: total
  Visibility: public export
callHierarchy : TextDocumentClientCapabilities -> Maybe CallHierarchyClientCapabilities
  Totality: total
  Visibility: public export
.semanticTokens : TextDocumentClientCapabilities -> Maybe SemanticTokensClientCapabilities
  Totality: total
  Visibility: public export
semanticTokens : TextDocumentClientCapabilities -> Maybe SemanticTokensClientCapabilities
  Totality: total
  Visibility: public export
.moniker : TextDocumentClientCapabilities -> Maybe MonikerClientCapabilities
  Totality: total
  Visibility: public export
moniker : TextDocumentClientCapabilities -> Maybe MonikerClientCapabilities
  Totality: total
  Visibility: public export
record FileOperationsWorkspaceClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkFileOperationsWorkspaceClientCapabilities : Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> FileOperationsWorkspaceClientCapabilities

  Projections:
  
.didCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.didDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.didRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.dynamicRegistration : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.willCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.willDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  
.willRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool

  Hints:
  
FromJSON FileOperationsWorkspaceClientCapabilities
  
ToJSON FileOperationsWorkspaceClientCapabilities
.dynamicRegistration : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
dynamicRegistration : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.didCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
didCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.willCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
willCreate : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.didRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
didRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.willRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
willRename : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.didDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
didDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.willDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
willDelete : FileOperationsWorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
record WorkspaceClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkWorkspaceClientCapabilities : Maybe Bool -> Maybe WorkspaceEditClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities -> Maybe ExecuteCommandClientCapabilities -> Maybe Bool -> Maybe Bool -> Maybe SemanticTokensWorkspaceClientCapabilities -> Maybe CodeLensWorkspaceClientCapabilities -> Maybe FileOperationsWorkspaceClientCapabilities -> WorkspaceClientCapabilities

  Projections:
  
.applyEdit : WorkspaceClientCapabilities -> Maybe Bool
  
.codeLens : WorkspaceClientCapabilities -> Maybe CodeLensWorkspaceClientCapabilities
  
.configuration : WorkspaceClientCapabilities -> Maybe Bool
  
.didChangeConfiguration : WorkspaceClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities
  
.didChangeWatchedFiles : WorkspaceClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities
  
.executeCommand : WorkspaceClientCapabilities -> Maybe ExecuteCommandClientCapabilities
  
.fileOperations : WorkspaceClientCapabilities -> Maybe FileOperationsWorkspaceClientCapabilities
  
.semanticTokens : WorkspaceClientCapabilities -> Maybe SemanticTokensWorkspaceClientCapabilities
  
.symbol : WorkspaceClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities
  
.workspaceEdit : WorkspaceClientCapabilities -> Maybe WorkspaceEditClientCapabilities
  
.workspaceFolders : WorkspaceClientCapabilities -> Maybe Bool

  Hints:
  
FromJSON WorkspaceClientCapabilities
  
ToJSON WorkspaceClientCapabilities
.applyEdit : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
applyEdit : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.workspaceEdit : WorkspaceClientCapabilities -> Maybe WorkspaceEditClientCapabilities
  Totality: total
  Visibility: public export
workspaceEdit : WorkspaceClientCapabilities -> Maybe WorkspaceEditClientCapabilities
  Totality: total
  Visibility: public export
.didChangeConfiguration : WorkspaceClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities
  Totality: total
  Visibility: public export
didChangeConfiguration : WorkspaceClientCapabilities -> Maybe DidChangeConfigurationClientCapabilities
  Totality: total
  Visibility: public export
.didChangeWatchedFiles : WorkspaceClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities
  Totality: total
  Visibility: public export
didChangeWatchedFiles : WorkspaceClientCapabilities -> Maybe DidChangeWatchedFilesClientCapabilities
  Totality: total
  Visibility: public export
.symbol : WorkspaceClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities
  Totality: total
  Visibility: public export
symbol : WorkspaceClientCapabilities -> Maybe WorkspaceSymbolClientCapabilities
  Totality: total
  Visibility: public export
.executeCommand : WorkspaceClientCapabilities -> Maybe ExecuteCommandClientCapabilities
  Totality: total
  Visibility: public export
executeCommand : WorkspaceClientCapabilities -> Maybe ExecuteCommandClientCapabilities
  Totality: total
  Visibility: public export
.workspaceFolders : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
workspaceFolders : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.configuration : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
configuration : WorkspaceClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.semanticTokens : WorkspaceClientCapabilities -> Maybe SemanticTokensWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
semanticTokens : WorkspaceClientCapabilities -> Maybe SemanticTokensWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
.codeLens : WorkspaceClientCapabilities -> Maybe CodeLensWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
codeLens : WorkspaceClientCapabilities -> Maybe CodeLensWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
.fileOperations : WorkspaceClientCapabilities -> Maybe FileOperationsWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
fileOperations : WorkspaceClientCapabilities -> Maybe FileOperationsWorkspaceClientCapabilities
  Totality: total
  Visibility: public export
record WindowClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkWindowClientCapabilities : Maybe Bool -> Maybe ShowMessageRequestClientCapabilities -> Maybe ShowDocumentClientCapabilities -> WindowClientCapabilities

  Projections:
  
.showDocument : WindowClientCapabilities -> Maybe ShowDocumentClientCapabilities
  
.showMessage : WindowClientCapabilities -> Maybe ShowMessageRequestClientCapabilities
  
.workDoneProgress : WindowClientCapabilities -> Maybe Bool

  Hints:
  
FromJSON WindowClientCapabilities
  
ToJSON WindowClientCapabilities
.workDoneProgress : WindowClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : WindowClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.showMessage : WindowClientCapabilities -> Maybe ShowMessageRequestClientCapabilities
  Totality: total
  Visibility: public export
showMessage : WindowClientCapabilities -> Maybe ShowMessageRequestClientCapabilities
  Totality: total
  Visibility: public export
.showDocument : WindowClientCapabilities -> Maybe ShowDocumentClientCapabilities
  Totality: total
  Visibility: public export
showDocument : WindowClientCapabilities -> Maybe ShowDocumentClientCapabilities
  Totality: total
  Visibility: public export
record GeneralClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkGeneralClientCapabilities : Maybe RegularExpressionsClientCapabilities -> Maybe MarkdownClientCapabilities -> GeneralClientCapabilities

  Projections:
  
.markdown : GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
  
.regularExpressions : GeneralClientCapabilities -> Maybe RegularExpressionsClientCapabilities

  Hints:
  
FromJSON GeneralClientCapabilities
  
ToJSON GeneralClientCapabilities
.regularExpressions : GeneralClientCapabilities -> Maybe RegularExpressionsClientCapabilities
  Totality: total
  Visibility: public export
regularExpressions : GeneralClientCapabilities -> Maybe RegularExpressionsClientCapabilities
  Totality: total
  Visibility: public export
.markdown : GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
  Totality: total
  Visibility: public export
markdown : GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
  Totality: total
  Visibility: public export
record ClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkClientCapabilities : Maybe WorkspaceClientCapabilities -> Maybe TextDocumentClientCapabilities -> Maybe WindowClientCapabilities -> Maybe GeneralClientCapabilities -> Maybe JSON -> ClientCapabilities

  Projections:
  
.experimental : ClientCapabilities -> Maybe JSON
  
.general : ClientCapabilities -> Maybe GeneralClientCapabilities
  
.textDocument : ClientCapabilities -> Maybe TextDocumentClientCapabilities
  
.window : ClientCapabilities -> Maybe WindowClientCapabilities
  
.workspace : ClientCapabilities -> Maybe WorkspaceClientCapabilities

  Hints:
  
FromJSON ClientCapabilities
  
ToJSON ClientCapabilities
.workspace : ClientCapabilities -> Maybe WorkspaceClientCapabilities
  Totality: total
  Visibility: public export
workspace : ClientCapabilities -> Maybe WorkspaceClientCapabilities
  Totality: total
  Visibility: public export
.textDocument : ClientCapabilities -> Maybe TextDocumentClientCapabilities
  Totality: total
  Visibility: public export
textDocument : ClientCapabilities -> Maybe TextDocumentClientCapabilities
  Totality: total
  Visibility: public export
.window : ClientCapabilities -> Maybe WindowClientCapabilities
  Totality: total
  Visibility: public export
window : ClientCapabilities -> Maybe WindowClientCapabilities
  Totality: total
  Visibility: public export
.general : ClientCapabilities -> Maybe GeneralClientCapabilities
  Totality: total
  Visibility: public export
general : ClientCapabilities -> Maybe GeneralClientCapabilities
  Totality: total
  Visibility: public export
.experimental : ClientCapabilities -> Maybe JSON
  Totality: total
  Visibility: public export
experimental : ClientCapabilities -> Maybe JSON
  Totality: total
  Visibility: public export