Idris2Doc : Language.LSP.Message.ServerCapabilities

Language.LSP.Message.ServerCapabilities

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

  Totality: total
  Visibility: public export
  Constructor: 
MkFileOperationsServerCapabilities : Maybe FileOperationRegistrationOptions -> Maybe FileOperationRegistrationOptions -> Maybe FileOperationRegistrationOptions -> Maybe FileOperationRegistrationOptions -> Maybe FileOperationRegistrationOptions -> Maybe FileOperationRegistrationOptions -> FileOperationsServerCapabilities

  Projections:
  
.didCreate : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions
  
.didDelete : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions
  
.didRename : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions
  
.willCreate : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions
  
.willDelete : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions
  
.willRename : FileOperationsServerCapabilities -> Maybe FileOperationRegistrationOptions

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

  Totality: total
  Visibility: public export
  Constructor: 
MkWorkspaceServerCapabilities : Maybe WorkspaceFoldersServerCapabilities -> Maybe FileOperationsServerCapabilities -> WorkspaceServerCapabilities

  Projections:
  
.fileOperations : WorkspaceServerCapabilities -> Maybe FileOperationsServerCapabilities
  
.workspaceFolders : WorkspaceServerCapabilities -> Maybe WorkspaceFoldersServerCapabilities

  Hints:
  
FromJSON WorkspaceServerCapabilities
  
ToJSON WorkspaceServerCapabilities
.workspaceFolders : WorkspaceServerCapabilities -> Maybe WorkspaceFoldersServerCapabilities
  Totality: total
  Visibility: public export
workspaceFolders : WorkspaceServerCapabilities -> Maybe WorkspaceFoldersServerCapabilities
  Totality: total
  Visibility: public export
.fileOperations : WorkspaceServerCapabilities -> Maybe FileOperationsServerCapabilities
  Totality: total
  Visibility: public export
fileOperations : WorkspaceServerCapabilities -> Maybe FileOperationsServerCapabilities
  Totality: total
  Visibility: public export
record ServerCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkServerCapabilities : Maybe (OneOf [TextDocumentSyncOptions, TextDocumentSyncKind]) -> Maybe CompletionOptions -> Maybe (OneOf [Bool, HoverOptions]) -> Maybe SignatureHelpOptions -> Maybe (OneOf [Bool, DeclarationOptions, DeclarationRegistrationOptions]) -> Maybe (OneOf [Bool, DefinitionOptions, DefinitionRegistrationOptions]) -> Maybe (OneOf [Bool, TypeDefinitionOptions, TypeDefinitionRegistrationOptions]) -> Maybe (OneOf [Bool, ImplementationOptions, ImplementationRegistrationOptions]) -> Maybe (OneOf [Bool, ReferenceOptions]) -> Maybe (OneOf [Bool, DocumentHighlightOptions]) -> Maybe (OneOf [Bool, DocumentSymbolOptions]) -> Maybe (OneOf [Bool, CodeActionOptions]) -> Maybe CodeLensOptions -> Maybe DocumentLinkOptions -> Maybe (OneOf [Bool, DocumentColorOptions, DocumentColorRegistrationOptions]) -> Maybe (OneOf [Bool, DocumentFormattingOptions]) -> Maybe (OneOf [Bool, DocumentRangeFormattingOptions]) -> Maybe DocumentOnTypeFormattingOptions -> Maybe (OneOf [Bool, RenameOptions]) -> Maybe (OneOf [Bool, FoldingRangeOptions, FoldingRangeRegistrationOptions]) -> Maybe ExecuteCommandOptions -> Maybe (OneOf [Bool, SelectionRangeOptions, SelectionRangeRegistrationOptions]) -> Maybe (OneOf [Bool, LinkedEditingRangeOptions, LinkedEditingRangeRegistrationOptions]) -> Maybe (OneOf [Bool, CallHierarchyOptions, CallHierarchyRegistrationOptions]) -> Maybe (OneOf [SemanticTokensOptions, SemanticTokensRegistrationOptions]) -> Maybe (OneOf [Bool, MonikerOptions, MonikerRegistrationOptions]) -> Maybe (OneOf [Bool, WorkspaceSymbolOptions]) -> Maybe WorkspaceServerCapabilities -> Maybe JSON -> ServerCapabilities

  Projections:
  
