Enumerations #
A set of predefined token types. This set is not fixed an clients can specify additional token types via the corresponding client capabilities. @since 3.16.0
- namespace : SemanticTokenTypes
- type : SemanticTokenTypes
- class : SemanticTokenTypes
- enum : SemanticTokenTypes
- interface : SemanticTokenTypes
- struct : SemanticTokenTypes
- typeParameter : SemanticTokenTypes
- parameter : SemanticTokenTypes
- variable : SemanticTokenTypes
- property : SemanticTokenTypes
- enumMember : SemanticTokenTypes
- event : SemanticTokenTypes
- function : SemanticTokenTypes
- method : SemanticTokenTypes
- macro : SemanticTokenTypes
- keyword : SemanticTokenTypes
- modifier : SemanticTokenTypes
- comment : SemanticTokenTypes
- string : SemanticTokenTypes
- number : SemanticTokenTypes
- regexp : SemanticTokenTypes
- operator : SemanticTokenTypes
- decorator : SemanticTokenTypes
- label : SemanticTokenTypes
Instances For
Equations
- Lapis.Protocol.Generated.instBEqSemanticTokenTypes.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A set of predefined token modifiers. This set is not fixed an clients can specify additional token types via the corresponding client capabilities. @since 3.16.0
- declaration : SemanticTokenModifiers
- definition : SemanticTokenModifiers
- readonly : SemanticTokenModifiers
- static : SemanticTokenModifiers
- deprecated : SemanticTokenModifiers
- abstract : SemanticTokenModifiers
- async : SemanticTokenModifiers
- modification : SemanticTokenModifiers
- documentation : SemanticTokenModifiers
- defaultLibrary : SemanticTokenModifiers
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The document diagnostic report kinds. @since 3.17.0
- full : DocumentDiagnosticReportKind
- unchanged : DocumentDiagnosticReportKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Predefined error codes.
- parseError : ErrorCodes
- invalidRequest : ErrorCodes
- methodNotFound : ErrorCodes
- invalidParams : ErrorCodes
- internalError : ErrorCodes
- serverNotInitialized : ErrorCodes
- unknownErrorCode : ErrorCodes
Instances For
Equations
- Lapis.Protocol.Generated.instBEqErrorCodes.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- requestFailed : LSPErrorCodes
- serverCancelled : LSPErrorCodes
- contentModified : LSPErrorCodes
- requestCancelled : LSPErrorCodes
Instances For
Equations
- Lapis.Protocol.Generated.instBEqLSPErrorCodes.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A set of predefined range kinds.
- comment : FoldingRangeKind
- imports : FoldingRangeKind
- region : FoldingRangeKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqFoldingRangeKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A symbol kind.
- file : SymbolKind
- module : SymbolKind
- namespace : SymbolKind
- package : SymbolKind
- class : SymbolKind
- method : SymbolKind
- property : SymbolKind
- field : SymbolKind
- constructor : SymbolKind
- enum : SymbolKind
- interface : SymbolKind
- function : SymbolKind
- variable : SymbolKind
- constant : SymbolKind
- string : SymbolKind
- number : SymbolKind
- boolean : SymbolKind
- array : SymbolKind
- object : SymbolKind
- key : SymbolKind
- null : SymbolKind
- enumMember : SymbolKind
- struct : SymbolKind
- event : SymbolKind
- operator : SymbolKind
- typeParameter : SymbolKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqSymbolKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Symbol tags are extra annotations that tweak the rendering of a symbol. @since 3.16
- deprecated : SymbolTag
Instances For
Equations
- Lapis.Protocol.Generated.instBEqSymbolTag.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonSymbolTag = { toJson := fun (x : Lapis.Protocol.Generated.SymbolTag) => match x with | Lapis.Protocol.Generated.SymbolTag.deprecated => 1 }
Equations
- One or more equations did not get rendered due to their size.
Moniker uniqueness level to define scope of the moniker. @since 3.16.0
- document : UniquenessLevel
- project : UniquenessLevel
- group : UniquenessLevel
- scheme : UniquenessLevel
- global : UniquenessLevel
Instances For
Equations
- Lapis.Protocol.Generated.instBEqUniquenessLevel.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The moniker kind. @since 3.16.0
- import : MonikerKind
- export : MonikerKind
- local : MonikerKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqMonikerKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instBEqInlayHintKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The message type
- error : MessageType
- warning : MessageType
- info : MessageType
- log : MessageType
- debug : MessageType
Instances For
Equations
- Lapis.Protocol.Generated.instBEqMessageType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines how the host (editor) should sync document changes to the language server.
- none : TextDocumentSyncKind
- full : TextDocumentSyncKind
- incremental : TextDocumentSyncKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents reasons why a text document is saved.
- manual : TextDocumentSaveReason
- afterDelay : TextDocumentSaveReason
- focusOut : TextDocumentSaveReason
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The kind of a completion entry.
- text : CompletionItemKind
- method : CompletionItemKind
- function : CompletionItemKind
- constructor : CompletionItemKind
- field : CompletionItemKind
- variable : CompletionItemKind
- class : CompletionItemKind
- interface : CompletionItemKind
- module : CompletionItemKind
- property : CompletionItemKind
- unit : CompletionItemKind
- value : CompletionItemKind
- enum : CompletionItemKind
- keyword : CompletionItemKind
- snippet : CompletionItemKind
- color : CompletionItemKind
- file : CompletionItemKind
- reference : CompletionItemKind
- folder : CompletionItemKind
- enumMember : CompletionItemKind
- constant : CompletionItemKind
- struct : CompletionItemKind
- event : CompletionItemKind
- operator : CompletionItemKind
- typeParameter : CompletionItemKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqCompletionItemKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Completion item tags are extra annotations that tweak the rendering of a completion item. @since 3.15.0
- deprecated : CompletionItemTag
Instances For
Equations
- Lapis.Protocol.Generated.instBEqCompletionItemTag.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines whether the insert text in a completion item should be interpreted as plain text or a snippet.
- plainText : InsertTextFormat
- snippet : InsertTextFormat
Instances For
Equations
- Lapis.Protocol.Generated.instBEqInsertTextFormat.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
How whitespace and indentation is handled during completion item insertion. @since 3.16.0
- asIs : InsertTextMode
- adjustIndentation : InsertTextMode
Instances For
Equations
- Lapis.Protocol.Generated.instBEqInsertTextMode.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A document highlight kind.
- text : DocumentHighlightKind
- read : DocumentHighlightKind
- write : DocumentHighlightKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A set of predefined code action kinds
- empty : CodeActionKind
- quickFix : CodeActionKind
- refactor : CodeActionKind
- refactorExtract : CodeActionKind
- refactorInline : CodeActionKind
- refactorMove : CodeActionKind
- refactorRewrite : CodeActionKind
- source : CodeActionKind
- sourceOrganizeImports : CodeActionKind
- sourceFixAll : CodeActionKind
- notebook : CodeActionKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqCodeActionKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Code action tags are extra annotations that tweak the behavior of a code action. @since 3.18.0 - proposed
- lLMGenerated : CodeActionTag
Instances For
Equations
- Lapis.Protocol.Generated.instBEqCodeActionTag.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- off : TraceValue
- messages : TraceValue
- verbose : TraceValue
Instances For
Equations
- Lapis.Protocol.Generated.instBEqTraceValue.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Describes the content type that a client supports in various result literals like Hover, ParameterInfo or CompletionItem. Please note that MarkupKinds must not start with a $. This kinds ar...
- plainText : MarkupKind
- markdown : MarkupKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqMarkupKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Predefined Language kinds @since 3.18.0
- aBAP : LanguageKind
- windowsBat : LanguageKind
- bibTeX : LanguageKind
- clojure : LanguageKind
- coffeescript : LanguageKind
- c : LanguageKind
- cPP : LanguageKind
- cSharp : LanguageKind
- cSS : LanguageKind
- d : LanguageKind
- delphi : LanguageKind
- diff : LanguageKind
- dart : LanguageKind
- dockerfile : LanguageKind
- elixir : LanguageKind
- erlang : LanguageKind
- fSharp : LanguageKind
- gitCommit : LanguageKind
- gitRebase : LanguageKind
- go : LanguageKind
- groovy : LanguageKind
- handlebars : LanguageKind
- haskell : LanguageKind
- hTML : LanguageKind
- ini : LanguageKind
- java : LanguageKind
- javaScript : LanguageKind
- javaScriptReact : LanguageKind
- jSON : LanguageKind
- laTeX : LanguageKind
- less : LanguageKind
- lua : LanguageKind
- makefile : LanguageKind
- markdown : LanguageKind
- objectiveC : LanguageKind
- objectiveCPP : LanguageKind
- pascal : LanguageKind
- perl : LanguageKind
- perl6 : LanguageKind
- pHP : LanguageKind
- powershell : LanguageKind
- pug : LanguageKind
- python : LanguageKind
- r : LanguageKind
- razor : LanguageKind
- ruby : LanguageKind
- rust : LanguageKind
- sCSS : LanguageKind
- sASS : LanguageKind
- scala : LanguageKind
- shaderLab : LanguageKind
- shellScript : LanguageKind
- sQL : LanguageKind
- swift : LanguageKind
- typeScript : LanguageKind
- typeScriptReact : LanguageKind
- teX : LanguageKind
- visualBasic : LanguageKind
- xML : LanguageKind
- xSL : LanguageKind
- yAML : LanguageKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqLanguageKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A set of predefined position encoding kinds. @since 3.17.0
- uTF8 : PositionEncodingKind
- uTF16 : PositionEncodingKind
- uTF32 : PositionEncodingKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The file event type
- created : FileChangeType
- changed : FileChangeType
- deleted : FileChangeType
Instances For
Equations
- Lapis.Protocol.Generated.instBEqFileChangeType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instBEqWatchKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The diagnostic's severity.
- error : DiagnosticSeverity
- warning : DiagnosticSeverity
- information : DiagnosticSeverity
- hint : DiagnosticSeverity
Instances For
Equations
- Lapis.Protocol.Generated.instBEqDiagnosticSeverity.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The diagnostic tags. @since 3.15.0
- unnecessary : DiagnosticTag
- deprecated : DiagnosticTag
Instances For
Equations
- Lapis.Protocol.Generated.instBEqDiagnosticTag.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
How a completion was triggered
- invoked : CompletionTriggerKind
- triggerCharacter : CompletionTriggerKind
- triggerForIncompleteCompletions : CompletionTriggerKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines how values from a set of defaults and an individual item will be merged. @since 3.18.0
Instances For
Equations
- Lapis.Protocol.Generated.instBEqApplyKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
How a signature help was triggered. @since 3.15.0
- invoked : SignatureHelpTriggerKind
- triggerCharacter : SignatureHelpTriggerKind
- contentChange : SignatureHelpTriggerKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The reason why code actions were requested. @since 3.17.0
- invoked : CodeActionTriggerKind
- automatic : CodeActionTriggerKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A pattern kind describing if a glob pattern matches a file a folder or both. @since 3.16.0
- file : FileOperationPatternKind
- folder : FileOperationPatternKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instBEqNotebookCellKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- create : ResourceOperationKind
- rename : ResourceOperationKind
- delete : ResourceOperationKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- abort : FailureHandlingKind
- transactional : FailureHandlingKind
- textOnlyTransactional : FailureHandlingKind
- undo : FailureHandlingKind
Instances For
Equations
- Lapis.Protocol.Generated.instBEqFailureHandlingKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- identifier : PrepareSupportDefaultBehavior
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instBEqTokenFormat.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Type Aliases #
The definition of a symbol represented as one or many {@link Location locations}. For most programming languages there is only one location at which a symbol is defined. Servers should prefer returni...
Instances For
Information about where a symbol is defined. Provides additional metadata over normal {@link Location location} definitions, including the range of the defining symbol
Instances For
LSP arrays. @since 3.17.0
Equations
Instances For
The LSP any type. Please note that strictly speaking a property with the value undefined can't be converted into JSON preserving the property name. However for convenience it is allowed and assumed ...
Equations
Instances For
The declaration of a symbol representation as one or many {@link Location locations}.
Instances For
Information about where a symbol is declared. Provides additional metadata over normal {@link Location location} declarations, including the range of the declaring symbol. Servers should prefer retu...
Instances For
Inline value information can be provided by different means: - directly as a text value (class InlineValueText). - as a name to use for a variable lookup (class InlineValueVariableLookup) - as an eval...
Instances For
The result of a document diagnostic pull request. A report can either be a full report containing all diagnostics for the requested document or an unchanged report indicating that nothing has changed ...
Instances For
Instances For
A document selector is the combination of one or many document filters. @sample let sel:DocumentSelector = [{ language: 'typescript' }, { language: 'json', pattern: '**∕tsconfig.json' }]; The use ...
Instances For
Instances For
An identifier to refer to a change annotation stored with a workspace edit.
Instances For
A workspace diagnostic document report. @since 3.17.0
Instances For
An event describing a change to a text document. If only a text is provided it is considered to be the full content of the document.
Instances For
MarkedString can be used to render human readable text. It is either a markdown string or a code-block that provides a language and a code snippet. The language identifier is semantically equal to the...
Instances For
A document filter describes a top level text document or a notebook cell document. @since 3.17.0 - support for NotebookCellTextDocumentFilter.
Instances For
LSP object definition. @since 3.17.0
Equations
Instances For
The glob pattern. Either a string pattern or a relative pattern. @since 3.17.0
Instances For
A document filter denotes a document by different properties like the {@link TextDocument.languageId language}, the {@link Uri.scheme scheme} of its resource, or a glob-pattern that is applied to the ...
Instances For
A notebook document filter denotes a notebook document by different properties. The properties will be match against the notebook's URI (same as with documents) @since 3.17.0
Instances For
The glob pattern to watch relative to the base path. Glob patterns can have the following syntax: - * to match one or more characters in a path segment - ? to match on one character in a path segm...
Equations
Instances For
Instances For
Structures #
A workspace folder inside a client.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedWorkDoneProgressOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
General text document registration options.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedTextDocumentRegistrationOptions.default = { documentSelector := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a folding range. To be valid, start and end line must be bigger than zero and smaller than the number of lines in the document. Clients are free to ignore invalid ranges.
- startLine : Nat
- endLine : Nat
- kind : Option FoldingRangeKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- token : ProgressToken
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- token : ProgressToken
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonShowDocumentResult = { toJson := fun (s : Lapis.Protocol.Generated.ShowDocumentResult) => Lean.Json.mkObj [("success", Lean.toJson s.success)] }
Equations
- Lapis.Protocol.Generated.instFromJsonShowDocumentResult = { fromJson? := fun (json : Lean.Json) => do let success ← json.getObjValAs? Bool "success" pure { success := success } }
Moniker definition to match LSIF 0.5 moniker definition. @since 3.16.0
- scheme : String
- identifier : String
- unique : UniquenessLevel
- kind : Option MonikerKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Cancellation data returned from a diagnostic request. @since 3.17.0
- retriggerRequest : Bool
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDiagnosticServerCancellationData.default = { retriggerRequest := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A workspace diagnostic report. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A partial result for a workspace diagnostic report. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonInitializeError = { toJson := fun (s : Lapis.Protocol.Generated.InitializeError) => Lean.Json.mkObj [("retry", Lean.toJson s.retry)] }
Equations
- Lapis.Protocol.Generated.instFromJsonInitializeError = { fromJson? := fun (json : Lean.Json) => do let retry ← json.getObjValAs? Bool "retry" pure { retry := retry } }
Equations
- Lapis.Protocol.Generated.instToJsonInitializedParams = { toJson := fun (x : Lapis.Protocol.Generated.InitializedParams) => Lean.Json.mkObj [] }
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- section : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonMessageActionItem = { toJson := fun (s : Lapis.Protocol.Generated.MessageActionItem) => Lean.Json.mkObj [("title", Lean.toJson s.title)] }
Equations
- Lapis.Protocol.Generated.instFromJsonMessageActionItem = { fromJson? := fun (json : Lean.Json) => do let title ← json.getObjValAs? String "title" pure { title := title } }
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a reference to a command. Provides a title which will be used to represent a command in the UI and, optionally, an array of arguments which will be passed to the command handler function when invoked.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonSetTraceParams = { toJson := fun (s : Lapis.Protocol.Generated.SetTraceParams) => Lean.Json.mkObj [("value", Lean.toJson s.value)] }
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonCancelParams = { toJson := fun (s : Lapis.Protocol.Generated.CancelParams) => Lean.Json.mkObj [("id", Lean.toJson s.id)] }
Equations
- Lapis.Protocol.Generated.instFromJsonCancelParams = { fromJson? := fun (json : Lean.Json) => have id := (json.getObjVal? "id").toOption.getD Lean.Json.null; pure { id := id } }
- token : ProgressToken
- value : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- workDoneToken : Option ProgressToken
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedWorkDoneProgressParams.default = { workDoneToken := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- partialResultToken : Option ProgressToken
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedPartialResultParams.default = { partialResultToken := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Static registration options to be returned in the initialize request.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instFromJsonTextDocumentIdentifier = { fromJson? := fun (json : Lean.Json) => do let uri ← json.getObjValAs? String "uri" pure { uri := uri } }
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Position in a text document expressed as zero-based line and character offset. Prior to 3.17 the offsets were always based on a UTF-16 string representation. So a string of the form a𐐀b the character offset of the character a is 0, the character offset of 𐐀 is 1 and the character offset of b i...
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonFileCreate = { toJson := fun (s : Lapis.Protocol.Generated.FileCreate) => Lean.Json.mkObj [("uri", Lean.toJson s.uri)] }
Equations
- Lapis.Protocol.Generated.instFromJsonFileCreate = { fromJson? := fun (json : Lean.Json) => do let uri ← json.getObjValAs? String "uri" pure { uri := uri } }
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents information on a file/folder rename. @since 3.16.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonFileDelete = { toJson := fun (s : Lapis.Protocol.Generated.FileDelete) => Lean.Json.mkObj [("uri", Lean.toJson s.uri)] }
Equations
- Lapis.Protocol.Generated.instFromJsonFileDelete = { fromJson? := fun (json : Lean.Json) => do let uri ← json.getObjValAs? String "uri" pure { uri := uri } }
A MarkupContent literal represents a string value which content is interpreted base on its kind flag. Currently the protocol supports plaintext and markdown as markup kinds. If the kind is markdown then the value can contain fenced code blocks like in GitHub issues. See https://help.github....
- kind : MarkupKind
- value : String
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A diagnostic report indicating that the last returned report is still accurate. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A previous result id in a workspace pull request. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
An item to transfer a text document from the client to the server.
- uri : String
- languageId : LanguageKind
- version : Int
- text : String
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A versioned notebook document identifier. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instToJsonNotebookDocumentIdentifier = { toJson := fun (s : Lapis.Protocol.Generated.NotebookDocumentIdentifier) => Lean.Json.mkObj [("uri", Lean.toJson s.uri)] }
Equations
- Lapis.Protocol.Generated.instFromJsonNotebookDocumentIdentifier = { fromJson? := fun (json : Lean.Json) => do let uri ← json.getObjValAs? String "uri" pure { uri := uri } }
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
General parameters to unregister a request or notification.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Save options.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedSaveOptions.default = { includeText := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- globPattern : GlobPattern
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Contains additional information about the context in which a completion request is triggered.
- triggerKind : CompletionTriggerKind
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Specifies how fields from a completion item should be combined with those from completionList.itemDefaults. If unspecified, all fields will be treated as ApplyKind.Replace. If a field's value is ApplyKind.Replace, the value from a completion item (if provided and not null) will always be used ...
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Value-object that contains additional information when requesting references.
- includeDeclaration : Bool
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedReferenceContext.default = { includeDeclaration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Contains additional diagnostic information about the context in which a {@link CodeActionProvider.provideCodeActions code action} is run.
- diagnostics : Lean.Json
- only : Option (Array CodeActionKind)
- triggerKind : Option CodeActionTriggerKind
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonCodeActionDisabled = { toJson := fun (s : Lapis.Protocol.Generated.CodeActionDisabled) => Lean.Json.mkObj [("reason", Lean.toJson s.reason)] }
Equations
- Lapis.Protocol.Generated.instFromJsonCodeActionDisabled = { fromJson? := fun (json : Lean.Json) => do let reason ← json.getObjValAs? String "reason" pure { reason := reason } }
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonLocationUriOnly = { toJson := fun (s : Lapis.Protocol.Generated.LocationUriOnly) => Lean.Json.mkObj [("uri", Lean.toJson s.uri)] }
Equations
- Lapis.Protocol.Generated.instFromJsonLocationUriOnly = { fromJson? := fun (json : Lean.Json) => do let uri ← json.getObjValAs? String "uri" pure { uri := uri } }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instInhabitedPrepareRenameDefaultBehavior.default = { defaultBehavior := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Semantic tokens options to support deltas for full documents @since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A generic resource operation.
- kind : String
- annotationId : Option ChangeAnnotationIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonCodeDescription = { toJson := fun (s : Lapis.Protocol.Generated.CodeDescription) => Lean.Json.mkObj [("href", Lean.toJson s.href)] }
Equations
- Lapis.Protocol.Generated.instFromJsonCodeDescription = { fromJson? := fun (json : Lean.Json) => do let href ← json.getObjValAs? String "href" pure { href := href } }
@since 3.18.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedServerCompletionItemOptions.default = { labelDetailsSupport := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0 @deprecated use MarkupContent instead.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Matching options for the file operation pattern. @since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonNotebookCellLanguage = { toJson := fun (s : Lapis.Protocol.Generated.NotebookCellLanguage) => Lean.Json.mkObj [("language", Lean.toJson s.language)] }
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A document filter where language is required field. @since 3.18.0
- language : String
- pattern : Option GlobPattern
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A document filter where scheme is required field. @since 3.18.0
- scheme : String
- pattern : Option GlobPattern
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A notebook document filter where notebookType is required field. @since 3.18.0
- notebookType : String
- pattern : Option GlobPattern
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A notebook document filter where scheme is required field. @since 3.18.0
- scheme : String
- pattern : Option GlobPattern
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A notebook document filter where pattern is required field. @since 3.18.0
- pattern : GlobPattern
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A change describing how to move a NotebookCell array from state S to S'. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The client capabilities of a {@link ExecuteCommandRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedExecuteCommandClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Capabilities relating to events from file operations by the user in the client. These events do not come from the file system, they come from user operations like renaming a file in the UI. @since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client workspace capabilities specific to inline values. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client workspace capabilities specific to inlay hints. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Workspace client capabilities specific to diagnostic pull requests. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedTextDocumentFilterClientCapabilities.default = { relativePatternSupport := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- contentFormat : Option (Array MarkupKind)
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client Capabilities for a {@link ReferencesRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedReferenceClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client Capabilities for a {@link DocumentHighlightRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentHighlightClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentColorClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities of a {@link DocumentFormattingRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentFormattingClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities of a {@link DocumentOnTypeFormattingRequest}.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedSelectionRangeClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedCallHierarchyClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities for the linked editing range request. @since 3.16.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedLinkedEditingRangeClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities specific to the moniker request. @since 3.16.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedMonikerClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.17.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedTypeHierarchyClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities specific to inline values. @since 3.17.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedInlineValueClientCapabilities.default = { dynamicRegistration := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities specific to regular expressions. @since 3.16.0
- engine : RegularExpressionEngineKind
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonCodeActionTagOptions = { toJson := fun (s : Lapis.Protocol.Generated.CodeActionTagOptions) => Lean.Json.mkObj [("valueSet", Lean.toJson s.valueSet)] }
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedClientFoldingRangeOptions.default = { collapsedText := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedClientShowMessageActionItemOptions.default = { additionalPropertiesSupport := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The workspace folder change event.
- added : Array WorkspaceFolder
- removed : Array WorkspaceFolder
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- workspaceFolders : Option (Array WorkspaceFolder)
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedWorkspaceFoldersInitializeParams.default = { workspaceFolders := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A relative pattern is a helper to construct glob patterns that are matched relatively to a base URI. The common value for a baseUri is a workspace folder root, but it can be another absolute URI as well. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedImplementationOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedTypeDefinitionOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentColorOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedFoldingRangeOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDeclarationOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedSelectionRangeOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Call hierarchy options used during static registration. @since 3.16.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedCallHierarchyOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedLinkedEditingRangeOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedMonikerOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Type hierarchy options used during static registration. @since 3.17.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedTypeHierarchyOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Inline value options used during static registration. @since 3.17.0
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedInlineValueOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Hover options.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedHoverOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Server Capabilities for a {@link DefinitionRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDefinitionOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Reference options.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedReferenceOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Provider options for a {@link DocumentHighlightRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentHighlightOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Provider options for a {@link DocumentFormattingRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDocumentFormattingOptions.default = { workDoneProgress := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Describe options to be used when registered for text document change events.
- syncKind : TextDocumentSyncKind
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- type : MessageType
- message : String
- actions : Option (Array MessageActionItem)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link ExecuteCommandRequest}.
- workDoneToken : Option ProgressToken
- command : String
- arguments : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link WorkspaceSymbolRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- query : String
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instToJsonConfigurationParams = { toJson := fun (s : Lapis.Protocol.Generated.ConfigurationParams) => Lean.Json.mkObj [("items", Lean.toJson s.items)] }
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link DocumentColorRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link FoldingRangeRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- previousResultId : String
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters of the document diagnostic request. @since 3.17.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in a close text document notification
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in a save text document notification
- textDocument : TextDocumentIdentifier
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in a will save text document notification.
- textDocument : TextDocumentIdentifier
- reason : TextDocumentSaveReason
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link DocumentSymbolRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link CodeLensRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link DocumentLinkRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A text document identifier to denote a specific version of a text document.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A parameter literal used in selection range requests.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A parameter literal used in requests to pass a text document and a position inside that document.
- textDocument : TextDocumentIdentifier
- position : Position
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A range in a text document expressed as (zero-based) start and end positions. If you want to specify a range that contains a line including the line ending character(s) then use an end position denoting the start of the next line. For example: ```ts { start: { line: 5, character: 23 } end :...
Instances For
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonRange = { toJson := fun (s : Lapis.Protocol.Generated.Range) => Lean.Json.mkObj ([("start", Lean.toJson s.start)] ++ [("end", Lean.toJson s.end)]) }
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in notifications/requests for user-initiated creation of files. @since 3.16.0
- files : Array FileCreate
Instances For
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonCreateFilesParams = { toJson := fun (s : Lapis.Protocol.Generated.CreateFilesParams) => Lean.Json.mkObj [("files", Lean.toJson s.files)] }
Equations
- One or more equations did not get rendered due to their size.
The options to register for file operations. @since 3.16.0
- filters : Array FileOperationFilter
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in notifications/requests for user-initiated renames of files. @since 3.16.0
- files : Array FileRename
Instances For
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonRenameFilesParams = { toJson := fun (s : Lapis.Protocol.Generated.RenameFilesParams) => Lean.Json.mkObj [("files", Lean.toJson s.files)] }
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in notifications/requests for user-initiated deletes of files. @since 3.16.0
- files : Array FileDelete
Instances For
Equations
Instances For
Equations
- Lapis.Protocol.Generated.instToJsonDeleteFilesParams = { toJson := fun (s : Lapis.Protocol.Generated.DeleteFilesParams) => Lean.Json.mkObj [("files", Lean.toJson s.files)] }
Equations
- One or more equations did not get rendered due to their size.
Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A partial result for a document diagnostic report. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
An unchanged diagnostic report with a set of related documents. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters of the workspace diagnostic request. @since 3.17.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- previousResultIds : Array PreviousResultId
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The params sent in an open notebook document notification. @since 3.17.0
- notebookDocument : NotebookDocument
- cellTextDocuments : Array TextDocumentItem
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters sent in an open text document notification
- textDocument : TextDocumentItem
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The params sent in a save notebook document notification. @since 3.17.0
- notebookDocument : NotebookDocumentIdentifier
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDidSaveNotebookDocumentParams.default = { notebookDocument := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The params sent in a close notebook document notification. @since 3.17.0
- notebookDocument : NotebookDocumentIdentifier
- cellTextDocuments : Array TextDocumentIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- registrations : Array Registration
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedRegistrationParams.default = { registrations := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- unregisterations : Array Unregistration
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedUnregistrationParams.default = { unregisterations := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The watched files change notification's parameters.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Describe options to be used when registered for text document change events.
- watchers : Array FileSystemWatcher
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link DocumentFormattingRequest}.
- workDoneToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- options : FormattingOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link DocumentOnTypeFormattingRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- ch : String
- options : FormattingOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Create file operation.
- kind : String
- annotationId : Option ChangeAnnotationIdentifier
- uri : String
- options : Option CreateFileOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Rename file operation
- kind : String
- annotationId : Option ChangeAnnotationIdentifier
- oldUri : String
- newUri : String
- options : Option RenameFileOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Delete file operation
- kind : String
- annotationId : Option ChangeAnnotationIdentifier
- uri : String
- options : Option DeleteFileOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A pattern to describe in which file operation requests or notifications the server is interested in receiving. @since 3.16.0
- glob : String
- matches : Option FileOperationPatternKind
- options : Option FileOperationPatternOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A notebook cell. A cell's document URI must be unique across ALL notebook cells and can therefore be used to uniquely identify a notebook cell or the cell's text document. @since 3.17.0
- kind : NotebookCellKind
- document : String
- metadata : Lean.Json
- executionSummary : Option ExecutionSummary
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Structural changes to cells in a notebook document. @since 3.18.0
- array : NotebookCellArrayChange
- didOpen : Option (Array TextDocumentItem)
- didClose : Option (Array TextDocumentIdentifier)
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Capabilities specific to the notebook document support. @since 3.17.0
- synchronization : NotebookDocumentSyncClientCapabilities
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
General client capabilities. @since 3.16.0
- staleRequestSupport : Option StaleRequestSupportOptions
- regularExpressions : Option RegularExpressionsClientCapabilities
- markdown : Option MarkdownClientCapabilities
- positionEncodings : Option (Array PositionEncodingKind)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- resourceOperations : Option (Array ResourceOperationKind)
- failureHandling : Option FailureHandlingKind
- changeAnnotationSupport : Option ChangeAnnotationsSupportOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client Capabilities for a {@link DocumentSymbolRequest}.
- symbolKind : Option ClientSymbolKindOptions
- tagSupport : Option ClientSymbolTagOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities for a {@link WorkspaceSymbolRequest}.
- symbolKind : Option ClientSymbolKindOptions
- tagSupport : Option ClientSymbolTagOptions
- resolveSupport : Option ClientSymbolResolveOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The client capabilities of a {@link CodeLensRequest}.
- resolveSupport : Option ClientCodeLensResolveOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- foldingRangeKind : Option ClientFoldingRangeKindOptions
- foldingRange : Option ClientFoldingRangeOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Inlay hint client capabilities. @since 3.17.0
- resolveSupport : Option ClientInlayHintResolveOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Show message request client capabilities
- messageActionItem : Option ClientShowMessageActionItemOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
- documentationFormat : Option (Array MarkupKind)
- tagSupport : Option CompletionItemTagOptions
- resolveSupport : Option ClientCompletionItemResolveOptions
- insertTextModeSupport : Option ClientCompletionItemInsertTextModeOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
- documentationFormat : Option (Array MarkupKind)
- parameterInformation : Option ClientSignatureParameterInformationOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- Lapis.Protocol.Generated.instInhabitedClientCodeActionLiteralOptions.default = { codeActionKind := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
General diagnostics capabilities for pull and push model.
- tagSupport : Option ClientDiagnosticsTagOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a workspace/didChangeWorkspaceFolders notification.
- event : WorkspaceFoldersChangeEvent
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedMonikerRegistrationOptions.default = { documentSelector := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link HoverRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedHoverRegistrationOptions.default = { documentSelector := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link DefinitionRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedDefinitionRegistrationOptions.default = { documentSelector := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link ReferencesRequest}.
Instances For
Equations
- Lapis.Protocol.Generated.instInhabitedReferenceRegistrationOptions.default = { documentSelector := default }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link DocumentHighlightRequest}.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link WorkspaceSymbolRequest}.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link DocumentFormattingRequest}.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link ExecuteCommandRequest}.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The change text document notification's parameters.
- textDocument : VersionedTextDocumentIdentifier
- contentChanges : Array TextDocumentContentChangeEvent
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Content changes to a cell in a notebook document. @since 3.18.0
- document : VersionedTextDocumentIdentifier
- changes : Array TextDocumentContentChangeEvent
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a textDocument/prepareCallHierarchy request. @since 3.16.0
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a textDocument/prepareTypeHierarchy request. @since 3.17.0
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Completion parameters
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- context : Option CompletionContext
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link HoverRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link DefinitionRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link ReferencesRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- context : ReferenceContext
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link DocumentHighlightRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link RenameRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- newName : String
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a location inside a resource, such as a line inside a text file.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a color range from a document.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link ColorPresentationRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- color : Color
- range : Range
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A selection range represents a part of a selection hierarchy. A selection range may have a parent selection range that contains it.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents programming constructs like functions or constructors in the context of call hierarchy. @since 3.16.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.16.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- range : Range
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A parameter literal used in inlay hint requests. @since 3.17.0
- workDoneToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- range : Range
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A text edit applicable to a text document.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
- range : Range
- kind : Option DocumentHighlightKind
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.
- name : String
- kind : SymbolKind
- range : Range
- selectionRange : Range
- children : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link CodeActionRequest}.
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- range : Range
- context : CodeActionContext
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A code lens represents a {@link Command command} that should be shown along with source text, like the number of references, a way to run tests, etc. A code lens is unresolved when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in ...
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters of a {@link DocumentRangeFormattingRequest}.
- workDoneToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- range : Range
- options : FormattingOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents the connection of two locations. Provides additional metadata over normal {@link Location locations}, including an origin range.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Provide inline value as text. @since 3.17.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Provide inline value through a variable lookup. If only a range is specified, the variable name will be extracted from the underlying document. An optional variable name can be used to override the extracted name. @since 3.17.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Provide an inline value through an expression evaluation. If only a range is specified, the expression will be extracted from the underlying document. An optional expression can be used to override the extracted expression. @since 3.17.0
- range : Range
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
@since 3.18.0
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Edit range variant that includes ranges for insert and replace operations. @since 3.18.0
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Options for notifications/requests for user operations on files. @since 3.16.0
- didCreate : Option FileOperationRegistrationOptions
- willCreate : Option FileOperationRegistrationOptions
- didRename : Option FileOperationRegistrationOptions
- willRename : Option FileOperationRegistrationOptions
- didDelete : Option FileOperationRegistrationOptions
- willDelete : Option FileOperationRegistrationOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.
- label : String
- documentation : Lean.Json
- parameters : Option (Array ParameterInformation)
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- clientInfo : Option ClientInfo
- capabilities : Lean.Json
- initializationOptions : Lean.Json
- trace : Option TraceValue
- workspaceFolders : Option (Array WorkspaceFolder)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Registration options for a {@link CompletionRequest}.
- completionItem : Option ServerCompletionItemOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Options specific to a notebook plus its cells to be synced to the server. If a selector provides a notebook document filter but no cell selector all cells of a matching notebook document will be synced. If a selector provides no notebook document filter but only a cell selector all notebook docume...
- notebookSelector : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Workspace specific client capabilities.
- workspaceEdit : Option WorkspaceEditClientCapabilities
- didChangeConfiguration : Option DidChangeConfigurationClientCapabilities
- didChangeWatchedFiles : Option DidChangeWatchedFilesClientCapabilities
- symbol : Option WorkspaceSymbolClientCapabilities
- executeCommand : Option ExecuteCommandClientCapabilities
- semanticTokens : Option SemanticTokensWorkspaceClientCapabilities
- codeLens : Option CodeLensWorkspaceClientCapabilities
- fileOperations : Option FileOperationClientCapabilities
- inlineValue : Option InlineValueWorkspaceClientCapabilities
- inlayHint : Option InlayHintWorkspaceClientCapabilities
- diagnostics : Option DiagnosticWorkspaceClientCapabilities
- foldingRange : Lean.Json
- textDocumentContent : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
- showMessage : Option ShowMessageRequestClientCapabilities
- showDocument : Option ShowDocumentClientCapabilities
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Completion client capabilities
- completionItem : Option ClientCompletionItemOptions
- completionItemKind : Option ClientCompletionItemOptionsKind
- insertTextMode : Option InsertTextMode
- completionList : Option CompletionListCapabilities
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client Capabilities for a {@link SignatureHelpRequest}.
- signatureInformation : Option ClientSignatureInformationOptions
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The Client Capabilities of a {@link CodeActionRequest}.
- codeActionLiteralSupport : Option ClientCodeActionLiteralOptions
- resolveSupport : Option ClientCodeActionResolveOptions
- tagSupport : Option CodeActionTagOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Client capabilities specific to diagnostic pull requests. @since 3.17.0
- tagSupport : Option ClientDiagnosticsTagOptions
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Cell changes to a notebook document. @since 3.18.0
- structure : Option NotebookDocumentCellChangeStructure
- data : Lean.Json
- textContent : Option (Array NotebookDocumentCellContentChanges)
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents information about programming constructs like variables, classes, interfaces etc.
- name : String
- kind : SymbolKind
- location : Location
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A special workspace symbol that supports locations without a range. See also SymbolInformation. @since 3.17.0
- name : String
- kind : SymbolKind
- location : Lean.Json
- data : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a related message and source code location for a diagnostic. This should be used to point to code locations that cause or related to a diagnostics, e.g when duplicating a symbol in a scope.
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a callHierarchy/incomingCalls request. @since 3.16.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- item : CallHierarchyItem
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents an incoming call, e.g. a caller of a method or constructor. @since 3.16.0
- from : CallHierarchyItem
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a callHierarchy/outgoingCalls request. @since 3.16.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- item : CallHierarchyItem
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents an outgoing call, e.g. calling a getter from a method or a method from a constructor etc. @since 3.16.0
- to : CallHierarchyItem
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a typeHierarchy/supertypes request. @since 3.17.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- item : TypeHierarchyItem
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameter of a typeHierarchy/subtypes request. @since 3.17.0
- workDoneToken : Option ProgressToken
- partialResultToken : Option ProgressToken
- item : TypeHierarchyItem
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A special text edit with an additional change annotation. @since 3.16.0.
- range : Range
- newText : String
- annotationId : ChangeAnnotationIdentifier
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A parameter literal used in inline value requests. @since 3.17.0
- workDoneToken : Option ProgressToken
- textDocument : TextDocumentIdentifier
- range : Range
- context : InlineValueContext
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A completion item represents a text snippet that is proposed to complete text that is being typed.
- label : String
- labelDetails : Option CompletionItemLabelDetails
- kind : Option CompletionItemKind
- documentation : Lean.Json
- insertTextFormat : Option InsertTextFormat
- insertTextMode : Option InsertTextMode
- textEdit : Lean.Json
- data : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
In many cases the items of an actual completion result share the same value for properties like commitCharacters or the range of a text edit. A completion list can therefore define item defaults which will be used if a completion item itself doesn't specify the value. If a completion list specifi...
- editRange : Lean.Json
- insertTextFormat : Option InsertTextFormat
- insertTextMode : Option InsertTextMode
- data : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines workspace specific capabilities of the server. @since 3.18.0
- workspaceFolders : Option WorkspaceFoldersServerCapabilities
- fileOperations : Option FileOperationOptions
- textDocumentContent : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.
- signatures : Array SignatureInformation
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Text document specific client capabilities.
- synchronization : Option TextDocumentSyncClientCapabilities
- filters : Option TextDocumentFilterClientCapabilities
- completion : Option CompletionClientCapabilities
- hover : Option HoverClientCapabilities
- signatureHelp : Option SignatureHelpClientCapabilities
- declaration : Option DeclarationClientCapabilities
- definition : Option DefinitionClientCapabilities
- typeDefinition : Option TypeDefinitionClientCapabilities
- implementation : Option ImplementationClientCapabilities
- references : Option ReferenceClientCapabilities
- documentHighlight : Option DocumentHighlightClientCapabilities
- documentSymbol : Option DocumentSymbolClientCapabilities
- codeAction : Option CodeActionClientCapabilities
- codeLens : Option CodeLensClientCapabilities
- documentLink : Option DocumentLinkClientCapabilities
- colorProvider : Option DocumentColorClientCapabilities
- formatting : Option DocumentFormattingClientCapabilities
- rangeFormatting : Option DocumentRangeFormattingClientCapabilities
- onTypeFormatting : Option DocumentOnTypeFormattingClientCapabilities
- rename : Option RenameClientCapabilities
- foldingRange : Option FoldingRangeClientCapabilities
- selectionRange : Option SelectionRangeClientCapabilities
- publishDiagnostics : Option PublishDiagnosticsClientCapabilities
- callHierarchy : Option CallHierarchyClientCapabilities
- semanticTokens : Option SemanticTokensClientCapabilities
- linkedEditingRange : Option LinkedEditingRangeClientCapabilities
- moniker : Option MonikerClientCapabilities
- typeHierarchy : Option TypeHierarchyClientCapabilities
- inlineValue : Option InlineValueClientCapabilities
- inlayHint : Option InlayHintClientCapabilities
- diagnostic : Option DiagnosticClientCapabilities
- inlineCompletion : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A change event for a notebook document. @since 3.17.0
- metadata : Lean.Json
- cells : Option NotebookDocumentCellChanges
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a diagnostic, such as a compiler error or warning. Diagnostic objects are only valid in the scope of a resource.
- range : Range
- severity : Option DiagnosticSeverity
- code : Lean.Json
- codeDescription : Option CodeDescription
- message : String
- data : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Describes textual changes on a text document. A TextDocumentEdit describes all changes on a document version Si and after they are applied move the document to version Si+1. So the creator of a TextDocumentEdit doesn't need to sort the array of edits or do any kind of ordering. However the edits mus...
- textDocument : OptionalVersionedTextDocumentIdentifier
- edits : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Represents a collection of {@link CompletionItem completion items} to be presented in the editor.
- isIncomplete : Bool
- itemDefaults : Option CompletionItemDefaults
- applyKind : Option CompletionItemApplyKinds
- items : Lean.Json
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Additional information about the context in which a signature help request was triggered. @since 3.15.0
- triggerKind : SignatureHelpTriggerKind
- isRetrigger : Bool
- activeSignatureHelp : Option SignatureHelp
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines the capabilities provided by a language server.
- positionEncoding : Option PositionEncodingKind
- textDocumentSync : Lean.Json
- notebookDocumentSync : Lean.Json
- completionProvider : Option CompletionOptions
- hoverProvider : Lean.Json
- signatureHelpProvider : Option SignatureHelpOptions
- declarationProvider : Lean.Json
- definitionProvider : Lean.Json
- typeDefinitionProvider : Lean.Json
- implementationProvider : Lean.Json
- referencesProvider : Lean.Json
- documentHighlightProvider : Lean.Json
- documentSymbolProvider : Lean.Json
- codeActionProvider : Lean.Json
- codeLensProvider : Option CodeLensOptions
- documentLinkProvider : Option DocumentLinkOptions
- colorProvider : Lean.Json
- workspaceSymbolProvider : Lean.Json
- documentFormattingProvider : Lean.Json
- documentRangeFormattingProvider : Lean.Json
- documentOnTypeFormattingProvider : Option DocumentOnTypeFormattingOptions
- renameProvider : Lean.Json
- foldingRangeProvider : Lean.Json
- selectionRangeProvider : Lean.Json
- executeCommandProvider : Option ExecuteCommandOptions
- callHierarchyProvider : Lean.Json
- linkedEditingRangeProvider : Lean.Json
- semanticTokensProvider : Lean.Json
- monikerProvider : Lean.Json
- typeHierarchyProvider : Lean.Json
- inlineValueProvider : Lean.Json
- inlayHintProvider : Lean.Json
- diagnosticProvider : Lean.Json
- inlineCompletionProvider : Lean.Json
- workspace : Option WorkspaceOptions
- experimental : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Defines the capabilities provided by the client.
- workspace : Lean.Json
- textDocument : Option TextDocumentClientCapabilities
- notebookDocument : Option NotebookDocumentClientCapabilities
- window : Option WindowClientCapabilities
- general : Option GeneralClientCapabilities
- experimental : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The params sent in a change notebook document notification. @since 3.17.0
- notebookDocument : VersionedNotebookDocumentIdentifier
- change : NotebookDocumentChangeEvent
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A workspace edit represents changes to many resources managed in the workspace. The edit should either provide changes or documentChanges. If documentChanges are present they are preferred over changes if the client can handle versioned document edits. Since version 3.13.0 a workspace edit ca...
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Parameters for a {@link SignatureHelpRequest}.
- textDocument : TextDocumentIdentifier
- position : Position
- workDoneToken : Option ProgressToken
- context : Option SignatureHelpContext
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The result returned from an initialize request.
- capabilities : ServerCapabilities
- serverInfo : Option ServerInfo
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code. A CodeAction must set either edit and/or a command. If both are supplied, the edit is applied first, then the command is executed.
- title : String
- kind : Option CodeActionKind
- diagnostics : Lean.Json
- disabled : Option CodeActionDisabled
- edit : Option WorkspaceEdit
- data : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The parameters passed via an apply workspace edit request.
- edit : WorkspaceEdit
- metadata : Lean.Json
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Request Methods #
Method: textDocument/implementation
Equations
- Lapis.Protocol.Generated.ImplementationRequestMethod = "textDocument/implementation"
Instances For
Method: textDocument/typeDefinition
Equations
- Lapis.Protocol.Generated.TypeDefinitionRequestMethod = "textDocument/typeDefinition"
Instances For
Method: workspace/workspaceFolders
Equations
- Lapis.Protocol.Generated.WorkspaceFoldersRequestMethod = "workspace/workspaceFolders"
Instances For
Method: workspace/configuration
Equations
- Lapis.Protocol.Generated.ConfigurationRequestMethod = "workspace/configuration"
Instances For
Method: textDocument/documentColor
Equations
- Lapis.Protocol.Generated.DocumentColorRequestMethod = "textDocument/documentColor"
Instances For
Method: textDocument/colorPresentation
Equations
- Lapis.Protocol.Generated.ColorPresentationRequestMethod = "textDocument/colorPresentation"
Instances For
Method: textDocument/foldingRange
Equations
- Lapis.Protocol.Generated.FoldingRangeRequestMethod = "textDocument/foldingRange"
Instances For
Method: textDocument/declaration
Equations
- Lapis.Protocol.Generated.DeclarationRequestMethod = "textDocument/declaration"
Instances For
Method: textDocument/selectionRange
Equations
- Lapis.Protocol.Generated.SelectionRangeRequestMethod = "textDocument/selectionRange"
Instances For
Method: window/workDoneProgress/create
Equations
- Lapis.Protocol.Generated.WorkDoneProgressCreateRequestMethod = "window/workDoneProgress/create"
Instances For
Method: textDocument/prepareCallHierarchy
Equations
- Lapis.Protocol.Generated.CallHierarchyPrepareRequestMethod = "textDocument/prepareCallHierarchy"
Instances For
Method: callHierarchy/incomingCalls
Equations
- Lapis.Protocol.Generated.CallHierarchyIncomingCallsRequestMethod = "callHierarchy/incomingCalls"
Instances For
Method: callHierarchy/outgoingCalls
Equations
- Lapis.Protocol.Generated.CallHierarchyOutgoingCallsRequestMethod = "callHierarchy/outgoingCalls"
Instances For
Method: textDocument/semanticTokens/full
Equations
- Lapis.Protocol.Generated.SemanticTokensRequestMethod = "textDocument/semanticTokens/full"
Instances For
Method: textDocument/semanticTokens/full/delta
Equations
- Lapis.Protocol.Generated.SemanticTokensDeltaRequestMethod = "textDocument/semanticTokens/full/delta"
Instances For
Method: textDocument/semanticTokens/range
Equations
- Lapis.Protocol.Generated.SemanticTokensRangeRequestMethod = "textDocument/semanticTokens/range"
Instances For
Method: workspace/semanticTokens/refresh
Equations
- Lapis.Protocol.Generated.SemanticTokensRefreshRequestMethod = "workspace/semanticTokens/refresh"
Instances For
Method: window/showDocument
Equations
- Lapis.Protocol.Generated.ShowDocumentRequestMethod = "window/showDocument"
Instances For
Method: textDocument/linkedEditingRange
Equations
- Lapis.Protocol.Generated.LinkedEditingRangeRequestMethod = "textDocument/linkedEditingRange"
Instances For
Method: workspace/willCreateFiles
Equations
- Lapis.Protocol.Generated.WillCreateFilesRequestMethod = "workspace/willCreateFiles"
Instances For
Method: workspace/willRenameFiles
Equations
- Lapis.Protocol.Generated.WillRenameFilesRequestMethod = "workspace/willRenameFiles"
Instances For
Method: workspace/willDeleteFiles
Equations
- Lapis.Protocol.Generated.WillDeleteFilesRequestMethod = "workspace/willDeleteFiles"
Instances For
Method: textDocument/moniker
Equations
- Lapis.Protocol.Generated.MonikerRequestMethod = "textDocument/moniker"
Instances For
Method: textDocument/prepareTypeHierarchy
Equations
- Lapis.Protocol.Generated.TypeHierarchyPrepareRequestMethod = "textDocument/prepareTypeHierarchy"
Instances For
Method: typeHierarchy/supertypes
Equations
- Lapis.Protocol.Generated.TypeHierarchySupertypesRequestMethod = "typeHierarchy/supertypes"
Instances For
Method: typeHierarchy/subtypes
Equations
- Lapis.Protocol.Generated.TypeHierarchySubtypesRequestMethod = "typeHierarchy/subtypes"
Instances For
Method: textDocument/inlineValue
Equations
- Lapis.Protocol.Generated.InlineValueRequestMethod = "textDocument/inlineValue"
Instances For
Method: workspace/inlineValue/refresh
Equations
- Lapis.Protocol.Generated.InlineValueRefreshRequestMethod = "workspace/inlineValue/refresh"
Instances For
Method: textDocument/inlayHint
Equations
- Lapis.Protocol.Generated.InlayHintRequestMethod = "textDocument/inlayHint"
Instances For
Method: inlayHint/resolve
Equations
- Lapis.Protocol.Generated.InlayHintResolveRequestMethod = "inlayHint/resolve"
Instances For
Method: workspace/inlayHint/refresh
Equations
- Lapis.Protocol.Generated.InlayHintRefreshRequestMethod = "workspace/inlayHint/refresh"
Instances For
Method: textDocument/diagnostic
Equations
- Lapis.Protocol.Generated.DocumentDiagnosticRequestMethod = "textDocument/diagnostic"
Instances For
Method: workspace/diagnostic
Equations
- Lapis.Protocol.Generated.WorkspaceDiagnosticRequestMethod = "workspace/diagnostic"
Instances For
Method: workspace/diagnostic/refresh
Equations
- Lapis.Protocol.Generated.DiagnosticRefreshRequestMethod = "workspace/diagnostic/refresh"
Instances For
Method: client/registerCapability
Equations
- Lapis.Protocol.Generated.RegistrationRequestMethod = "client/registerCapability"
Instances For
Method: client/unregisterCapability
Equations
- Lapis.Protocol.Generated.UnregistrationRequestMethod = "client/unregisterCapability"
Instances For
Method: initialize
Equations
- Lapis.Protocol.Generated.InitializeRequestMethod = "initialize"
Instances For
Method: window/showMessageRequest
Equations
- Lapis.Protocol.Generated.ShowMessageRequestMethod = "window/showMessageRequest"
Instances For
Method: textDocument/willSaveWaitUntil
Equations
- Lapis.Protocol.Generated.WillSaveTextDocumentWaitUntilRequestMethod = "textDocument/willSaveWaitUntil"
Instances For
Method: textDocument/completion
Equations
- Lapis.Protocol.Generated.CompletionRequestMethod = "textDocument/completion"
Instances For
Method: completionItem/resolve
Equations
- Lapis.Protocol.Generated.CompletionResolveRequestMethod = "completionItem/resolve"
Instances For
Method: textDocument/hover
Equations
- Lapis.Protocol.Generated.HoverRequestMethod = "textDocument/hover"
Instances For
Method: textDocument/signatureHelp
Equations
- Lapis.Protocol.Generated.SignatureHelpRequestMethod = "textDocument/signatureHelp"
Instances For
Method: textDocument/definition
Equations
- Lapis.Protocol.Generated.DefinitionRequestMethod = "textDocument/definition"
Instances For
Method: textDocument/references
Equations
- Lapis.Protocol.Generated.ReferencesRequestMethod = "textDocument/references"
Instances For
Method: textDocument/documentHighlight
Equations
- Lapis.Protocol.Generated.DocumentHighlightRequestMethod = "textDocument/documentHighlight"
Instances For
Method: textDocument/documentSymbol
Equations
- Lapis.Protocol.Generated.DocumentSymbolRequestMethod = "textDocument/documentSymbol"
Instances For
Method: textDocument/codeAction
Equations
- Lapis.Protocol.Generated.CodeActionRequestMethod = "textDocument/codeAction"
Instances For
Method: codeAction/resolve
Equations
- Lapis.Protocol.Generated.CodeActionResolveRequestMethod = "codeAction/resolve"
Instances For
Method: workspace/symbol
Equations
- Lapis.Protocol.Generated.WorkspaceSymbolRequestMethod = "workspace/symbol"
Instances For
Method: workspaceSymbol/resolve
Equations
- Lapis.Protocol.Generated.WorkspaceSymbolResolveRequestMethod = "workspaceSymbol/resolve"
Instances For
Method: textDocument/codeLens
Equations
- Lapis.Protocol.Generated.CodeLensRequestMethod = "textDocument/codeLens"
Instances For
Method: codeLens/resolve
Equations
- Lapis.Protocol.Generated.CodeLensResolveRequestMethod = "codeLens/resolve"
Instances For
Method: workspace/codeLens/refresh
Equations
- Lapis.Protocol.Generated.CodeLensRefreshRequestMethod = "workspace/codeLens/refresh"
Instances For
Method: textDocument/documentLink
Equations
- Lapis.Protocol.Generated.DocumentLinkRequestMethod = "textDocument/documentLink"
Instances For
Method: documentLink/resolve
Equations
- Lapis.Protocol.Generated.DocumentLinkResolveRequestMethod = "documentLink/resolve"
Instances For
Method: textDocument/formatting
Equations
- Lapis.Protocol.Generated.DocumentFormattingRequestMethod = "textDocument/formatting"
Instances For
Method: textDocument/rangeFormatting
Equations
- Lapis.Protocol.Generated.DocumentRangeFormattingRequestMethod = "textDocument/rangeFormatting"
Instances For
Method: textDocument/onTypeFormatting
Equations
- Lapis.Protocol.Generated.DocumentOnTypeFormattingRequestMethod = "textDocument/onTypeFormatting"
Instances For
Method: textDocument/rename
Equations
- Lapis.Protocol.Generated.RenameRequestMethod = "textDocument/rename"
Instances For
Method: textDocument/prepareRename
Equations
- Lapis.Protocol.Generated.PrepareRenameRequestMethod = "textDocument/prepareRename"
Instances For
Method: workspace/executeCommand
Equations
- Lapis.Protocol.Generated.ExecuteCommandRequestMethod = "workspace/executeCommand"
Instances For
Method: workspace/applyEdit
Equations
- Lapis.Protocol.Generated.ApplyWorkspaceEditRequestMethod = "workspace/applyEdit"
Instances For
Notification Methods #
Method: workspace/didChangeWorkspaceFolders
Equations
- Lapis.Protocol.Generated.DidChangeWorkspaceFoldersNotificationMethod = "workspace/didChangeWorkspaceFolders"
Instances For
Method: window/workDoneProgress/cancel
Equations
- Lapis.Protocol.Generated.WorkDoneProgressCancelNotificationMethod = "window/workDoneProgress/cancel"
Instances For
Method: workspace/didCreateFiles
Equations
- Lapis.Protocol.Generated.DidCreateFilesNotificationMethod = "workspace/didCreateFiles"
Instances For
Method: workspace/didRenameFiles
Equations
- Lapis.Protocol.Generated.DidRenameFilesNotificationMethod = "workspace/didRenameFiles"
Instances For
Method: workspace/didDeleteFiles
Equations
- Lapis.Protocol.Generated.DidDeleteFilesNotificationMethod = "workspace/didDeleteFiles"
Instances For
Method: notebookDocument/didOpen
Equations
- Lapis.Protocol.Generated.DidOpenNotebookDocumentNotificationMethod = "notebookDocument/didOpen"
Instances For
Method: notebookDocument/didChange
Equations
- Lapis.Protocol.Generated.DidChangeNotebookDocumentNotificationMethod = "notebookDocument/didChange"
Instances For
Method: notebookDocument/didSave
Equations
- Lapis.Protocol.Generated.DidSaveNotebookDocumentNotificationMethod = "notebookDocument/didSave"
Instances For
Method: notebookDocument/didClose
Equations
- Lapis.Protocol.Generated.DidCloseNotebookDocumentNotificationMethod = "notebookDocument/didClose"
Instances For
Method: initialized
Equations
- Lapis.Protocol.Generated.InitializedNotificationMethod = "initialized"
Instances For
Method: exit
Equations
Instances For
Method: workspace/didChangeConfiguration
Equations
- Lapis.Protocol.Generated.DidChangeConfigurationNotificationMethod = "workspace/didChangeConfiguration"
Instances For
Method: window/showMessage
Equations
- Lapis.Protocol.Generated.ShowMessageNotificationMethod = "window/showMessage"
Instances For
Method: window/logMessage
Equations
- Lapis.Protocol.Generated.LogMessageNotificationMethod = "window/logMessage"
Instances For
Method: telemetry/event
Equations
- Lapis.Protocol.Generated.TelemetryEventNotificationMethod = "telemetry/event"
Instances For
Method: textDocument/didOpen
Equations
- Lapis.Protocol.Generated.DidOpenTextDocumentNotificationMethod = "textDocument/didOpen"
Instances For
Method: textDocument/didChange
Equations
- Lapis.Protocol.Generated.DidChangeTextDocumentNotificationMethod = "textDocument/didChange"
Instances For
Method: textDocument/didClose
Equations
- Lapis.Protocol.Generated.DidCloseTextDocumentNotificationMethod = "textDocument/didClose"
Instances For
Method: textDocument/didSave
Equations
- Lapis.Protocol.Generated.DidSaveTextDocumentNotificationMethod = "textDocument/didSave"
Instances For
Method: textDocument/willSave
Equations
- Lapis.Protocol.Generated.WillSaveTextDocumentNotificationMethod = "textDocument/willSave"
Instances For
Method: workspace/didChangeWatchedFiles
Equations
- Lapis.Protocol.Generated.DidChangeWatchedFilesNotificationMethod = "workspace/didChangeWatchedFiles"
Instances For
Method: textDocument/publishDiagnostics
Equations
- Lapis.Protocol.Generated.PublishDiagnosticsNotificationMethod = "textDocument/publishDiagnostics"
Instances For
Method: $/setTrace
Equations
- Lapis.Protocol.Generated.SetTraceNotificationMethod = "$/setTrace"
Instances For
Method: $/logTrace
Equations
- Lapis.Protocol.Generated.LogTraceNotificationMethod = "$/logTrace"
Instances For
Method: $/cancelRequest
Equations
- Lapis.Protocol.Generated.CancelNotificationMethod = "$/cancelRequest"
Instances For
Method: $/progress
Equations
- Lapis.Protocol.Generated.ProgressNotificationMethod = "$/progress"