.callHierarchyProvider : ServerCapabilities -> Maybe (OneOf [Bool, CallHierarchyOptions, CallHierarchyRegistrationOptions])
  
.codeActionProvider : ServerCapabilities -> Maybe (OneOf [Bool, CodeActionOptions])
  
.codeLensProvider : ServerCapabilities -> Maybe CodeLensOptions
  
.colorProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentColorOptions, DocumentColorRegistrationOptions])
  
.completionProvider : ServerCapabilities -> Maybe CompletionOptions
  
.declarationProvider : ServerCapabilities -> Maybe (OneOf [Bool, DeclarationOptions, DeclarationRegistrationOptions])
  
.definitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, DefinitionOptions, DefinitionRegistrationOptions])
  
.documentFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentFormattingOptions])
  
.documentHighlightProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentHighlightOptions])
  
.documentLinkProvider : ServerCapabilities -> Maybe DocumentLinkOptions
  
.documentOnTypeFormattingProvider : ServerCapabilities -> Maybe DocumentOnTypeFormattingOptions
  
.documentRangeFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentRangeFormattingOptions])
  
.documentSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentSymbolOptions])
  
.executeCommandProvider : ServerCapabilities -> Maybe ExecuteCommandOptions
  
.experimental : ServerCapabilities -> Maybe JSON
  
.foldingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, FoldingRangeOptions, FoldingRangeRegistrationOptions])
  
.hoverProvider : ServerCapabilities -> Maybe (OneOf [Bool, HoverOptions])
  
.implementationProvider : ServerCapabilities -> Maybe (OneOf [Bool, ImplementationOptions, ImplementationRegistrationOptions])
  
.linkedEditingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, LinkedEditingRangeOptions, LinkedEditingRangeRegistrationOptions])
  
.monikerProvider : ServerCapabilities -> Maybe (OneOf [Bool, MonikerOptions, MonikerRegistrationOptions])
  
.referencesProvider : ServerCapabilities -> Maybe (OneOf [Bool, ReferenceOptions])
  
.renameProvider : ServerCapabilities -> Maybe (OneOf [Bool, RenameOptions])
  
.selectionRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, SelectionRangeOptions, SelectionRangeRegistrationOptions])
  
.semanticTokensProvider : ServerCapabilities -> Maybe (OneOf [SemanticTokensOptions, SemanticTokensRegistrationOptions])
  
.signatureHelpProvider : ServerCapabilities -> Maybe SignatureHelpOptions
  
.textDocumentSync : ServerCapabilities -> Maybe (OneOf [TextDocumentSyncOptions, TextDocumentSyncKind])
  
.typeDefinitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, TypeDefinitionOptions, TypeDefinitionRegistrationOptions])
  
.workspace : ServerCapabilities -> Maybe WorkspaceServerCapabilities
  
.workspaceSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, WorkspaceSymbolOptions])

  Hints:
  
FromJSON ServerCapabilities
  
ToJSON ServerCapabilities
.textDocumentSync : ServerCapabilities -> Maybe (OneOf [TextDocumentSyncOptions, TextDocumentSyncKind])
  Totality: total
  Visibility: public export
textDocumentSync : ServerCapabilities -> Maybe (OneOf [TextDocumentSyncOptions, TextDocumentSyncKind])
  Totality: total
  Visibility: public export
.completionProvider : ServerCapabilities -> Maybe CompletionOptions
  Totality: total
  Visibility: public export
completionProvider : ServerCapabilities -> Maybe CompletionOptions
  Totality: total
  Visibility: public export
.hoverProvider : ServerCapabilities -> Maybe (OneOf [Bool, HoverOptions])
  Totality: total
  Visibility: public export
hoverProvider : ServerCapabilities -> Maybe (OneOf [Bool, HoverOptions])
  Totality: total
  Visibility: public export
.signatureHelpProvider : ServerCapabilities -> Maybe SignatureHelpOptions
  Totality: total
  Visibility: public export
signatureHelpProvider : ServerCapabilities -> Maybe SignatureHelpOptions
  Totality: total
  Visibility: public export
.declarationProvider : ServerCapabilities -> Maybe (OneOf [Bool, DeclarationOptions, DeclarationRegistrationOptions])
  Totality: total
  Visibility: public export
declarationProvider : ServerCapabilities -> Maybe (OneOf [Bool, DeclarationOptions, DeclarationRegistrationOptions])
  Totality: total
  Visibility: public export
.definitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, DefinitionOptions, DefinitionRegistrationOptions])
  Totality: total
  Visibility: public export
definitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, DefinitionOptions, DefinitionRegistrationOptions])
  Totality: total
  Visibility: public export
.typeDefinitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, TypeDefinitionOptions, TypeDefinitionRegistrationOptions])
  Totality: total
  Visibility: public export
typeDefinitionProvider : ServerCapabilities -> Maybe (OneOf [Bool, TypeDefinitionOptions, TypeDefinitionRegistrationOptions])
  Totality: total
  Visibility: public export
.implementationProvider : ServerCapabilities -> Maybe (OneOf [Bool, ImplementationOptions, ImplementationRegistrationOptions])
  Totality: total
  Visibility: public export
implementationProvider : ServerCapabilities -> Maybe (OneOf [Bool, ImplementationOptions, ImplementationRegistrationOptions])
  Totality: total
  Visibility: public export
.referencesProvider : ServerCapabilities -> Maybe (OneOf [Bool, ReferenceOptions])
  Totality: total
  Visibility: public export
referencesProvider : ServerCapabilities -> Maybe (OneOf [Bool, ReferenceOptions])
  Totality: total
  Visibility: public export
.documentHighlightProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentHighlightOptions])
  Totality: total
  Visibility: public export
documentHighlightProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentHighlightOptions])
  Totality: total
  Visibility: public export
.documentSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentSymbolOptions])
  Totality: total
  Visibility: public export
documentSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentSymbolOptions])
  Totality: total
  Visibility: public export
.codeActionProvider : ServerCapabilities -> Maybe (OneOf [Bool, CodeActionOptions])
  Totality: total
  Visibility: public export
codeActionProvider : ServerCapabilities -> Maybe (OneOf [Bool, CodeActionOptions])
  Totality: total
  Visibility: public export
.codeLensProvider : ServerCapabilities -> Maybe CodeLensOptions
  Totality: total
  Visibility: public export
codeLensProvider : ServerCapabilities -> Maybe CodeLensOptions
  Totality: total
  Visibility: public export
.documentLinkProvider : ServerCapabilities -> Maybe DocumentLinkOptions
  Totality: total
  Visibility: public export
documentLinkProvider : ServerCapabilities -> Maybe DocumentLinkOptions
  Totality: total
  Visibility: public export
.colorProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentColorOptions, DocumentColorRegistrationOptions])
  Totality: total
  Visibility: public export
colorProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentColorOptions, DocumentColorRegistrationOptions])
  Totality: total
  Visibility: public export
.documentFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentFormattingOptions])
  Totality: total
  Visibility: public export
documentFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentFormattingOptions])
  Totality: total
  Visibility: public export
.documentRangeFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentRangeFormattingOptions])
  Totality: total
  Visibility: public export
documentRangeFormattingProvider : ServerCapabilities -> Maybe (OneOf [Bool, DocumentRangeFormattingOptions])
  Totality: total
  Visibility: public export
.documentOnTypeFormattingProvider : ServerCapabilities -> Maybe DocumentOnTypeFormattingOptions
  Totality: total
  Visibility: public export
documentOnTypeFormattingProvider : ServerCapabilities -> Maybe DocumentOnTypeFormattingOptions
  Totality: total
  Visibility: public export
.renameProvider : ServerCapabilities -> Maybe (OneOf [Bool, RenameOptions])
  Totality: total
  Visibility: public export
renameProvider : ServerCapabilities -> Maybe (OneOf [Bool, RenameOptions])
  Totality: total
  Visibility: public export
.foldingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, FoldingRangeOptions, FoldingRangeRegistrationOptions])
  Totality: total
  Visibility: public export
foldingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, FoldingRangeOptions, FoldingRangeRegistrationOptions])
  Totality: total
  Visibility: public export
.executeCommandProvider : ServerCapabilities -> Maybe ExecuteCommandOptions
  Totality: total
  Visibility: public export
executeCommandProvider : ServerCapabilities -> Maybe ExecuteCommandOptions
  Totality: total
  Visibility: public export
.selectionRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, SelectionRangeOptions, SelectionRangeRegistrationOptions])
  Totality: total
  Visibility: public export
selectionRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, SelectionRangeOptions, SelectionRangeRegistrationOptions])
  Totality: total
  Visibility: public export
.linkedEditingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, LinkedEditingRangeOptions, LinkedEditingRangeRegistrationOptions])
  Totality: total
  Visibility: public export
linkedEditingRangeProvider : ServerCapabilities -> Maybe (OneOf [Bool, LinkedEditingRangeOptions, LinkedEditingRangeRegistrationOptions])
  Totality: total
  Visibility: public export
.callHierarchyProvider : ServerCapabilities -> Maybe (OneOf [Bool, CallHierarchyOptions, CallHierarchyRegistrationOptions])
  Totality: total
  Visibility: public export
callHierarchyProvider : ServerCapabilities -> Maybe (OneOf [Bool, CallHierarchyOptions, CallHierarchyRegistrationOptions])
  Totality: total
  Visibility: public export
.semanticTokensProvider : ServerCapabilities -> Maybe (OneOf [SemanticTokensOptions, SemanticTokensRegistrationOptions])
  Totality: total
  Visibility: public export
semanticTokensProvider : ServerCapabilities -> Maybe (OneOf [SemanticTokensOptions, SemanticTokensRegistrationOptions])
  Totality: total
  Visibility: public export
.monikerProvider : ServerCapabilities -> Maybe (OneOf [Bool, MonikerOptions, MonikerRegistrationOptions])
  Totality: total
  Visibility: public export
monikerProvider : ServerCapabilities -> Maybe (OneOf [Bool, MonikerOptions, MonikerRegistrationOptions])
  Totality: total
  Visibility: public export
.workspaceSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, WorkspaceSymbolOptions])
  Totality: total
  Visibility: public export
workspaceSymbolProvider : ServerCapabilities -> Maybe (OneOf [Bool, WorkspaceSymbolOptions])
  Totality: total
  Visibility: public export
.workspace : ServerCapabilities -> Maybe WorkspaceServerCapabilities
  Totality: total
  Visibility: public export
workspace : ServerCapabilities -> Maybe WorkspaceServerCapabilities
  Totality: total
  Visibility: public export
.experimental : ServerCapabilities -> Maybe JSON
  Totality: total
  Visibility: public export
experimental : ServerCapabilities -> Maybe JSON
  Totality: total
  Visibility: public export
record ServerInfo : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#initialize

  Totality: total
  Visibility: public export
  Constructor: 
MkServerInfo : String -> Maybe String -> ServerInfo

  Projections:
  
.name : ServerInfo -> String
  
.version : ServerInfo -> Maybe String

  Hints:
  
FromJSON ServerInfo
  
ToJSON ServerInfo
.name : ServerInfo -> String
  Totality: total
  Visibility: public export
name : ServerInfo -> String
  Totality: total
  Visibility: public export
.version : ServerInfo -> Maybe String
  Totality: total
  Visibility: public export
version : ServerInfo -> Maybe String
  Totality: total
  Visibility: public export