diff --git a/jsonrpc/_doc-dir/CHANGES.md b/jsonrpc/_doc-dir/CHANGES.md index 1aa10a76..efb704fe 100644 --- a/jsonrpc/_doc-dir/CHANGES.md +++ b/jsonrpc/_doc-dir/CHANGES.md @@ -1,3 +1,123 @@ +# 1.20.1 + +## Fixes + +- Deactivate the `jump` code actions by default. Clients can enable them with + the `merlinJumpCodeActions` configuration option. Alternatively a custom + request is provided for ad hoc use of the feature. (#1411) + +# 1.20.0 + +## Features + +- Add custom + [`ocamllsp/typeSearch`](/ocaml-lsp-server/docs/ocamllsp/typeSearch-spec.md) request (#1369) + +- Make MerlinJump code action configurable (#1376) + +- Add custom [`ocamllsp/jump`](/ocaml-lsp-server/docs/ocamllsp/merlinJump-spec.md) request (#1374) + +## Fixes + +- Fix fd leak in running external processes for preprocessing (#1349) + +- Fix prefix parsing for completion of object methods (#1363, fixes #1358) + +- Remove some duplicates in the `selectionRange` answers (#1368) + +# 1.19.0 + +## Features + +- Add custom [`ocamllsp/getDocumentation`](/ocaml-lsp-server/docs/ocamllsp/getDocumentation-spec.md) request (#1336) + +- Add support for OCaml 5.2 (#1233) + +- Add a code-action for syntactic and semantic movement shortcuts based on Merlin's Jump command (#1364) + +## Fixes + +- Kill unnecessary ocamlformat processes with sigterm rather than sigint or + sigkill (#1343) + +## Features + +- Add custom [`ocamllsp/construct`](https://github.com/ocaml/ocaml-lsp/blob/ocaml-lsp-server/docs/ocamllsp/construct-spec.md) request (#1348) + +# 1.18.0 + +## Features + +- Introduce a configuration option to control dune diagnostics. The option is + called `duneDiganostics` and it may be set to `{ enable: false }` to disable + diagnostics. (#1221) + +- Support folding of `ifthenelse` expressions (#1031) + +- Improve hover behavior (#1245) + + Hovers are no longer displaye on useless parsetree nodes such as keywords, + comments, etc. + + Multiline hovers are now filtered away. + + Display expanded ppx's in the hover window. + +- Improve document symbols (#1247) + + Use the parse tree instead of the typed tree. This means that document + symbols will work even if the source code doesn't type check. + + Include symbols at arbitrary depth. + + Differentiate functions / types / variants / etc. + + This now includes PPXs like `let%expect_test` or `let%bench` in the outline. + +- Introduce a `destruct-line` code action. This is an improved version of the + old `destruct` code action. (#1283) + +- Improve signature inference to only include types for elements that were + absent from the signature. Previously, all signature items would always be + inserted. (#1289) + +- Add an `update-signature` code action to update the types of elements that + were already present in the signature (#1289) + +- Add custom + [`ocamllsp/merlinCallCompatible`](https://github.com/ocaml/ocaml-lsp/blob/e165f6a3962c356adc7364b9ca71788e93489dd0/ocaml-lsp-server/docs/ocamllsp/merlinCallCompatible-spec.md) + request (#1265) + +- Add custom [`ocamllsp/typeEnclosing`](https://github.com/ocaml/ocaml-lsp/blob/109801e56f2060caf4487427bede28b824f4f1fe/ocaml-lsp-server/docs/ocamllsp/typeEnclosing-spec.md) request (#1304) + +## Fixes + +- Detect document kind by looking at merlin's `suffixes` config. + + This enables more lsp features for non-.ml/.mli files. Though it still + depends on merlin's support. (#1237) + +- Correctly accept the `--clientProcessId` flag. (#1242) + +- Disable automatic completion and signature help inside comments (#1246) + +- Includes a new optional/configurable option to toggle syntax documentation. If + toggled on, allows display of syntax documentation on hover tooltips. Can be + controlled via environment variables and by GUI for VS code. (#1218) + +- For completions on labels that the LSP gets from merlin, take into account + whether the prefix being completed starts with `~` or `?`. Change the label + completions that start with `?` to start with `~` when the prefix being + completed starts with `~`. (#1277) + +- Fix document syncing (#1278, #1280, fixes #1207) + +- Stop generating inlay hints on generated code (#1290) + +- Fix parenthesizing of function types in `SignatureHelp` (#1296) + +- Fix syntax documentation rendering (#1318) + # 1.17.0 ## Fixes @@ -26,6 +146,7 @@ - Add mark/remove unused actions for open, types, for loop indexes, modules, match cases, rec, and constructors (#1141) +- Add inlay hints for types on let bindings (#1159) - Offer auto-completion for the keyword `in` (#1217) diff --git a/jsonrpc/_doc-dir/README.md b/jsonrpc/_doc-dir/README.md index 9b469fa3..84359648 100644 --- a/jsonrpc/_doc-dir/README.md +++ b/jsonrpc/_doc-dir/README.md @@ -4,7 +4,7 @@ [![Build][build-badge]][build] [![Coverage Status][coverall-badge]][coverall] -[build-badge]: https://github.com/ocaml/ocaml-lsp/workflows/Build%20and%20Test/badge.svg +[build-badge]: https://github.com/ocaml/ocaml-lsp/actions/workflows/build-and-test.yml/badge.svg [build]: https://github.com/ocaml/ocaml-lsp/actions [coverall-badge]: https://coveralls.io/repos/github/ocaml/ocaml-lsp/badge.svg?branch=master [coverall]: https://coveralls.io/github/ocaml/ocaml-lsp?branch=master @@ -304,6 +304,36 @@ of the value needs to be non-polymorphic to construct a meaningful value. Tip (for VS Code OCaml Platform users): You can construct a value using a keybinding Alt+C or on MacOS Option+C +#### Syntax Documentation + +> since OCaml-LSP 1.18.0 + +OCaml-LSP can display documentation about the node under the cursor when +the user hovers over some OCaml code. For example, hovering over the code +snippet below will display some information about what the syntax +is: + +```ocaml +type point = {x: int; y: int} +``` +Hovering over the above will +display: +``` +ocaml type point = { x : int; y : int } +syntax Record type: +Allows you to define variants with a fixed set of fields, and all of the +constructors for a record variant type must have the same fields. See +Manual +``` +The documentation is gotten from the Merlin engine which receives +the nodes under the cursor and infers what the syntax may be about, and +displays the required information along with links to the manual for further +reading. + +Syntax Documentation is an optional feature and can be activated by +using the LSP config system with the key called `syntaxDocumentation` and can +be enabled via setting it to `{ enable: true }`. + ## Debugging If you use Visual Studio Code, please see OCaml Platform extension @@ -326,7 +356,7 @@ cd ocaml-lsp git submodule update --init --recursive # create local switch (or use global one) -opam switch --yes create . ocaml-base-compiler.4.14.0 +opam switch --yes create . # don't forget to set your environment to use the local switch eval $(opam env) diff --git a/linol-lwt/Linol_lwt/index.html b/linol-lwt/Linol_lwt/index.html index 7bbdf3ed..3b6ff9a3 100644 --- a/linol-lwt/Linol_lwt/index.html +++ b/linol-lwt/Linol_lwt/index.html @@ -5,7 +5,7 @@ and type env = unit and type in_channel = Lwt_io.input Lwt_io.channel and type out_channel = Lwt_io.output Lwt_io.channel
val spawn : (unit -> unit Lwt.t) -> unit

Spawn function.

include module type of struct include Lsp.Types end
module MarkedString = Lsp.Types.MarkedString
module DocumentUri = Lsp.Types.DocumentUri
module ProgressToken = Lsp.Types.ProgressToken
module ProgressParams = Lsp.Types.ProgressParams
module NotebookDocumentSyncOptions = Lsp.Types.NotebookDocumentSyncOptions
module NotebookDocumentSyncRegistrationOptions = - Lsp.Types.NotebookDocumentSyncRegistrationOptions
module NotebookDocumentFilter = Lsp.Types.NotebookDocumentFilter
module TextDocumentFilter = Lsp.Types.TextDocumentFilter
module SymbolTag = Lsp.Types.SymbolTag
module SymbolKind = Lsp.Types.SymbolKind
module ResourceOperationKind = Lsp.Types.ResourceOperationKind
module FailureHandlingKind = Lsp.Types.FailureHandlingKind
module MarkupKind = Lsp.Types.MarkupKind
module TokenFormat = Lsp.Types.TokenFormat
module PrepareSupportDefaultBehavior = Lsp.Types.PrepareSupportDefaultBehavior
module DiagnosticTag = Lsp.Types.DiagnosticTag
module FoldingRangeKind = Lsp.Types.FoldingRangeKind
module InsertTextMode = Lsp.Types.InsertTextMode
module CompletionItemKind = Lsp.Types.CompletionItemKind
module CompletionItemTag = Lsp.Types.CompletionItemTag
module CodeActionKind = Lsp.Types.CodeActionKind
module PositionEncodingKind = Lsp.Types.PositionEncodingKind
module DiagnosticSeverity = Lsp.Types.DiagnosticSeverity
module CodeActionTriggerKind = Lsp.Types.CodeActionTriggerKind
module CompletionTriggerKind = Lsp.Types.CompletionTriggerKind
module InsertTextFormat = Lsp.Types.InsertTextFormat
module NotebookCellKind = Lsp.Types.NotebookCellKind
module FileChangeType = Lsp.Types.FileChangeType
module WatchKind = Lsp.Types.WatchKind
module DocumentHighlightKind = Lsp.Types.DocumentHighlightKind
module FileOperationPatternKind = Lsp.Types.FileOperationPatternKind
module TraceValues = Lsp.Types.TraceValues
module TextDocumentSyncKind = Lsp.Types.TextDocumentSyncKind
module InlayHintKind = Lsp.Types.InlayHintKind
module MessageType = Lsp.Types.MessageType
module UniquenessLevel = Lsp.Types.UniquenessLevel
module MonikerKind = Lsp.Types.MonikerKind
module SemanticTokenModifiers = Lsp.Types.SemanticTokenModifiers
module SemanticTokenTypes = Lsp.Types.SemanticTokenTypes
module SignatureHelpTriggerKind = Lsp.Types.SignatureHelpTriggerKind
module TextDocumentSaveReason = Lsp.Types.TextDocumentSaveReason
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
module ChangeAnnotationIdentifier = Lsp.Types.ChangeAnnotationIdentifier
module AnnotatedTextEdit = Lsp.Types.AnnotatedTextEdit
module DeleteFileOptions = Lsp.Types.DeleteFileOptions
module DeleteFile = Lsp.Types.DeleteFile
module RenameFileOptions = Lsp.Types.RenameFileOptions
module RenameFile = Lsp.Types.RenameFile
module CreateFileOptions = Lsp.Types.CreateFileOptions
module CreateFile = Lsp.Types.CreateFile
module OptionalVersionedTextDocumentIdentifier = + Lsp.Types.NotebookDocumentSyncRegistrationOptions
module NotebookDocumentFilter = Lsp.Types.NotebookDocumentFilter
module TextDocumentFilter = Lsp.Types.TextDocumentFilter
module SymbolTag = Lsp.Types.SymbolTag
module SymbolKind = Lsp.Types.SymbolKind
module ResourceOperationKind = Lsp.Types.ResourceOperationKind
module FailureHandlingKind = Lsp.Types.FailureHandlingKind
module MarkupKind = Lsp.Types.MarkupKind
module TokenFormat = Lsp.Types.TokenFormat
module PrepareSupportDefaultBehavior = Lsp.Types.PrepareSupportDefaultBehavior
module DiagnosticTag = Lsp.Types.DiagnosticTag
module FoldingRangeKind = Lsp.Types.FoldingRangeKind
module InsertTextMode = Lsp.Types.InsertTextMode
module CompletionItemKind = Lsp.Types.CompletionItemKind
module CompletionItemTag = Lsp.Types.CompletionItemTag
module CodeActionKind = Lsp.Types.CodeActionKind
module PositionEncodingKind = Lsp.Types.PositionEncodingKind
module DiagnosticSeverity = Lsp.Types.DiagnosticSeverity
module CodeActionTriggerKind = Lsp.Types.CodeActionTriggerKind
module CompletionTriggerKind = Lsp.Types.CompletionTriggerKind
module InsertTextFormat = Lsp.Types.InsertTextFormat
module NotebookCellKind = Lsp.Types.NotebookCellKind
module FileChangeType = Lsp.Types.FileChangeType
module WatchKind = Lsp.Types.WatchKind
module DocumentDiagnosticReportKind = Lsp.Types.DocumentDiagnosticReportKind
module DocumentHighlightKind = Lsp.Types.DocumentHighlightKind
module FileOperationPatternKind = Lsp.Types.FileOperationPatternKind
module TraceValues = Lsp.Types.TraceValues
module TextDocumentSyncKind = Lsp.Types.TextDocumentSyncKind
module InlayHintKind = Lsp.Types.InlayHintKind
module InlineCompletionTriggerKind = Lsp.Types.InlineCompletionTriggerKind
module MessageType = Lsp.Types.MessageType
module UniquenessLevel = Lsp.Types.UniquenessLevel
module MonikerKind = Lsp.Types.MonikerKind
module SemanticTokenModifiers = Lsp.Types.SemanticTokenModifiers
module SemanticTokenTypes = Lsp.Types.SemanticTokenTypes
module SignatureHelpTriggerKind = Lsp.Types.SignatureHelpTriggerKind
module TextDocumentSaveReason = Lsp.Types.TextDocumentSaveReason
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
module ChangeAnnotationIdentifier = Lsp.Types.ChangeAnnotationIdentifier
module AnnotatedTextEdit = Lsp.Types.AnnotatedTextEdit
module DeleteFileOptions = Lsp.Types.DeleteFileOptions
module DeleteFile = Lsp.Types.DeleteFile
module RenameFileOptions = Lsp.Types.RenameFileOptions
module RenameFile = Lsp.Types.RenameFile
module CreateFileOptions = Lsp.Types.CreateFileOptions
module CreateFile = Lsp.Types.CreateFile
module OptionalVersionedTextDocumentIdentifier = Lsp.Types.OptionalVersionedTextDocumentIdentifier
module TextEdit = Lsp.Types.TextEdit
module TextDocumentEdit = Lsp.Types.TextDocumentEdit
module ChangeAnnotation = Lsp.Types.ChangeAnnotation
module WorkspaceEdit = Lsp.Types.WorkspaceEdit
module ApplyWorkspaceEditParams = Lsp.Types.ApplyWorkspaceEditParams
module ApplyWorkspaceEditResult = Lsp.Types.ApplyWorkspaceEditResult
module BaseSymbolInformation = Lsp.Types.BaseSymbolInformation
module CallHierarchyClientCapabilities = Lsp.Types.CallHierarchyClientCapabilities
module CallHierarchyItem = Lsp.Types.CallHierarchyItem
module CallHierarchyIncomingCall = Lsp.Types.CallHierarchyIncomingCall
module CallHierarchyIncomingCallsParams = Lsp.Types.CallHierarchyIncomingCallsParams
module CallHierarchyOptions = Lsp.Types.CallHierarchyOptions
module CallHierarchyOutgoingCall = Lsp.Types.CallHierarchyOutgoingCall
module CallHierarchyOutgoingCallsParams = @@ -16,7 +16,8 @@ Lsp.Types.WorkspaceSymbolClientCapabilities
module SemanticTokensWorkspaceClientCapabilities = Lsp.Types.SemanticTokensWorkspaceClientCapabilities
module InlineValueWorkspaceClientCapabilities = Lsp.Types.InlineValueWorkspaceClientCapabilities
module InlayHintWorkspaceClientCapabilities = - Lsp.Types.InlayHintWorkspaceClientCapabilities
module FileOperationClientCapabilities = + Lsp.Types.InlayHintWorkspaceClientCapabilities
module FoldingRangeWorkspaceClientCapabilities = + Lsp.Types.FoldingRangeWorkspaceClientCapabilities
module FileOperationClientCapabilities = Lsp.Types.FileOperationClientCapabilities
module ExecuteCommandClientCapabilities = Lsp.Types.ExecuteCommandClientCapabilities
module DidChangeWatchedFilesClientCapabilities = Lsp.Types.DidChangeWatchedFilesClientCapabilities
module DidChangeConfigurationClientCapabilities = @@ -34,7 +35,8 @@ Lsp.Types.DocumentRangeFormattingClientCapabilities
module PublishDiagnosticsClientCapabilities = Lsp.Types.PublishDiagnosticsClientCapabilities
module DocumentOnTypeFormattingClientCapabilities = Lsp.Types.DocumentOnTypeFormattingClientCapabilities
module MonikerClientCapabilities = Lsp.Types.MonikerClientCapabilities
module LinkedEditingRangeClientCapabilities = - Lsp.Types.LinkedEditingRangeClientCapabilities
module InlineValueClientCapabilities = Lsp.Types.InlineValueClientCapabilities
module InlayHintClientCapabilities = Lsp.Types.InlayHintClientCapabilities
module ImplementationClientCapabilities = + Lsp.Types.LinkedEditingRangeClientCapabilities
module InlineValueClientCapabilities = Lsp.Types.InlineValueClientCapabilities
module InlineCompletionClientCapabilities = + Lsp.Types.InlineCompletionClientCapabilities
module InlayHintClientCapabilities = Lsp.Types.InlayHintClientCapabilities
module ImplementationClientCapabilities = Lsp.Types.ImplementationClientCapabilities
module HoverClientCapabilities = Lsp.Types.HoverClientCapabilities
module DocumentFormattingClientCapabilities = Lsp.Types.DocumentFormattingClientCapabilities
module FoldingRangeClientCapabilities = Lsp.Types.FoldingRangeClientCapabilities
module DocumentSymbolClientCapabilities = @@ -45,7 +47,7 @@ Lsp.Types.TextDocumentClientCapabilities
module NotebookDocumentSyncClientCapabilities = Lsp.Types.NotebookDocumentSyncClientCapabilities
module NotebookDocumentClientCapabilities = Lsp.Types.NotebookDocumentClientCapabilities
module RegularExpressionsClientCapabilities = - Lsp.Types.RegularExpressionsClientCapabilities
module MarkdownClientCapabilities = Lsp.Types.MarkdownClientCapabilities
module GeneralClientCapabilities = Lsp.Types.GeneralClientCapabilities
module ClientCapabilities = Lsp.Types.ClientCapabilities
module Location = Lsp.Types.Location
module DiagnosticRelatedInformation = Lsp.Types.DiagnosticRelatedInformation
module CodeDescription = Lsp.Types.CodeDescription
module Diagnostic = Lsp.Types.Diagnostic
module Command = Lsp.Types.Command
module CodeAction = Lsp.Types.CodeAction
module CodeActionContext = Lsp.Types.CodeActionContext
module CodeActionOptions = Lsp.Types.CodeActionOptions
module CodeActionParams = Lsp.Types.CodeActionParams
module CodeActionRegistrationOptions = Lsp.Types.CodeActionRegistrationOptions
module CodeLens = Lsp.Types.CodeLens
module CodeLensOptions = Lsp.Types.CodeLensOptions
module CodeLensParams = Lsp.Types.CodeLensParams
module CodeLensRegistrationOptions = Lsp.Types.CodeLensRegistrationOptions
module Color = Lsp.Types.Color
module ColorInformation = Lsp.Types.ColorInformation
module ColorPresentation = Lsp.Types.ColorPresentation
module ColorPresentationParams = Lsp.Types.ColorPresentationParams
module CompletionContext = Lsp.Types.CompletionContext
module InsertReplaceEdit = Lsp.Types.InsertReplaceEdit
module CompletionItemLabelDetails = Lsp.Types.CompletionItemLabelDetails
module MarkupContent = Lsp.Types.MarkupContent
module CompletionItem = Lsp.Types.CompletionItem
module CompletionList = Lsp.Types.CompletionList
module CompletionOptions = Lsp.Types.CompletionOptions
module CompletionParams = Lsp.Types.CompletionParams
module CompletionRegistrationOptions = Lsp.Types.CompletionRegistrationOptions
module ConfigurationItem = Lsp.Types.ConfigurationItem
module ConfigurationParams = Lsp.Types.ConfigurationParams
module FileCreate = Lsp.Types.FileCreate
module CreateFilesParams = Lsp.Types.CreateFilesParams
module Declaration = Lsp.Types.Declaration
module DeclarationOptions = Lsp.Types.DeclarationOptions
module DeclarationParams = Lsp.Types.DeclarationParams
module DeclarationRegistrationOptions = + Lsp.Types.RegularExpressionsClientCapabilities
module MarkdownClientCapabilities = Lsp.Types.MarkdownClientCapabilities
module GeneralClientCapabilities = Lsp.Types.GeneralClientCapabilities
module ClientCapabilities = Lsp.Types.ClientCapabilities
module Location = Lsp.Types.Location
module DiagnosticRelatedInformation = Lsp.Types.DiagnosticRelatedInformation
module MarkupContent = Lsp.Types.MarkupContent
module CodeDescription = Lsp.Types.CodeDescription
module Diagnostic = Lsp.Types.Diagnostic
module Command = Lsp.Types.Command
module CodeAction = Lsp.Types.CodeAction
module CodeActionContext = Lsp.Types.CodeActionContext
module CodeActionOptions = Lsp.Types.CodeActionOptions
module CodeActionParams = Lsp.Types.CodeActionParams
module CodeActionRegistrationOptions = Lsp.Types.CodeActionRegistrationOptions
module CodeLens = Lsp.Types.CodeLens
module CodeLensOptions = Lsp.Types.CodeLensOptions
module CodeLensParams = Lsp.Types.CodeLensParams
module CodeLensRegistrationOptions = Lsp.Types.CodeLensRegistrationOptions
module Color = Lsp.Types.Color
module ColorInformation = Lsp.Types.ColorInformation
module ColorPresentation = Lsp.Types.ColorPresentation
module ColorPresentationParams = Lsp.Types.ColorPresentationParams
module CompletionContext = Lsp.Types.CompletionContext
module InsertReplaceEdit = Lsp.Types.InsertReplaceEdit
module CompletionItemLabelDetails = Lsp.Types.CompletionItemLabelDetails
module CompletionItem = Lsp.Types.CompletionItem
module CompletionList = Lsp.Types.CompletionList
module CompletionOptions = Lsp.Types.CompletionOptions
module CompletionParams = Lsp.Types.CompletionParams
module CompletionRegistrationOptions = Lsp.Types.CompletionRegistrationOptions
module ConfigurationItem = Lsp.Types.ConfigurationItem
module ConfigurationParams = Lsp.Types.ConfigurationParams
module FileCreate = Lsp.Types.FileCreate
module CreateFilesParams = Lsp.Types.CreateFilesParams
module Declaration = Lsp.Types.Declaration
module DeclarationOptions = Lsp.Types.DeclarationOptions
module DeclarationParams = Lsp.Types.DeclarationParams
module DeclarationRegistrationOptions = Lsp.Types.DeclarationRegistrationOptions
module Definition = Lsp.Types.Definition
module DefinitionOptions = Lsp.Types.DefinitionOptions
module DefinitionParams = Lsp.Types.DefinitionParams
module DefinitionRegistrationOptions = Lsp.Types.DefinitionRegistrationOptions
module FileDelete = Lsp.Types.FileDelete
module DeleteFilesParams = Lsp.Types.DeleteFilesParams
module DiagnosticOptions = Lsp.Types.DiagnosticOptions
module DiagnosticRegistrationOptions = Lsp.Types.DiagnosticRegistrationOptions
module DiagnosticServerCancellationData = Lsp.Types.DiagnosticServerCancellationData
module DidChangeConfigurationParams = Lsp.Types.DidChangeConfigurationParams
module DidChangeConfigurationRegistrationOptions = Lsp.Types.DidChangeConfigurationRegistrationOptions
module VersionedNotebookDocumentIdentifier = @@ -68,7 +70,8 @@ Lsp.Types.DocumentOnTypeFormattingParams
module DocumentOnTypeFormattingRegistrationOptions = Lsp.Types.DocumentOnTypeFormattingRegistrationOptions
module DocumentRangeFormattingOptions = Lsp.Types.DocumentRangeFormattingOptions
module DocumentRangeFormattingParams = Lsp.Types.DocumentRangeFormattingParams
module DocumentRangeFormattingRegistrationOptions = - Lsp.Types.DocumentRangeFormattingRegistrationOptions
module DocumentSymbol = Lsp.Types.DocumentSymbol
module DocumentSymbolOptions = Lsp.Types.DocumentSymbolOptions
module DocumentSymbolParams = Lsp.Types.DocumentSymbolParams
module DocumentSymbolRegistrationOptions = + Lsp.Types.DocumentRangeFormattingRegistrationOptions
module DocumentRangesFormattingParams = + Lsp.Types.DocumentRangesFormattingParams
module DocumentSymbol = Lsp.Types.DocumentSymbol
module DocumentSymbolOptions = Lsp.Types.DocumentSymbolOptions
module DocumentSymbolParams = Lsp.Types.DocumentSymbolParams
module DocumentSymbolRegistrationOptions = Lsp.Types.DocumentSymbolRegistrationOptions
module ExecuteCommandOptions = Lsp.Types.ExecuteCommandOptions
module ExecuteCommandParams = Lsp.Types.ExecuteCommandParams
module ExecuteCommandRegistrationOptions = Lsp.Types.ExecuteCommandRegistrationOptions
module FileOperationPatternOptions = Lsp.Types.FileOperationPatternOptions
module FileOperationPattern = Lsp.Types.FileOperationPattern
module FileOperationFilter = Lsp.Types.FileOperationFilter
module FileOperationRegistrationOptions = Lsp.Types.FileOperationRegistrationOptions
module FileOperationOptions = Lsp.Types.FileOperationOptions
module FileRename = Lsp.Types.FileRename
module FoldingRange = Lsp.Types.FoldingRange
module FoldingRangeOptions = Lsp.Types.FoldingRangeOptions
module FoldingRangeParams = Lsp.Types.FoldingRangeParams
module FoldingRangeRegistrationOptions = @@ -80,10 +83,11 @@ Lsp.Types.SemanticTokensRegistrationOptions
module SemanticTokensOptions = Lsp.Types.SemanticTokensOptions
module SelectionRangeRegistrationOptions = Lsp.Types.SelectionRangeRegistrationOptions
module SelectionRangeOptions = Lsp.Types.SelectionRangeOptions
module RenameOptions = Lsp.Types.RenameOptions
module ReferenceOptions = Lsp.Types.ReferenceOptions
module MonikerRegistrationOptions = Lsp.Types.MonikerRegistrationOptions
module MonikerOptions = Lsp.Types.MonikerOptions
module LinkedEditingRangeRegistrationOptions = Lsp.Types.LinkedEditingRangeRegistrationOptions
module LinkedEditingRangeOptions = Lsp.Types.LinkedEditingRangeOptions
module InlineValueRegistrationOptions = - Lsp.Types.InlineValueRegistrationOptions
module InlineValueOptions = Lsp.Types.InlineValueOptions
module InlayHintRegistrationOptions = Lsp.Types.InlayHintRegistrationOptions
module InlayHintOptions = Lsp.Types.InlayHintOptions
module ServerCapabilities = Lsp.Types.ServerCapabilities
module InitializeResult = Lsp.Types.InitializeResult
module InitializedParams_ = Lsp.Types.InitializedParams_
module InlayHintLabelPart = Lsp.Types.InlayHintLabelPart
module InlayHint = Lsp.Types.InlayHint
module InlayHintParams = Lsp.Types.InlayHintParams
module InlineValueEvaluatableExpression = + Lsp.Types.InlineValueRegistrationOptions
module InlineValueOptions = Lsp.Types.InlineValueOptions
module InlineCompletionOptions = Lsp.Types.InlineCompletionOptions
module InlayHintRegistrationOptions = Lsp.Types.InlayHintRegistrationOptions
module InlayHintOptions = Lsp.Types.InlayHintOptions
module ServerCapabilities = Lsp.Types.ServerCapabilities
module InitializeResult = Lsp.Types.InitializeResult
module InitializedParams_ = Lsp.Types.InitializedParams_
module InlayHintLabelPart = Lsp.Types.InlayHintLabelPart
module InlayHint = Lsp.Types.InlayHint
module InlayHintParams = Lsp.Types.InlayHintParams
module SelectedCompletionInfo = Lsp.Types.SelectedCompletionInfo
module InlineCompletionContext = Lsp.Types.InlineCompletionContext
module StringValue = Lsp.Types.StringValue
module InlineCompletionItem = Lsp.Types.InlineCompletionItem
module InlineCompletionList = Lsp.Types.InlineCompletionList
module InlineCompletionParams = Lsp.Types.InlineCompletionParams
module InlineCompletionRegistrationOptions = + Lsp.Types.InlineCompletionRegistrationOptions
module InlineValueEvaluatableExpression = Lsp.Types.InlineValueEvaluatableExpression
module InlineValueVariableLookup = Lsp.Types.InlineValueVariableLookup
module InlineValueText = Lsp.Types.InlineValueText
module InlineValue = Lsp.Types.InlineValue
module InlineValueContext = Lsp.Types.InlineValueContext
module InlineValueParams = Lsp.Types.InlineValueParams
module LinkedEditingRangeParams = Lsp.Types.LinkedEditingRangeParams
module LinkedEditingRanges = Lsp.Types.LinkedEditingRanges
module LogMessageParams = Lsp.Types.LogMessageParams
module LogTraceParams = Lsp.Types.LogTraceParams
module MessageActionItem = Lsp.Types.MessageActionItem
module Moniker = Lsp.Types.Moniker
module MonikerParams = Lsp.Types.MonikerParams
module ParameterInformation = Lsp.Types.ParameterInformation
module PartialResultParams = Lsp.Types.PartialResultParams
module PrepareRenameParams = Lsp.Types.PrepareRenameParams
module PreviousResultId = Lsp.Types.PreviousResultId
module PublishDiagnosticsParams = Lsp.Types.PublishDiagnosticsParams
module ReferenceContext = Lsp.Types.ReferenceContext
module ReferenceParams = Lsp.Types.ReferenceParams
module ReferenceRegistrationOptions = Lsp.Types.ReferenceRegistrationOptions
module Registration = Lsp.Types.Registration
module RegistrationParams = Lsp.Types.RegistrationParams
module RenameFilesParams = Lsp.Types.RenameFilesParams
module RenameParams = Lsp.Types.RenameParams
module RenameRegistrationOptions = Lsp.Types.RenameRegistrationOptions
module ResourceOperation = Lsp.Types.ResourceOperation
module SelectionRange = Lsp.Types.SelectionRange
module SelectionRangeParams = Lsp.Types.SelectionRangeParams
module SemanticTokens = Lsp.Types.SemanticTokens
module SemanticTokensEdit = Lsp.Types.SemanticTokensEdit
module SemanticTokensDelta = Lsp.Types.SemanticTokensDelta
module SemanticTokensDeltaParams = Lsp.Types.SemanticTokensDeltaParams
module SemanticTokensDeltaPartialResult = Lsp.Types.SemanticTokensDeltaPartialResult
module SemanticTokensParams = Lsp.Types.SemanticTokensParams
module SemanticTokensPartialResult = Lsp.Types.SemanticTokensPartialResult
module SemanticTokensRangeParams = Lsp.Types.SemanticTokensRangeParams
module SetTraceParams = Lsp.Types.SetTraceParams
module ShowDocumentParams = Lsp.Types.ShowDocumentParams
module ShowDocumentResult = Lsp.Types.ShowDocumentResult
module ShowMessageParams = Lsp.Types.ShowMessageParams
module ShowMessageRequestParams = Lsp.Types.ShowMessageRequestParams
module SignatureInformation = Lsp.Types.SignatureInformation
module SignatureHelp = Lsp.Types.SignatureHelp
module SignatureHelpContext = Lsp.Types.SignatureHelpContext
module SignatureHelpParams = Lsp.Types.SignatureHelpParams
module SignatureHelpRegistrationOptions = - Lsp.Types.SignatureHelpRegistrationOptions
module StaticRegistrationOptions = Lsp.Types.StaticRegistrationOptions
module SymbolInformation = Lsp.Types.SymbolInformation
module T = Lsp.Types.T
module TextDocumentChangeRegistrationOptions = + Lsp.Types.SignatureHelpRegistrationOptions
module StaticRegistrationOptions = Lsp.Types.StaticRegistrationOptions
module SymbolInformation = Lsp.Types.SymbolInformation
module TextDocumentChangeRegistrationOptions = Lsp.Types.TextDocumentChangeRegistrationOptions
module TextDocumentPositionParams = Lsp.Types.TextDocumentPositionParams
module TextDocumentRegistrationOptions = Lsp.Types.TextDocumentRegistrationOptions
module TextDocumentSaveRegistrationOptions = Lsp.Types.TextDocumentSaveRegistrationOptions
module TypeDefinitionParams = Lsp.Types.TypeDefinitionParams
module TypeHierarchyItem = Lsp.Types.TypeHierarchyItem
module TypeHierarchyPrepareParams = Lsp.Types.TypeHierarchyPrepareParams
module TypeHierarchySubtypesParams = Lsp.Types.TypeHierarchySubtypesParams
module TypeHierarchySupertypesParams = Lsp.Types.TypeHierarchySupertypesParams
module Unregistration = Lsp.Types.Unregistration
module UnregistrationParams = Lsp.Types.UnregistrationParams
module WillSaveTextDocumentParams = Lsp.Types.WillSaveTextDocumentParams
module WorkDoneProgressBegin = Lsp.Types.WorkDoneProgressBegin
module WorkDoneProgressCancelParams = Lsp.Types.WorkDoneProgressCancelParams
module WorkDoneProgressCreateParams = Lsp.Types.WorkDoneProgressCreateParams
module WorkDoneProgressEnd = Lsp.Types.WorkDoneProgressEnd
module WorkDoneProgressOptions = Lsp.Types.WorkDoneProgressOptions
module WorkDoneProgressParams = Lsp.Types.WorkDoneProgressParams
module WorkDoneProgressReport = Lsp.Types.WorkDoneProgressReport
module WorkspaceDiagnosticParams = Lsp.Types.WorkspaceDiagnosticParams
module WorkspaceUnchangedDocumentDiagnosticReport = diff --git a/lsp/Lsp/Client_notification/index.html b/lsp/Lsp/Client_notification/index.html index 82b4eb2b..1dfe195f 100644 --- a/lsp/Lsp/Client_notification/index.html +++ b/lsp/Lsp/Client_notification/index.html @@ -1,2 +1,2 @@ -Client_notification (lsp.Lsp.Client_notification)

Module Lsp.Client_notification

type t =
  1. | TextDocumentDidOpen of Types.DidOpenTextDocumentParams.t
  2. | TextDocumentDidClose of Types.DidCloseTextDocumentParams.t
  3. | TextDocumentDidChange of Types.DidChangeTextDocumentParams.t
  4. | DidSaveTextDocument of Types.DidSaveTextDocumentParams.t
  5. | WillSaveTextDocument of Types.WillSaveTextDocumentParams.t
  6. | DidChangeWatchedFiles of Types.DidChangeWatchedFilesParams.t
  7. | DidCreateFiles of Types.CreateFilesParams.t
  8. | DidDeleteFiles of Types.DeleteFilesParams.t
  9. | DidRenameFiles of Types.RenameFilesParams.t
  10. | ChangeWorkspaceFolders of Types.DidChangeWorkspaceFoldersParams.t
  11. | ChangeConfiguration of Types.DidChangeConfigurationParams.t
  12. | Initialized
  13. | Exit
  14. | CancelRequest of Jsonrpc.Id.t
  15. | WorkDoneProgressCancel of Types.WorkDoneProgressCancelParams.t
  16. | SetTrace of Types.SetTraceParams.t
  17. | WorkDoneProgress of Progress.t Types.ProgressParams.t
  18. | UnknownNotification of Jsonrpc.Notification.t
val of_jsonrpc : Jsonrpc.Notification.t -> (t, string) result
val to_jsonrpc : t -> Jsonrpc.Notification.t
+Client_notification (lsp.Lsp.Client_notification)

Module Lsp.Client_notification

type t =
  1. | TextDocumentDidOpen of Types.DidOpenTextDocumentParams.t
  2. | TextDocumentDidClose of Types.DidCloseTextDocumentParams.t
  3. | TextDocumentDidChange of Types.DidChangeTextDocumentParams.t
  4. | DidSaveTextDocument of Types.DidSaveTextDocumentParams.t
  5. | WillSaveTextDocument of Types.WillSaveTextDocumentParams.t
  6. | DidChangeWatchedFiles of Types.DidChangeWatchedFilesParams.t
  7. | DidCreateFiles of Types.CreateFilesParams.t
  8. | DidDeleteFiles of Types.DeleteFilesParams.t
  9. | DidRenameFiles of Types.RenameFilesParams.t
  10. | ChangeWorkspaceFolders of Types.DidChangeWorkspaceFoldersParams.t
  11. | ChangeConfiguration of Types.DidChangeConfigurationParams.t
  12. | Initialized
  13. | Exit
  14. | CancelRequest of Jsonrpc.Id.t
  15. | WorkDoneProgressCancel of Types.WorkDoneProgressCancelParams.t
  16. | SetTrace of Types.SetTraceParams.t
  17. | WorkDoneProgress of Progress.t Types.ProgressParams.t
  18. | NotebookDocumentDidOpen of Types.DidOpenNotebookDocumentParams.t
  19. | NotebookDocumentDidChange of Types.DidChangeNotebookDocumentParams.t
  20. | NotebookDocumentDidSave of Types.DidSaveNotebookDocumentParams.t
  21. | NotebookDocumentDidClose of Types.DidCloseNotebookDocumentParams.t
  22. | UnknownNotification of Jsonrpc.Notification.t
val of_jsonrpc : Jsonrpc.Notification.t -> (t, string) result
val to_jsonrpc : t -> Jsonrpc.Notification.t
diff --git a/lsp/Lsp/Client_request/index.html b/lsp/Lsp/Client_request/index.html index bfabc23c..58d35b7f 100644 --- a/lsp/Lsp/Client_request/index.html +++ b/lsp/Lsp/Client_request/index.html @@ -11,10 +11,23 @@ Types.CompletionItem.t list ] option - t
  • | TextDocumentCodeLens : Types.CodeLensParams.t -> Types.CodeLens.t list t
  • | InlayHint : Types.InlayHintParams.t -> Types.InlayHint.t list option t
  • | TextDocumentCodeLensResolve : Types.CodeLens.t -> Types.CodeLens.t t
  • | TextDocumentPrepareCallHierarchy : Types.CallHierarchyPrepareParams.t -> + t
  • | TextDocumentCodeLens : Types.CodeLensParams.t -> Types.CodeLens.t list t
  • | InlayHint : Types.InlayHintParams.t -> Types.InlayHint.t list option t
  • | InlayHintResolve : Types.InlayHint.t -> Types.InlayHint.t t
  • | TextDocumentDiagnostic : Types.DocumentDiagnosticParams.t -> Types.DocumentDiagnosticReport.t + t
  • | TextDocumentInlineCompletion : Types.InlineCompletionParams.t -> [ `InlineCompletion of + Types.InlineCompletionList.t + | `InlineCompletionItem of + Types.InlineCompletionItem.t + list ] + option + t
  • | TextDocumentInlineValue : Types.InlineValueParams.t -> Types.InlineValue.t list + option + t
  • | TextDocumentCodeLensResolve : Types.CodeLens.t -> Types.CodeLens.t t
  • | TextDocumentPrepareCallHierarchy : Types.CallHierarchyPrepareParams.t -> Types.CallHierarchyItem.t list option + t
  • | TextDocumentPrepareTypeHierarchy : Types.TypeHierarchyPrepareParams.t -> + Types.TypeHierarchyItem.t list option t
  • | TextDocumentPrepareRename : Types.PrepareRenameParams.t -> Types.Range.t option t
  • | TextDocumentRangeFormatting : Types.DocumentRangeFormattingParams.t -> + Types.TextEdit.t list option + t
  • | TextDocumentRangesFormatting : Types.DocumentRangesFormattingParams.t -> Types.TextEdit.t list option t
  • | TextDocumentRename : Types.RenameParams.t -> Types.WorkspaceEdit.t t
  • | WorkspaceSymbol : Types.WorkspaceSymbolParams.t -> Types.SymbolInformation.t list option - t
  • | DebugEcho : Extension.DebugEcho.Params.t -> Extension.DebugEcho.Result.t t
  • | DebugTextDocumentGet : Extension.DebugTextDocumentGet.Params.t -> Extension.DebugTextDocumentGet.Result.t + t
  • | WorkspaceSymbolResolve : Types.WorkspaceSymbol.t -> Types.WorkspaceSymbol.t t
  • | DebugEcho : Extension.DebugEcho.Params.t -> Extension.DebugEcho.Result.t t
  • | DebugTextDocumentGet : Extension.DebugTextDocumentGet.Params.t -> Extension.DebugTextDocumentGet.Result.t t
  • | TextDocumentReferences : Types.ReferenceParams.t -> Types.Location.t list option t
  • | TextDocumentHighlight : Types.DocumentHighlightParams.t -> Types.DocumentHighlight.t @@ -63,7 +76,14 @@ Types.CallHierarchyIncomingCall.t list option t
  • | CallHierarchyOutgoingCalls : Types.CallHierarchyOutgoingCallsParams.t -> Types.CallHierarchyOutgoingCall.t list option - t
  • | WillCreateFiles : Types.CreateFilesParams.t -> Types.WorkspaceEdit.t option t
  • | WillDeleteFiles : Types.DeleteFilesParams.t -> Types.WorkspaceEdit.t option t
  • | WillRenameFiles : Types.RenameFilesParams.t -> Types.WorkspaceEdit.t option t
  • | UnknownRequest : {
    1. meth : string;
    2. params : Jsonrpc.Structured.t option;
    } -> Import.Json.t t
    • val yojson_of_result : 'a t -> 'a -> Import.Json.t
    type packed =
    1. | E : 'r t -> packed
    val of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.t
    val to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.t
    val response_of_json : 'a t -> Import.Json.t -> 'a
    val text_document : + t
  • | WillCreateFiles : Types.CreateFilesParams.t -> Types.WorkspaceEdit.t option t
  • | WillDeleteFiles : Types.DeleteFilesParams.t -> Types.WorkspaceEdit.t option t
  • | WillRenameFiles : Types.RenameFilesParams.t -> Types.WorkspaceEdit.t option t
  • | WorkspaceDiagnostic : Types.WorkspaceDiagnosticParams.t -> Types.WorkspaceDiagnosticReport.t + t
  • | TypeHierarchySubtypes : Types.TypeHierarchySubtypesParams.t -> Types.TypeHierarchyItem.t + list + option + t
  • | TypeHierarchySupertypes : Types.TypeHierarchySupertypesParams.t -> Types.TypeHierarchyItem.t + list + option + t
  • | UnknownRequest : {
    1. meth : string;
    2. params : Jsonrpc.Structured.t option;
    } -> Import.Json.t t
    • val yojson_of_result : 'a t -> 'a -> Import.Json.t
    type packed =
    1. | E : 'r t -> packed
    val of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.t
    val to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.t
    val response_of_json : 'a t -> Import.Json.t -> 'a
    val text_document : _ t -> (meth:string -> params:Jsonrpc.Structured.t option -> diff --git a/lsp/Lsp/Server_request/index.html b/lsp/Lsp/Server_request/index.html index e2b51d10..c6647854 100644 --- a/lsp/Lsp/Server_request/index.html +++ b/lsp/Lsp/Server_request/index.html @@ -3,4 +3,4 @@ t
  • | WorkspaceFolders : Types.WorkspaceFolder.t list t
  • | WorkspaceConfiguration : Types.ConfigurationParams.t -> Import.Json.t list t
  • | ClientRegisterCapability : Types.RegistrationParams.t -> unit t
  • | ClientUnregisterCapability : Types.UnregistrationParams.t -> unit t
  • | ShowMessageRequest : Types.ShowMessageRequestParams.t -> Types.MessageActionItem.t option t
  • | ShowDocumentRequest : Types.ShowDocumentParams.t -> Types.ShowDocumentResult.t - t
  • | WorkDoneProgressCreate : Types.WorkDoneProgressCreateParams.t -> unit t
  • | CodeLensRefresh : unit t
  • | SemanticTokensRefresh : unit t
  • | WorkspaceDiagnosticRefresh : unit t
  • | UnknownRequest : string * Jsonrpc.Structured.t option -> Import.Json.t t
    • type packed =
    1. | E : 'r t -> packed
    val yojson_of_result : 'a t -> 'a -> Import.Json.t
    val to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.t
    val of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.t
    val response_of_json : 'a t -> Import.Json.t -> 'a
    + t
  • | WorkDoneProgressCreate : Types.WorkDoneProgressCreateParams.t -> unit t
  • | CodeLensRefresh : unit t
  • | SemanticTokensRefresh : unit t
  • | WorkspaceDiagnosticRefresh : unit t
  • | WorkspaceFoldingRangeRefresh : unit t
  • | WorkspaceInlayHintRefresh : unit t
  • | WorkspaceInlineValueRefresh : unit t
  • | UnknownRequest : string * Jsonrpc.Structured.t option -> Import.Json.t t
    • type packed =
    1. | E : 'r t -> packed
    val yojson_of_result : 'a t -> 'a -> Import.Json.t
    val to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.t
    val of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.t
    val response_of_json : 'a t -> Import.Json.t -> 'a
    diff --git a/lsp/Lsp/Types/ConfigurationItem/index.html b/lsp/Lsp/Types/ConfigurationItem/index.html index c6609aee..7d5df781 100644 --- a/lsp/Lsp/Types/ConfigurationItem/index.html +++ b/lsp/Lsp/Types/ConfigurationItem/index.html @@ -1,2 +1,2 @@ -ConfigurationItem (lsp.Lsp.Types.ConfigurationItem)

    Module Types.ConfigurationItem

    type t = {
    1. scopeUri : string option;
    2. section : string option;
    }
    val create : ?scopeUri:string -> ?section:string -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    +ConfigurationItem (lsp.Lsp.Types.ConfigurationItem)

    Module Types.ConfigurationItem

    type t = {
    1. scopeUri : DocumentUri.t option;
    2. section : string option;
    }
    val create : ?scopeUri:DocumentUri.t -> ?section:string -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/Diagnostic/index.html b/lsp/Lsp/Types/Diagnostic/index.html index 3ae1b864..86ec5e88 100644 --- a/lsp/Lsp/Types/Diagnostic/index.html +++ b/lsp/Lsp/Types/Diagnostic/index.html @@ -1,9 +1,9 @@ -Diagnostic (lsp.Lsp.Types.Diagnostic)

    Module Types.Diagnostic

    type t = {
    1. code : Jsonrpc.Id.t option;
    2. codeDescription : CodeDescription.t option;
    3. data : Import.Json.t option;
    4. message : string;
    5. range : Range.t;
    6. relatedInformation : DiagnosticRelatedInformation.t list option;
    7. severity : DiagnosticSeverity.t option;
    8. source : string option;
    9. tags : DiagnosticTag.t list option;
    }
    val create : +Diagnostic (lsp.Lsp.Types.Diagnostic)

    Module Types.Diagnostic

    type t = {
    1. code : Jsonrpc.Id.t option;
    2. codeDescription : CodeDescription.t option;
    3. data : Import.Json.t option;
    4. message : [ `String of string | `MarkupContent of MarkupContent.t ];
    5. range : Range.t;
    6. relatedInformation : DiagnosticRelatedInformation.t list option;
    7. severity : DiagnosticSeverity.t option;
    8. source : string option;
    9. tags : DiagnosticTag.t list option;
    }
    val create : ?code:Jsonrpc.Id.t -> ?codeDescription:CodeDescription.t -> ?data:Import.Json.t -> - message:string -> + message:[ `String of string | `MarkupContent of MarkupContent.t ] -> range:Range.t -> ?relatedInformation:DiagnosticRelatedInformation.t list -> ?severity:DiagnosticSeverity.t -> diff --git a/lsp/Lsp/Types/DiagnosticClientCapabilities/index.html b/lsp/Lsp/Types/DiagnosticClientCapabilities/index.html index dc9dd0e0..b4f97675 100644 --- a/lsp/Lsp/Types/DiagnosticClientCapabilities/index.html +++ b/lsp/Lsp/Types/DiagnosticClientCapabilities/index.html @@ -1,6 +1,7 @@ -DiagnosticClientCapabilities (lsp.Lsp.Types.DiagnosticClientCapabilities)

    Module Types.DiagnosticClientCapabilities

    type t = {
    1. dynamicRegistration : bool option;
    2. relatedDocumentSupport : bool option;
    }
    val create : +DiagnosticClientCapabilities (lsp.Lsp.Types.DiagnosticClientCapabilities)

    Module Types.DiagnosticClientCapabilities

    type t = {
    1. dynamicRegistration : bool option;
    2. markupMessageSupport : bool option;
    3. relatedDocumentSupport : bool option;
    }
    val create : ?dynamicRegistration:bool -> + ?markupMessageSupport:bool -> ?relatedDocumentSupport:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentDiagnosticReportKind/index.html b/lsp/Lsp/Types/DocumentDiagnosticReportKind/index.html new file mode 100644 index 00000000..cf8f9eea --- /dev/null +++ b/lsp/Lsp/Types/DocumentDiagnosticReportKind/index.html @@ -0,0 +1,2 @@ + +DocumentDiagnosticReportKind (lsp.Lsp.Types.DocumentDiagnosticReportKind)

    Module Types.DocumentDiagnosticReportKind

    type t =
    1. | Full
    2. | Unchanged
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentRangeFormattingClientCapabilities/index.html b/lsp/Lsp/Types/DocumentRangeFormattingClientCapabilities/index.html index 1399c406..1e894341 100644 --- a/lsp/Lsp/Types/DocumentRangeFormattingClientCapabilities/index.html +++ b/lsp/Lsp/Types/DocumentRangeFormattingClientCapabilities/index.html @@ -1,2 +1,2 @@ -DocumentRangeFormattingClientCapabilities (lsp.Lsp.Types.DocumentRangeFormattingClientCapabilities)

    Module Types.DocumentRangeFormattingClientCapabilities

    type t = {
    1. dynamicRegistration : bool option;
    }
    val create : ?dynamicRegistration:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    +DocumentRangeFormattingClientCapabilities (lsp.Lsp.Types.DocumentRangeFormattingClientCapabilities)

    Module Types.DocumentRangeFormattingClientCapabilities

    type t = {
    1. dynamicRegistration : bool option;
    2. rangesSupport : bool option;
    }
    val create : ?dynamicRegistration:bool -> ?rangesSupport:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentRangeFormattingOptions/index.html b/lsp/Lsp/Types/DocumentRangeFormattingOptions/index.html index a6161e57..9c449add 100644 --- a/lsp/Lsp/Types/DocumentRangeFormattingOptions/index.html +++ b/lsp/Lsp/Types/DocumentRangeFormattingOptions/index.html @@ -1,2 +1,2 @@ -DocumentRangeFormattingOptions (lsp.Lsp.Types.DocumentRangeFormattingOptions)

    Module Types.DocumentRangeFormattingOptions

    type t = {
    1. workDoneProgress : bool option;
    }
    val create : ?workDoneProgress:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    +DocumentRangeFormattingOptions (lsp.Lsp.Types.DocumentRangeFormattingOptions)

    Module Types.DocumentRangeFormattingOptions

    type t = {
    1. rangesSupport : bool option;
    2. workDoneProgress : bool option;
    }
    val create : ?rangesSupport:bool -> ?workDoneProgress:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentRangeFormattingRegistrationOptions/index.html b/lsp/Lsp/Types/DocumentRangeFormattingRegistrationOptions/index.html index 7669392a..96edb891 100644 --- a/lsp/Lsp/Types/DocumentRangeFormattingRegistrationOptions/index.html +++ b/lsp/Lsp/Types/DocumentRangeFormattingRegistrationOptions/index.html @@ -1,6 +1,7 @@ -DocumentRangeFormattingRegistrationOptions (lsp.Lsp.Types.DocumentRangeFormattingRegistrationOptions)

    Module Types.DocumentRangeFormattingRegistrationOptions

    type t = {
    1. documentSelector : DocumentSelector.t option;
    2. workDoneProgress : bool option;
    }
    val create : +DocumentRangeFormattingRegistrationOptions (lsp.Lsp.Types.DocumentRangeFormattingRegistrationOptions)

    Module Types.DocumentRangeFormattingRegistrationOptions

    type t = {
    1. documentSelector : DocumentSelector.t option;
    2. rangesSupport : bool option;
    3. workDoneProgress : bool option;
    }
    val create : ?documentSelector:DocumentSelector.t -> + ?rangesSupport:bool -> ?workDoneProgress:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentRangesFormattingParams/index.html b/lsp/Lsp/Types/DocumentRangesFormattingParams/index.html new file mode 100644 index 00000000..794f3600 --- /dev/null +++ b/lsp/Lsp/Types/DocumentRangesFormattingParams/index.html @@ -0,0 +1,8 @@ + +DocumentRangesFormattingParams (lsp.Lsp.Types.DocumentRangesFormattingParams)

    Module Types.DocumentRangesFormattingParams

    type t = {
    1. options : FormattingOptions.t;
    2. ranges : Range.t list;
    3. textDocument : TextDocumentIdentifier.t;
    4. workDoneToken : ProgressToken.t option;
    }
    val create : + options:FormattingOptions.t -> + ranges:Range.t list -> + textDocument:TextDocumentIdentifier.t -> + ?workDoneToken:ProgressToken.t -> + unit -> + t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/DocumentUri/index.html b/lsp/Lsp/Types/DocumentUri/index.html index 257ce865..55ae124c 100644 --- a/lsp/Lsp/Types/DocumentUri/index.html +++ b/lsp/Lsp/Types/DocumentUri/index.html @@ -1,2 +1,2 @@ -DocumentUri (lsp.Lsp.Types.DocumentUri)

    Module Types.DocumentUri

    type t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val hash : t -> int
    val to_path : t -> string
    val of_path : string -> t
    val to_string : t -> string
    module Private : sig ... end
    +DocumentUri (lsp.Lsp.Types.DocumentUri)

    Module Types.DocumentUri

    type t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val hash : t -> int
    val to_path : t -> string
    val of_path : string -> t
    val to_string : t -> string
    val of_string : string -> t
    val query : t -> string option
    val fragment : t -> string option
    module Private : sig ... end
    diff --git a/lsp/Lsp/Types/FoldingRangeWorkspaceClientCapabilities/index.html b/lsp/Lsp/Types/FoldingRangeWorkspaceClientCapabilities/index.html new file mode 100644 index 00000000..364187d4 --- /dev/null +++ b/lsp/Lsp/Types/FoldingRangeWorkspaceClientCapabilities/index.html @@ -0,0 +1,2 @@ + +FoldingRangeWorkspaceClientCapabilities (lsp.Lsp.Types.FoldingRangeWorkspaceClientCapabilities)

    Module Types.FoldingRangeWorkspaceClientCapabilities

    type t = {
    1. refreshSupport : bool option;
    }
    val create : ?refreshSupport:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionClientCapabilities/index.html b/lsp/Lsp/Types/InlineCompletionClientCapabilities/index.html new file mode 100644 index 00000000..55fea227 --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionClientCapabilities/index.html @@ -0,0 +1,2 @@ + +InlineCompletionClientCapabilities (lsp.Lsp.Types.InlineCompletionClientCapabilities)

    Module Types.InlineCompletionClientCapabilities

    type t = {
    1. dynamicRegistration : bool option;
    }
    val create : ?dynamicRegistration:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionContext/index.html b/lsp/Lsp/Types/InlineCompletionContext/index.html new file mode 100644 index 00000000..64ea44de --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionContext/index.html @@ -0,0 +1,6 @@ + +InlineCompletionContext (lsp.Lsp.Types.InlineCompletionContext)

    Module Types.InlineCompletionContext

    type t = {
    1. selectedCompletionInfo : SelectedCompletionInfo.t option;
    2. triggerKind : InlineCompletionTriggerKind.t;
    }
    val create : + ?selectedCompletionInfo:SelectedCompletionInfo.t -> + triggerKind:InlineCompletionTriggerKind.t -> + unit -> + t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionItem/index.html b/lsp/Lsp/Types/InlineCompletionItem/index.html new file mode 100644 index 00000000..f5ab744a --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionItem/index.html @@ -0,0 +1,8 @@ + +InlineCompletionItem (lsp.Lsp.Types.InlineCompletionItem)

    Module Types.InlineCompletionItem

    type t = {
    1. command : Command.t option;
    2. filterText : string option;
    3. insertText : [ `String of string | `StringValue of StringValue.t ];
    4. range : Range.t option;
    }
    val create : + ?command:Command.t -> + ?filterText:string -> + insertText:[ `String of string | `StringValue of StringValue.t ] -> + ?range:Range.t -> + unit -> + t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionList/index.html b/lsp/Lsp/Types/InlineCompletionList/index.html new file mode 100644 index 00000000..ca27b84d --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionList/index.html @@ -0,0 +1,2 @@ + +InlineCompletionList (lsp.Lsp.Types.InlineCompletionList)

    Module Types.InlineCompletionList

    type t = {
    1. items : InlineCompletionItem.t list;
    }
    val create : items:InlineCompletionItem.t list -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionOptions/index.html b/lsp/Lsp/Types/InlineCompletionOptions/index.html new file mode 100644 index 00000000..ed7e4f28 --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionOptions/index.html @@ -0,0 +1,2 @@ + +InlineCompletionOptions (lsp.Lsp.Types.InlineCompletionOptions)

    Module Types.InlineCompletionOptions

    type t = {
    1. workDoneProgress : bool option;
    }
    val create : ?workDoneProgress:bool -> unit -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionParams/index.html b/lsp/Lsp/Types/InlineCompletionParams/index.html new file mode 100644 index 00000000..f859772d --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionParams/index.html @@ -0,0 +1,8 @@ + +InlineCompletionParams (lsp.Lsp.Types.InlineCompletionParams)

    Module Types.InlineCompletionParams

    type t = {
    1. context : InlineCompletionContext.t;
    2. position : Position.t;
    3. textDocument : TextDocumentIdentifier.t;
    4. workDoneToken : ProgressToken.t option;
    }
    val create : + context:InlineCompletionContext.t -> + position:Position.t -> + textDocument:TextDocumentIdentifier.t -> + ?workDoneToken:ProgressToken.t -> + unit -> + t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionRegistrationOptions/index.html b/lsp/Lsp/Types/InlineCompletionRegistrationOptions/index.html new file mode 100644 index 00000000..201204f0 --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionRegistrationOptions/index.html @@ -0,0 +1,7 @@ + +InlineCompletionRegistrationOptions (lsp.Lsp.Types.InlineCompletionRegistrationOptions)

    Module Types.InlineCompletionRegistrationOptions

    type t = {
    1. documentSelector : DocumentSelector.t option;
    2. id : string option;
    3. workDoneProgress : bool option;
    }
    val create : + ?documentSelector:DocumentSelector.t -> + ?id:string -> + ?workDoneProgress:bool -> + unit -> + t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/InlineCompletionTriggerKind/index.html b/lsp/Lsp/Types/InlineCompletionTriggerKind/index.html new file mode 100644 index 00000000..d5707acd --- /dev/null +++ b/lsp/Lsp/Types/InlineCompletionTriggerKind/index.html @@ -0,0 +1,2 @@ + +InlineCompletionTriggerKind (lsp.Lsp.Types.InlineCompletionTriggerKind)

    Module Types.InlineCompletionTriggerKind

    type t =
    1. | Invoked
    2. | Automatic
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/MessageType/index.html b/lsp/Lsp/Types/MessageType/index.html index fbbe2f94..bbbebe3a 100644 --- a/lsp/Lsp/Types/MessageType/index.html +++ b/lsp/Lsp/Types/MessageType/index.html @@ -1,2 +1,2 @@ -MessageType (lsp.Lsp.Types.MessageType)

    Module Types.MessageType

    type t =
    1. | Error
    2. | Warning
    3. | Info
    4. | Log
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    +MessageType (lsp.Lsp.Types.MessageType)

    Module Types.MessageType

    type t =
    1. | Error
    2. | Warning
    3. | Info
    4. | Log
    5. | Debug
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/RelativePattern/index.html b/lsp/Lsp/Types/RelativePattern/index.html index 62160331..aafbc286 100644 --- a/lsp/Lsp/Types/RelativePattern/index.html +++ b/lsp/Lsp/Types/RelativePattern/index.html @@ -1,5 +1,2 @@ -RelativePattern (lsp.Lsp.Types.RelativePattern)

    Module Types.RelativePattern

    type t = {
    1. baseUri : [ `WorkspaceFolder of WorkspaceFolder.t | `URI of DocumentUri.t ];
    2. pattern : Pattern.t;
    }
    val create : - baseUri:[ `WorkspaceFolder of WorkspaceFolder.t | `URI of DocumentUri.t ] -> - pattern:Pattern.t -> - t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    +RelativePattern (lsp.Lsp.Types.RelativePattern)

    Module Types.RelativePattern

    type t = {
    1. baseUri : unit;
    2. pattern : Pattern.t;
    }
    val create : baseUri:unit -> pattern:Pattern.t -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/SelectedCompletionInfo/index.html b/lsp/Lsp/Types/SelectedCompletionInfo/index.html new file mode 100644 index 00000000..a2f0e145 --- /dev/null +++ b/lsp/Lsp/Types/SelectedCompletionInfo/index.html @@ -0,0 +1,2 @@ + +SelectedCompletionInfo (lsp.Lsp.Types.SelectedCompletionInfo)

    Module Types.SelectedCompletionInfo

    type t = {
    1. range : Range.t;
    2. text : string;
    }
    val create : range:Range.t -> text:string -> t
    include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
    val t_of_yojson : Yojson.Safe.t -> t
    val yojson_of_t : t -> Yojson.Safe.t
    diff --git a/lsp/Lsp/Types/ServerCapabilities/index.html b/lsp/Lsp/Types/ServerCapabilities/index.html index 20bcc9eb..ebc6e162 100644 --- a/lsp/Lsp/Types/ServerCapabilities/index.html +++ b/lsp/Lsp/Types/ServerCapabilities/index.html @@ -3,7 +3,7 @@ ?workspaceFolders:WorkspaceFoldersServerCapabilities.t -> ?fileOperations:FileOperationOptions.t -> unit -> - workspace
    type t = {
    1. callHierarchyProvider : [ `Bool of bool + workspace
    type diagnostic = {
    1. markupMessageSupport : bool option;
    }
    val create_diagnostic : ?markupMessageSupport:bool -> unit -> diagnostic
    type textDocument = {
    1. diagnostic : diagnostic option;
    }
    val create_textDocument : ?diagnostic:diagnostic -> unit -> textDocument
    type t = {
    1. callHierarchyProvider : [ `Bool of bool | `CallHierarchyOptions of CallHierarchyOptions.t | `CallHierarchyRegistrationOptions of CallHierarchyRegistrationOptions.t ] @@ -45,7 +45,10 @@ | `InlayHintOptions of InlayHintOptions.t | `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t ] - option;
    2. inlineValueProvider : [ `Bool of bool + option;
    3. inlineCompletionProvider : [ `Bool of bool + | `InlineCompletionOptions of + InlineCompletionOptions.t ] + option;
    4. inlineValueProvider : [ `Bool of bool | `InlineValueOptions of InlineValueOptions.t | `InlineValueRegistrationOptions of InlineValueRegistrationOptions.t ] @@ -70,7 +73,7 @@ option;
    5. semanticTokensProvider : [ `SemanticTokensOptions of SemanticTokensOptions.t | `SemanticTokensRegistrationOptions of SemanticTokensRegistrationOptions.t ] - option;
    6. signatureHelpProvider : SignatureHelpOptions.t option;
    7. textDocumentSync : [ `TextDocumentSyncOptions of TextDocumentSyncOptions.t + option;
    8. signatureHelpProvider : SignatureHelpOptions.t option;
    9. textDocument : textDocument option;
    10. textDocumentSync : [ `TextDocumentSyncOptions of TextDocumentSyncOptions.t | `TextDocumentSyncKind of TextDocumentSyncKind.t ] option;
    11. typeDefinitionProvider : [ `Bool of bool | `TypeDefinitionOptions of TypeDefinitionOptions.t @@ -131,6 +134,8 @@ [ `Bool of bool | `InlayHintOptions of InlayHintOptions.t | `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t ] -> + ?inlineCompletionProvider: + [ `Bool of bool | `InlineCompletionOptions of InlineCompletionOptions.t ] -> ?inlineValueProvider: [ `Bool of bool | `InlineValueOptions of InlineValueOptions.t @@ -160,6 +165,7 @@ [ `SemanticTokensOptions of SemanticTokensOptions.t | `SemanticTokensRegistrationOptions of SemanticTokensRegistrationOptions.t ] -> ?signatureHelpProvider:SignatureHelpOptions.t -> + ?textDocument:textDocument -> ?textDocumentSync: [ `TextDocumentSyncOptions of TextDocumentSyncOptions.t | `TextDocumentSyncKind of TextDocumentSyncKind.t ] -> diff --git a/lsp/Lsp/Types/SignatureHelp/index.html b/lsp/Lsp/Types/SignatureHelp/index.html index 120d190b..2dfe9c04 100644 --- a/lsp/Lsp/Types/SignatureHelp/index.html +++ b/lsp/Lsp/Types/SignatureHelp/index.html @@ -1,6 +1,6 @@ -SignatureHelp (lsp.Lsp.Types.SignatureHelp)

      Module Types.SignatureHelp

      type t = {
      1. activeParameter : int option;
      2. activeSignature : int option;
      3. signatures : SignatureInformation.t list;
      }
      val create : - ?activeParameter:int -> +SignatureHelp (lsp.Lsp.Types.SignatureHelp)

      Module Types.SignatureHelp

      type t = {
      1. activeParameter : int option option;
      2. activeSignature : int option;
      3. signatures : SignatureInformation.t list;
      }
      val create : + ?activeParameter:int option -> ?activeSignature:int -> signatures:SignatureInformation.t list -> unit -> diff --git a/lsp/Lsp/Types/SignatureHelpClientCapabilities/index.html b/lsp/Lsp/Types/SignatureHelpClientCapabilities/index.html index 458f0092..2ed3ddb5 100644 --- a/lsp/Lsp/Types/SignatureHelpClientCapabilities/index.html +++ b/lsp/Lsp/Types/SignatureHelpClientCapabilities/index.html @@ -2,10 +2,11 @@ SignatureHelpClientCapabilities (lsp.Lsp.Types.SignatureHelpClientCapabilities)

      Module Types.SignatureHelpClientCapabilities

      type parameterInformation = {
      1. labelOffsetSupport : bool option;
      }
      val create_parameterInformation : ?labelOffsetSupport:bool -> unit -> - parameterInformation
      type signatureInformation = {
      1. documentationFormat : MarkupKind.t list option;
      2. parameterInformation : parameterInformation option;
      3. activeParameterSupport : bool option;
      }
      val create_signatureInformation : + parameterInformation
      type signatureInformation = {
      1. documentationFormat : MarkupKind.t list option;
      2. parameterInformation : parameterInformation option;
      3. activeParameterSupport : bool option;
      4. noActiveParameterSupport : bool option;
      }
      val create_signatureInformation : ?documentationFormat:MarkupKind.t list -> ?parameterInformation:parameterInformation -> ?activeParameterSupport:bool -> + ?noActiveParameterSupport:bool -> unit -> signatureInformation
      type t = {
      1. contextSupport : bool option;
      2. dynamicRegistration : bool option;
      3. signatureInformation : signatureInformation option;
      }
      val create : ?contextSupport:bool -> diff --git a/lsp/Lsp/Types/SignatureInformation/index.html b/lsp/Lsp/Types/SignatureInformation/index.html index c4fd88f9..dd4de4e9 100644 --- a/lsp/Lsp/Types/SignatureInformation/index.html +++ b/lsp/Lsp/Types/SignatureInformation/index.html @@ -1,7 +1,7 @@ -SignatureInformation (lsp.Lsp.Types.SignatureInformation)

      Module Types.SignatureInformation

      type t = {
      1. activeParameter : int option;
      2. documentation : [ `String of string | `MarkupContent of MarkupContent.t ] +SignatureInformation (lsp.Lsp.Types.SignatureInformation)

        Module Types.SignatureInformation

        type t = {
        1. activeParameter : int option option;
        2. documentation : [ `String of string | `MarkupContent of MarkupContent.t ] option;
        3. label : string;
        4. parameters : ParameterInformation.t list option;
        }
        val create : - ?activeParameter:int -> + ?activeParameter:int option -> ?documentation:[ `String of string | `MarkupContent of MarkupContent.t ] -> label:string -> ?parameters:ParameterInformation.t list -> diff --git a/lsp/Lsp/Types/StringValue/index.html b/lsp/Lsp/Types/StringValue/index.html new file mode 100644 index 00000000..fb07241a --- /dev/null +++ b/lsp/Lsp/Types/StringValue/index.html @@ -0,0 +1,2 @@ + +StringValue (lsp.Lsp.Types.StringValue)

        Module Types.StringValue

        type t = {
        1. value : string;
        }
        val create : value:string -> t
        include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
        val t_of_yojson : Yojson.Safe.t -> t
        val yojson_of_t : t -> Yojson.Safe.t
        diff --git a/lsp/Lsp/Types/T/index.html b/lsp/Lsp/Types/T/index.html deleted file mode 100644 index 1315f635..00000000 --- a/lsp/Lsp/Types/T/index.html +++ /dev/null @@ -1,2 +0,0 @@ - -T (lsp.Lsp.Types.T)

        Module Types.T

        include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
        val t_of_yojson : Yojson.Safe.t -> t
        val yojson_of_t : t -> Yojson.Safe.t
        diff --git a/lsp/Lsp/Types/TextDocumentClientCapabilities/index.html b/lsp/Lsp/Types/TextDocumentClientCapabilities/index.html index bf6fc532..5f62ae39 100644 --- a/lsp/Lsp/Types/TextDocumentClientCapabilities/index.html +++ b/lsp/Lsp/Types/TextDocumentClientCapabilities/index.html @@ -1,5 +1,5 @@ -TextDocumentClientCapabilities (lsp.Lsp.Types.TextDocumentClientCapabilities)

        Module Types.TextDocumentClientCapabilities

        type t = {
        1. callHierarchy : CallHierarchyClientCapabilities.t option;
        2. codeAction : CodeActionClientCapabilities.t option;
        3. codeLens : CodeLensClientCapabilities.t option;
        4. colorProvider : DocumentColorClientCapabilities.t option;
        5. completion : CompletionClientCapabilities.t option;
        6. declaration : DeclarationClientCapabilities.t option;
        7. definition : DefinitionClientCapabilities.t option;
        8. diagnostic : DiagnosticClientCapabilities.t option;
        9. documentHighlight : DocumentHighlightClientCapabilities.t option;
        10. documentSymbol : DocumentSymbolClientCapabilities.t option;
        11. foldingRange : FoldingRangeClientCapabilities.t option;
        12. formatting : DocumentFormattingClientCapabilities.t option;
        13. hover : HoverClientCapabilities.t option;
        14. implementation : ImplementationClientCapabilities.t option;
        15. inlayHint : InlayHintClientCapabilities.t option;
        16. inlineValue : InlineValueClientCapabilities.t option;
        17. linkedEditingRange : LinkedEditingRangeClientCapabilities.t option;
        18. moniker : MonikerClientCapabilities.t option;
        19. onTypeFormatting : DocumentOnTypeFormattingClientCapabilities.t option;
        20. publishDiagnostics : PublishDiagnosticsClientCapabilities.t option;
        21. rangeFormatting : DocumentRangeFormattingClientCapabilities.t option;
        22. references : ReferenceClientCapabilities.t option;
        23. rename : RenameClientCapabilities.t option;
        24. selectionRange : SelectionRangeClientCapabilities.t option;
        25. semanticTokens : SemanticTokensClientCapabilities.t option;
        26. signatureHelp : SignatureHelpClientCapabilities.t option;
        27. synchronization : TextDocumentSyncClientCapabilities.t option;
        28. typeDefinition : TypeDefinitionClientCapabilities.t option;
        29. typeHierarchy : TypeHierarchyClientCapabilities.t option;
        }
        val create : +TextDocumentClientCapabilities (lsp.Lsp.Types.TextDocumentClientCapabilities)

        Module Types.TextDocumentClientCapabilities

        type t = {
        1. callHierarchy : CallHierarchyClientCapabilities.t option;
        2. codeAction : CodeActionClientCapabilities.t option;
        3. codeLens : CodeLensClientCapabilities.t option;
        4. colorProvider : DocumentColorClientCapabilities.t option;
        5. completion : CompletionClientCapabilities.t option;
        6. declaration : DeclarationClientCapabilities.t option;
        7. definition : DefinitionClientCapabilities.t option;
        8. diagnostic : DiagnosticClientCapabilities.t option;
        9. documentHighlight : DocumentHighlightClientCapabilities.t option;
        10. documentSymbol : DocumentSymbolClientCapabilities.t option;
        11. foldingRange : FoldingRangeClientCapabilities.t option;
        12. formatting : DocumentFormattingClientCapabilities.t option;
        13. hover : HoverClientCapabilities.t option;
        14. implementation : ImplementationClientCapabilities.t option;
        15. inlayHint : InlayHintClientCapabilities.t option;
        16. inlineCompletion : InlineCompletionClientCapabilities.t option;
        17. inlineValue : InlineValueClientCapabilities.t option;
        18. linkedEditingRange : LinkedEditingRangeClientCapabilities.t option;
        19. moniker : MonikerClientCapabilities.t option;
        20. onTypeFormatting : DocumentOnTypeFormattingClientCapabilities.t option;
        21. publishDiagnostics : PublishDiagnosticsClientCapabilities.t option;
        22. rangeFormatting : DocumentRangeFormattingClientCapabilities.t option;
        23. references : ReferenceClientCapabilities.t option;
        24. rename : RenameClientCapabilities.t option;
        25. selectionRange : SelectionRangeClientCapabilities.t option;
        26. semanticTokens : SemanticTokensClientCapabilities.t option;
        27. signatureHelp : SignatureHelpClientCapabilities.t option;
        28. synchronization : TextDocumentSyncClientCapabilities.t option;
        29. typeDefinition : TypeDefinitionClientCapabilities.t option;
        30. typeHierarchy : TypeHierarchyClientCapabilities.t option;
        }
        val create : ?callHierarchy:CallHierarchyClientCapabilities.t -> ?codeAction:CodeActionClientCapabilities.t -> ?codeLens:CodeLensClientCapabilities.t -> @@ -16,6 +16,7 @@ ?hover:HoverClientCapabilities.t -> ?implementation:ImplementationClientCapabilities.t -> ?inlayHint:InlayHintClientCapabilities.t -> + ?inlineCompletion:InlineCompletionClientCapabilities.t -> ?inlineValue:InlineValueClientCapabilities.t -> ?linkedEditingRange:LinkedEditingRangeClientCapabilities.t -> ?moniker:MonikerClientCapabilities.t -> diff --git a/lsp/Lsp/Types/WorkspaceClientCapabilities/index.html b/lsp/Lsp/Types/WorkspaceClientCapabilities/index.html index cb46d610..1d498b65 100644 --- a/lsp/Lsp/Types/WorkspaceClientCapabilities/index.html +++ b/lsp/Lsp/Types/WorkspaceClientCapabilities/index.html @@ -1,5 +1,5 @@ -WorkspaceClientCapabilities (lsp.Lsp.Types.WorkspaceClientCapabilities)

        Module Types.WorkspaceClientCapabilities

        type t = {
        1. applyEdit : bool option;
        2. codeLens : CodeLensWorkspaceClientCapabilities.t option;
        3. configuration : bool option;
        4. diagnostics : DiagnosticWorkspaceClientCapabilities.t option;
        5. didChangeConfiguration : DidChangeConfigurationClientCapabilities.t option;
        6. didChangeWatchedFiles : DidChangeWatchedFilesClientCapabilities.t option;
        7. executeCommand : ExecuteCommandClientCapabilities.t option;
        8. fileOperations : FileOperationClientCapabilities.t option;
        9. inlayHint : InlayHintWorkspaceClientCapabilities.t option;
        10. inlineValue : InlineValueWorkspaceClientCapabilities.t option;
        11. semanticTokens : SemanticTokensWorkspaceClientCapabilities.t option;
        12. symbol : WorkspaceSymbolClientCapabilities.t option;
        13. workspaceEdit : WorkspaceEditClientCapabilities.t option;
        14. workspaceFolders : bool option;
        }
        val create : +WorkspaceClientCapabilities (lsp.Lsp.Types.WorkspaceClientCapabilities)

        Module Types.WorkspaceClientCapabilities

        type t = {
        1. applyEdit : bool option;
        2. codeLens : CodeLensWorkspaceClientCapabilities.t option;
        3. configuration : bool option;
        4. diagnostics : DiagnosticWorkspaceClientCapabilities.t option;
        5. didChangeConfiguration : DidChangeConfigurationClientCapabilities.t option;
        6. didChangeWatchedFiles : DidChangeWatchedFilesClientCapabilities.t option;
        7. executeCommand : ExecuteCommandClientCapabilities.t option;
        8. fileOperations : FileOperationClientCapabilities.t option;
        9. foldingRange : FoldingRangeWorkspaceClientCapabilities.t option;
        10. inlayHint : InlayHintWorkspaceClientCapabilities.t option;
        11. inlineValue : InlineValueWorkspaceClientCapabilities.t option;
        12. semanticTokens : SemanticTokensWorkspaceClientCapabilities.t option;
        13. symbol : WorkspaceSymbolClientCapabilities.t option;
        14. workspaceEdit : WorkspaceEditClientCapabilities.t option;
        15. workspaceFolders : bool option;
        }
        val create : ?applyEdit:bool -> ?codeLens:CodeLensWorkspaceClientCapabilities.t -> ?configuration:bool -> @@ -8,6 +8,7 @@ ?didChangeWatchedFiles:DidChangeWatchedFilesClientCapabilities.t -> ?executeCommand:ExecuteCommandClientCapabilities.t -> ?fileOperations:FileOperationClientCapabilities.t -> + ?foldingRange:FoldingRangeWorkspaceClientCapabilities.t -> ?inlayHint:InlayHintWorkspaceClientCapabilities.t -> ?inlineValue:InlineValueWorkspaceClientCapabilities.t -> ?semanticTokens:SemanticTokensWorkspaceClientCapabilities.t -> diff --git a/lsp/Lsp/Types/index.html b/lsp/Lsp/Types/index.html index 2a292b04..cafbc9b1 100644 --- a/lsp/Lsp/Types/index.html +++ b/lsp/Lsp/Types/index.html @@ -1,2 +1,2 @@ -Types (lsp.Lsp.Types)

        Module Lsp.Types

        module MarkedString : sig ... end
        module DocumentUri : sig ... end
        module ProgressToken : sig ... end
        module ProgressParams : sig ... end
        module NotebookDocumentSyncOptions : sig ... end
        module NotebookDocumentFilter : sig ... end
        module TextDocumentFilter : sig ... end
        module SymbolTag : sig ... end
        module SymbolKind : sig ... end
        module ResourceOperationKind : sig ... end
        module FailureHandlingKind : sig ... end
        module MarkupKind : sig ... end
        module TokenFormat : sig ... end
        module PrepareSupportDefaultBehavior : sig ... end
        module DiagnosticTag : sig ... end
        module FoldingRangeKind : sig ... end
        module InsertTextMode : sig ... end
        module CompletionItemKind : sig ... end
        module CompletionItemTag : sig ... end
        module CodeActionKind : sig ... end
        module PositionEncodingKind : sig ... end
        module DiagnosticSeverity : sig ... end
        module CodeActionTriggerKind : sig ... end
        module CompletionTriggerKind : sig ... end
        module InsertTextFormat : sig ... end
        module NotebookCellKind : sig ... end
        module FileChangeType : sig ... end
        module WatchKind : sig ... end
        module DocumentHighlightKind : sig ... end
        module FileOperationPatternKind : sig ... end
        module TraceValues : sig ... end
        module TextDocumentSyncKind : sig ... end
        module InlayHintKind : sig ... end
        module MessageType : sig ... end
        module UniquenessLevel : sig ... end
        module MonikerKind : sig ... end
        module SemanticTokenModifiers : sig ... end
        module SemanticTokenTypes : sig ... end
        module SignatureHelpTriggerKind : sig ... end
        module TextDocumentSaveReason : sig ... end
        module Position : sig ... end
        module Range : sig ... end
        module ChangeAnnotationIdentifier : sig ... end
        module AnnotatedTextEdit : sig ... end
        module DeleteFileOptions : sig ... end
        module DeleteFile : sig ... end
        module RenameFileOptions : sig ... end
        module RenameFile : sig ... end
        module CreateFileOptions : sig ... end
        module CreateFile : sig ... end
        module TextEdit : sig ... end
        module TextDocumentEdit : sig ... end
        module ChangeAnnotation : sig ... end
        module WorkspaceEdit : sig ... end
        module ApplyWorkspaceEditParams : sig ... end
        module ApplyWorkspaceEditResult : sig ... end
        module BaseSymbolInformation : sig ... end
        module CallHierarchyClientCapabilities : sig ... end
        module CallHierarchyItem : sig ... end
        module CallHierarchyIncomingCall : sig ... end
        module CallHierarchyOptions : sig ... end
        module CallHierarchyOutgoingCall : sig ... end
        module TextDocumentIdentifier : sig ... end
        module CallHierarchyPrepareParams : sig ... end
        module NotebookCellTextDocumentFilter : sig ... end
        module DocumentFilter : sig ... end
        module DocumentSelector : sig ... end
        module CancelParams : sig ... end
        module WorkspaceEditClientCapabilities : sig ... end
        module FileOperationClientCapabilities : sig ... end
        module WorkspaceClientCapabilities : sig ... end
        module ShowDocumentClientCapabilities : sig ... end
        module WindowClientCapabilities : sig ... end
        module TypeHierarchyClientCapabilities : sig ... end
        module SignatureHelpClientCapabilities : sig ... end
        module RenameClientCapabilities : sig ... end
        module ReferenceClientCapabilities : sig ... end
        module MonikerClientCapabilities : sig ... end
        module InlineValueClientCapabilities : sig ... end
        module InlayHintClientCapabilities : sig ... end
        module HoverClientCapabilities : sig ... end
        module FoldingRangeClientCapabilities : sig ... end
        module DocumentLinkClientCapabilities : sig ... end
        module DiagnosticClientCapabilities : sig ... end
        module DefinitionClientCapabilities : sig ... end
        module DeclarationClientCapabilities : sig ... end
        module CompletionClientCapabilities : sig ... end
        module DocumentColorClientCapabilities : sig ... end
        module CodeLensClientCapabilities : sig ... end
        module CodeActionClientCapabilities : sig ... end
        module TextDocumentClientCapabilities : sig ... end
        module MarkdownClientCapabilities : sig ... end
        module GeneralClientCapabilities : sig ... end
        module ClientCapabilities : sig ... end
        module Location : sig ... end
        module DiagnosticRelatedInformation : sig ... end
        module CodeDescription : sig ... end
        module Diagnostic : sig ... end
        module Command : sig ... end
        module CodeAction : sig ... end
        module CodeActionContext : sig ... end
        module CodeActionOptions : sig ... end
        module CodeActionParams : sig ... end
        module CodeActionRegistrationOptions : sig ... end
        module CodeLens : sig ... end
        module CodeLensOptions : sig ... end
        module CodeLensParams : sig ... end
        module CodeLensRegistrationOptions : sig ... end
        module Color : sig ... end
        module ColorInformation : sig ... end
        module ColorPresentation : sig ... end
        module ColorPresentationParams : sig ... end
        module CompletionContext : sig ... end
        module InsertReplaceEdit : sig ... end
        module CompletionItemLabelDetails : sig ... end
        module MarkupContent : sig ... end
        module CompletionItem : sig ... end
        module CompletionList : sig ... end
        module CompletionOptions : sig ... end
        module CompletionParams : sig ... end
        module CompletionRegistrationOptions : sig ... end
        module ConfigurationItem : sig ... end
        module ConfigurationParams : sig ... end
        module FileCreate : sig ... end
        module CreateFilesParams : sig ... end
        module Declaration : sig ... end
        module DeclarationOptions : sig ... end
        module DeclarationParams : sig ... end
        module DeclarationRegistrationOptions : sig ... end
        module Definition : sig ... end
        module DefinitionOptions : sig ... end
        module DefinitionParams : sig ... end
        module DefinitionRegistrationOptions : sig ... end
        module FileDelete : sig ... end
        module DeleteFilesParams : sig ... end
        module DiagnosticOptions : sig ... end
        module DiagnosticRegistrationOptions : sig ... end
        module DidChangeConfigurationParams : sig ... end
        module TextDocumentContentChangeEvent : sig ... end
        module VersionedTextDocumentIdentifier : sig ... end
        module ExecutionSummary : sig ... end
        module NotebookCell : sig ... end
        module TextDocumentItem : sig ... end
        module NotebookCellArrayChange : sig ... end
        module NotebookDocumentChangeEvent : sig ... end
        module DidChangeNotebookDocumentParams : sig ... end
        module DidChangeTextDocumentParams : sig ... end
        module FileEvent : sig ... end
        module DidChangeWatchedFilesParams : sig ... end
        module Pattern : sig ... end
        module WorkspaceFolder : sig ... end
        module RelativePattern : sig ... end
        module GlobPattern : sig ... end
        module FileSystemWatcher : sig ... end
        module WorkspaceFoldersChangeEvent : sig ... end
        module DidChangeWorkspaceFoldersParams : sig ... end
        module NotebookDocumentIdentifier : sig ... end
        module DidCloseNotebookDocumentParams : sig ... end
        module DidCloseTextDocumentParams : sig ... end
        module NotebookDocument : sig ... end
        module DidOpenNotebookDocumentParams : sig ... end
        module DidOpenTextDocumentParams : sig ... end
        module DidSaveNotebookDocumentParams : sig ... end
        module DidSaveTextDocumentParams : sig ... end
        module DocumentColorOptions : sig ... end
        module DocumentColorParams : sig ... end
        module DocumentDiagnosticParams : sig ... end
        module FullDocumentDiagnosticReport : sig ... end
        module DocumentDiagnosticReport : sig ... end
        module DocumentFormattingOptions : sig ... end
        module FormattingOptions : sig ... end
        module DocumentFormattingParams : sig ... end
        module DocumentHighlight : sig ... end
        module DocumentHighlightOptions : sig ... end
        module DocumentHighlightParams : sig ... end
        module DocumentLinkOptions : sig ... end
        module DocumentLinkParams : sig ... end
        module DocumentLinkRegistrationOptions : sig ... end
        module DocumentOnTypeFormattingOptions : sig ... end
        module DocumentOnTypeFormattingParams : sig ... end
        module DocumentRangeFormattingOptions : sig ... end
        module DocumentRangeFormattingParams : sig ... end
        module DocumentSymbol : sig ... end
        module DocumentSymbolOptions : sig ... end
        module DocumentSymbolParams : sig ... end
        module ExecuteCommandOptions : sig ... end
        module ExecuteCommandParams : sig ... end
        module FileOperationPatternOptions : sig ... end
        module FileOperationPattern : sig ... end
        module FileOperationFilter : sig ... end
        module FileOperationOptions : sig ... end
        module FileRename : sig ... end
        module FoldingRange : sig ... end
        module FoldingRangeOptions : sig ... end
        module FoldingRangeParams : sig ... end
        module FoldingRangeRegistrationOptions : sig ... end
        module Hover : sig ... end
        module HoverOptions : sig ... end
        module HoverParams : sig ... end
        module HoverRegistrationOptions : sig ... end
        module ImplementationOptions : sig ... end
        module ImplementationParams : sig ... end
        module InitializeError : sig ... end
        module InitializeParams : sig ... end
        module WorkspaceSymbolOptions : sig ... end
        module TypeHierarchyOptions : sig ... end
        module TypeDefinitionOptions : sig ... end
        module SaveOptions : sig ... end
        module TextDocumentSyncOptions : sig ... end
        module SignatureHelpOptions : sig ... end
        module SemanticTokensLegend : sig ... end
        module SemanticTokensOptions : sig ... end
        module SelectionRangeOptions : sig ... end
        module RenameOptions : sig ... end
        module ReferenceOptions : sig ... end
        module MonikerRegistrationOptions : sig ... end
        module MonikerOptions : sig ... end
        module LinkedEditingRangeOptions : sig ... end
        module InlineValueRegistrationOptions : sig ... end
        module InlineValueOptions : sig ... end
        module InlayHintRegistrationOptions : sig ... end
        module InlayHintOptions : sig ... end
        module ServerCapabilities : sig ... end
        module InitializeResult : sig ... end
        module InitializedParams_ : sig ... end
        module InlayHintLabelPart : sig ... end
        module InlayHint : sig ... end
        module InlayHintParams : sig ... end
        module InlineValueVariableLookup : sig ... end
        module InlineValueText : sig ... end
        module InlineValue : sig ... end
        module InlineValueContext : sig ... end
        module InlineValueParams : sig ... end
        module LinkedEditingRangeParams : sig ... end
        module LinkedEditingRanges : sig ... end
        module LogMessageParams : sig ... end
        module LogTraceParams : sig ... end
        module MessageActionItem : sig ... end
        module Moniker : sig ... end
        module MonikerParams : sig ... end
        module ParameterInformation : sig ... end
        module PartialResultParams : sig ... end
        module PrepareRenameParams : sig ... end
        module PreviousResultId : sig ... end
        module PublishDiagnosticsParams : sig ... end
        module ReferenceContext : sig ... end
        module ReferenceParams : sig ... end
        module ReferenceRegistrationOptions : sig ... end
        module Registration : sig ... end
        module RegistrationParams : sig ... end
        module RenameFilesParams : sig ... end
        module RenameParams : sig ... end
        module RenameRegistrationOptions : sig ... end
        module ResourceOperation : sig ... end
        module SelectionRange : sig ... end
        module SelectionRangeParams : sig ... end
        module SemanticTokens : sig ... end
        module SemanticTokensEdit : sig ... end
        module SemanticTokensDelta : sig ... end
        module SemanticTokensDeltaParams : sig ... end
        module SemanticTokensParams : sig ... end
        module SemanticTokensPartialResult : sig ... end
        module SemanticTokensRangeParams : sig ... end
        module SetTraceParams : sig ... end
        module ShowDocumentParams : sig ... end
        module ShowDocumentResult : sig ... end
        module ShowMessageParams : sig ... end
        module ShowMessageRequestParams : sig ... end
        module SignatureInformation : sig ... end
        module SignatureHelp : sig ... end
        module SignatureHelpContext : sig ... end
        module SignatureHelpParams : sig ... end
        module StaticRegistrationOptions : sig ... end
        module SymbolInformation : sig ... end
        module T : sig ... end
        module TextDocumentPositionParams : sig ... end
        module TextDocumentRegistrationOptions : sig ... end
        module TypeDefinitionParams : sig ... end
        module TypeHierarchyItem : sig ... end
        module TypeHierarchyPrepareParams : sig ... end
        module TypeHierarchySubtypesParams : sig ... end
        module TypeHierarchySupertypesParams : sig ... end
        module Unregistration : sig ... end
        module UnregistrationParams : sig ... end
        module WillSaveTextDocumentParams : sig ... end
        module WorkDoneProgressBegin : sig ... end
        module WorkDoneProgressCancelParams : sig ... end
        module WorkDoneProgressCreateParams : sig ... end
        module WorkDoneProgressEnd : sig ... end
        module WorkDoneProgressOptions : sig ... end
        module WorkDoneProgressParams : sig ... end
        module WorkDoneProgressReport : sig ... end
        module WorkspaceDiagnosticParams : sig ... end
        module WorkspaceDiagnosticReport : sig ... end
        module WorkspaceSymbol : sig ... end
        module WorkspaceSymbolParams : sig ... end
        module CodeActionResult : sig ... end
        module Locations : sig ... end
        +Types (lsp.Lsp.Types)

        Module Lsp.Types

        module MarkedString : sig ... end
        module DocumentUri : sig ... end
        module ProgressToken : sig ... end
        module ProgressParams : sig ... end
        module NotebookDocumentSyncOptions : sig ... end
        module NotebookDocumentFilter : sig ... end
        module TextDocumentFilter : sig ... end
        module SymbolTag : sig ... end
        module SymbolKind : sig ... end
        module ResourceOperationKind : sig ... end
        module FailureHandlingKind : sig ... end
        module MarkupKind : sig ... end
        module TokenFormat : sig ... end
        module PrepareSupportDefaultBehavior : sig ... end
        module DiagnosticTag : sig ... end
        module FoldingRangeKind : sig ... end
        module InsertTextMode : sig ... end
        module CompletionItemKind : sig ... end
        module CompletionItemTag : sig ... end
        module CodeActionKind : sig ... end
        module PositionEncodingKind : sig ... end
        module DiagnosticSeverity : sig ... end
        module CodeActionTriggerKind : sig ... end
        module CompletionTriggerKind : sig ... end
        module InsertTextFormat : sig ... end
        module NotebookCellKind : sig ... end
        module FileChangeType : sig ... end
        module WatchKind : sig ... end
        module DocumentDiagnosticReportKind : sig ... end
        module DocumentHighlightKind : sig ... end
        module FileOperationPatternKind : sig ... end
        module TraceValues : sig ... end
        module TextDocumentSyncKind : sig ... end
        module InlayHintKind : sig ... end
        module InlineCompletionTriggerKind : sig ... end
        module MessageType : sig ... end
        module UniquenessLevel : sig ... end
        module MonikerKind : sig ... end
        module SemanticTokenModifiers : sig ... end
        module SemanticTokenTypes : sig ... end
        module SignatureHelpTriggerKind : sig ... end
        module TextDocumentSaveReason : sig ... end
        module Position : sig ... end
        module Range : sig ... end
        module ChangeAnnotationIdentifier : sig ... end
        module AnnotatedTextEdit : sig ... end
        module DeleteFileOptions : sig ... end
        module DeleteFile : sig ... end
        module RenameFileOptions : sig ... end
        module RenameFile : sig ... end
        module CreateFileOptions : sig ... end
        module CreateFile : sig ... end
        module TextEdit : sig ... end
        module TextDocumentEdit : sig ... end
        module ChangeAnnotation : sig ... end
        module WorkspaceEdit : sig ... end
        module ApplyWorkspaceEditParams : sig ... end
        module ApplyWorkspaceEditResult : sig ... end
        module BaseSymbolInformation : sig ... end
        module CallHierarchyClientCapabilities : sig ... end
        module CallHierarchyItem : sig ... end
        module CallHierarchyIncomingCall : sig ... end
        module CallHierarchyOptions : sig ... end
        module CallHierarchyOutgoingCall : sig ... end
        module TextDocumentIdentifier : sig ... end
        module CallHierarchyPrepareParams : sig ... end
        module NotebookCellTextDocumentFilter : sig ... end
        module DocumentFilter : sig ... end
        module DocumentSelector : sig ... end
        module CancelParams : sig ... end
        module WorkspaceEditClientCapabilities : sig ... end
        module FileOperationClientCapabilities : sig ... end
        module WorkspaceClientCapabilities : sig ... end
        module ShowDocumentClientCapabilities : sig ... end
        module WindowClientCapabilities : sig ... end
        module TypeHierarchyClientCapabilities : sig ... end
        module SignatureHelpClientCapabilities : sig ... end
        module RenameClientCapabilities : sig ... end
        module ReferenceClientCapabilities : sig ... end
        module MonikerClientCapabilities : sig ... end
        module InlineValueClientCapabilities : sig ... end
        module InlayHintClientCapabilities : sig ... end
        module HoverClientCapabilities : sig ... end
        module FoldingRangeClientCapabilities : sig ... end
        module DocumentLinkClientCapabilities : sig ... end
        module DiagnosticClientCapabilities : sig ... end
        module DefinitionClientCapabilities : sig ... end
        module DeclarationClientCapabilities : sig ... end
        module CompletionClientCapabilities : sig ... end
        module DocumentColorClientCapabilities : sig ... end
        module CodeLensClientCapabilities : sig ... end
        module CodeActionClientCapabilities : sig ... end
        module TextDocumentClientCapabilities : sig ... end
        module MarkdownClientCapabilities : sig ... end
        module GeneralClientCapabilities : sig ... end
        module ClientCapabilities : sig ... end
        module Location : sig ... end
        module DiagnosticRelatedInformation : sig ... end
        module MarkupContent : sig ... end
        module CodeDescription : sig ... end
        module Diagnostic : sig ... end
        module Command : sig ... end
        module CodeAction : sig ... end
        module CodeActionContext : sig ... end
        module CodeActionOptions : sig ... end
        module CodeActionParams : sig ... end
        module CodeActionRegistrationOptions : sig ... end
        module CodeLens : sig ... end
        module CodeLensOptions : sig ... end
        module CodeLensParams : sig ... end
        module CodeLensRegistrationOptions : sig ... end
        module Color : sig ... end
        module ColorInformation : sig ... end
        module ColorPresentation : sig ... end
        module ColorPresentationParams : sig ... end
        module CompletionContext : sig ... end
        module InsertReplaceEdit : sig ... end
        module CompletionItemLabelDetails : sig ... end
        module CompletionItem : sig ... end
        module CompletionList : sig ... end
        module CompletionOptions : sig ... end
        module CompletionParams : sig ... end
        module CompletionRegistrationOptions : sig ... end
        module ConfigurationItem : sig ... end
        module ConfigurationParams : sig ... end
        module FileCreate : sig ... end
        module CreateFilesParams : sig ... end
        module Declaration : sig ... end
        module DeclarationOptions : sig ... end
        module DeclarationParams : sig ... end
        module DeclarationRegistrationOptions : sig ... end
        module Definition : sig ... end
        module DefinitionOptions : sig ... end
        module DefinitionParams : sig ... end
        module DefinitionRegistrationOptions : sig ... end
        module FileDelete : sig ... end
        module DeleteFilesParams : sig ... end
        module DiagnosticOptions : sig ... end
        module DiagnosticRegistrationOptions : sig ... end
        module DidChangeConfigurationParams : sig ... end
        module TextDocumentContentChangeEvent : sig ... end
        module VersionedTextDocumentIdentifier : sig ... end
        module ExecutionSummary : sig ... end
        module NotebookCell : sig ... end
        module TextDocumentItem : sig ... end
        module NotebookCellArrayChange : sig ... end
        module NotebookDocumentChangeEvent : sig ... end
        module DidChangeNotebookDocumentParams : sig ... end
        module DidChangeTextDocumentParams : sig ... end
        module FileEvent : sig ... end
        module DidChangeWatchedFilesParams : sig ... end
        module Pattern : sig ... end
        module WorkspaceFolder : sig ... end
        module RelativePattern : sig ... end
        module GlobPattern : sig ... end
        module FileSystemWatcher : sig ... end
        module WorkspaceFoldersChangeEvent : sig ... end
        module DidChangeWorkspaceFoldersParams : sig ... end
        module NotebookDocumentIdentifier : sig ... end
        module DidCloseNotebookDocumentParams : sig ... end
        module DidCloseTextDocumentParams : sig ... end
        module NotebookDocument : sig ... end
        module DidOpenNotebookDocumentParams : sig ... end
        module DidOpenTextDocumentParams : sig ... end
        module DidSaveNotebookDocumentParams : sig ... end
        module DidSaveTextDocumentParams : sig ... end
        module DocumentColorOptions : sig ... end
        module DocumentColorParams : sig ... end
        module DocumentDiagnosticParams : sig ... end
        module FullDocumentDiagnosticReport : sig ... end
        module DocumentDiagnosticReport : sig ... end
        module DocumentFormattingOptions : sig ... end
        module FormattingOptions : sig ... end
        module DocumentFormattingParams : sig ... end
        module DocumentHighlight : sig ... end
        module DocumentHighlightOptions : sig ... end
        module DocumentHighlightParams : sig ... end
        module DocumentLinkOptions : sig ... end
        module DocumentLinkParams : sig ... end
        module DocumentLinkRegistrationOptions : sig ... end
        module DocumentOnTypeFormattingOptions : sig ... end
        module DocumentOnTypeFormattingParams : sig ... end
        module DocumentRangeFormattingOptions : sig ... end
        module DocumentRangeFormattingParams : sig ... end
        module DocumentRangesFormattingParams : sig ... end
        module DocumentSymbol : sig ... end
        module DocumentSymbolOptions : sig ... end
        module DocumentSymbolParams : sig ... end
        module ExecuteCommandOptions : sig ... end
        module ExecuteCommandParams : sig ... end
        module FileOperationPatternOptions : sig ... end
        module FileOperationPattern : sig ... end
        module FileOperationFilter : sig ... end
        module FileOperationOptions : sig ... end
        module FileRename : sig ... end
        module FoldingRange : sig ... end
        module FoldingRangeOptions : sig ... end
        module FoldingRangeParams : sig ... end
        module FoldingRangeRegistrationOptions : sig ... end
        module Hover : sig ... end
        module HoverOptions : sig ... end
        module HoverParams : sig ... end
        module HoverRegistrationOptions : sig ... end
        module ImplementationOptions : sig ... end
        module ImplementationParams : sig ... end
        module InitializeError : sig ... end
        module InitializeParams : sig ... end
        module WorkspaceSymbolOptions : sig ... end
        module TypeHierarchyOptions : sig ... end
        module TypeDefinitionOptions : sig ... end
        module SaveOptions : sig ... end
        module TextDocumentSyncOptions : sig ... end
        module SignatureHelpOptions : sig ... end
        module SemanticTokensLegend : sig ... end
        module SemanticTokensOptions : sig ... end
        module SelectionRangeOptions : sig ... end
        module RenameOptions : sig ... end
        module ReferenceOptions : sig ... end
        module MonikerRegistrationOptions : sig ... end
        module MonikerOptions : sig ... end
        module LinkedEditingRangeOptions : sig ... end
        module InlineValueRegistrationOptions : sig ... end
        module InlineValueOptions : sig ... end
        module InlineCompletionOptions : sig ... end
        module InlayHintRegistrationOptions : sig ... end
        module InlayHintOptions : sig ... end
        module ServerCapabilities : sig ... end
        module InitializeResult : sig ... end
        module InitializedParams_ : sig ... end
        module InlayHintLabelPart : sig ... end
        module InlayHint : sig ... end
        module InlayHintParams : sig ... end
        module SelectedCompletionInfo : sig ... end
        module InlineCompletionContext : sig ... end
        module StringValue : sig ... end
        module InlineCompletionItem : sig ... end
        module InlineCompletionList : sig ... end
        module InlineCompletionParams : sig ... end
        module InlineValueVariableLookup : sig ... end
        module InlineValueText : sig ... end
        module InlineValue : sig ... end
        module InlineValueContext : sig ... end
        module InlineValueParams : sig ... end
        module LinkedEditingRangeParams : sig ... end
        module LinkedEditingRanges : sig ... end
        module LogMessageParams : sig ... end
        module LogTraceParams : sig ... end
        module MessageActionItem : sig ... end
        module Moniker : sig ... end
        module MonikerParams : sig ... end
        module ParameterInformation : sig ... end
        module PartialResultParams : sig ... end
        module PrepareRenameParams : sig ... end
        module PreviousResultId : sig ... end
        module PublishDiagnosticsParams : sig ... end
        module ReferenceContext : sig ... end
        module ReferenceParams : sig ... end
        module ReferenceRegistrationOptions : sig ... end
        module Registration : sig ... end
        module RegistrationParams : sig ... end
        module RenameFilesParams : sig ... end
        module RenameParams : sig ... end
        module RenameRegistrationOptions : sig ... end
        module ResourceOperation : sig ... end
        module SelectionRange : sig ... end
        module SelectionRangeParams : sig ... end
        module SemanticTokens : sig ... end
        module SemanticTokensEdit : sig ... end
        module SemanticTokensDelta : sig ... end
        module SemanticTokensDeltaParams : sig ... end
        module SemanticTokensParams : sig ... end
        module SemanticTokensPartialResult : sig ... end
        module SemanticTokensRangeParams : sig ... end
        module SetTraceParams : sig ... end
        module ShowDocumentParams : sig ... end
        module ShowDocumentResult : sig ... end
        module ShowMessageParams : sig ... end
        module ShowMessageRequestParams : sig ... end
        module SignatureInformation : sig ... end
        module SignatureHelp : sig ... end
        module SignatureHelpContext : sig ... end
        module SignatureHelpParams : sig ... end
        module StaticRegistrationOptions : sig ... end
        module SymbolInformation : sig ... end
        module TextDocumentPositionParams : sig ... end
        module TextDocumentRegistrationOptions : sig ... end
        module TypeDefinitionParams : sig ... end
        module TypeHierarchyItem : sig ... end
        module TypeHierarchyPrepareParams : sig ... end
        module TypeHierarchySubtypesParams : sig ... end
        module TypeHierarchySupertypesParams : sig ... end
        module Unregistration : sig ... end
        module UnregistrationParams : sig ... end
        module WillSaveTextDocumentParams : sig ... end
        module WorkDoneProgressBegin : sig ... end
        module WorkDoneProgressCancelParams : sig ... end
        module WorkDoneProgressCreateParams : sig ... end
        module WorkDoneProgressEnd : sig ... end
        module WorkDoneProgressOptions : sig ... end
        module WorkDoneProgressParams : sig ... end
        module WorkDoneProgressReport : sig ... end
        module WorkspaceDiagnosticParams : sig ... end
        module WorkspaceDiagnosticReport : sig ... end
        module WorkspaceSymbol : sig ... end
        module WorkspaceSymbolParams : sig ... end
        module CodeActionResult : sig ... end
        module Locations : sig ... end
        diff --git a/lsp/Lsp/Uri/index.html b/lsp/Lsp/Uri/index.html index 7205ec9f..e5f4b943 100644 --- a/lsp/Lsp/Uri/index.html +++ b/lsp/Lsp/Uri/index.html @@ -1,2 +1,2 @@ -Uri (lsp.Lsp.Uri)

        Module Lsp.Uri

        type t
        include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
        val t_of_yojson : Yojson.Safe.t -> t
        val yojson_of_t : t -> Yojson.Safe.t
        val compare : t -> t -> int
        val equal : t -> t -> bool
        val hash : t -> int
        val to_path : t -> string
        val of_path : string -> t
        val to_string : t -> string
        module Private : sig ... end
        +Uri (lsp.Lsp.Uri)

        Module Lsp.Uri

        type t
        include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
        val t_of_yojson : Yojson.Safe.t -> t
        val yojson_of_t : t -> Yojson.Safe.t
        val compare : t -> t -> int
        val equal : t -> t -> bool
        val hash : t -> int
        val to_path : t -> string
        val of_path : string -> t
        val to_string : t -> string
        val of_string : string -> t
        val query : t -> string option
        val fragment : t -> string option
        module Private : sig ... end
        diff --git a/lsp/_doc-dir/CHANGES.md b/lsp/_doc-dir/CHANGES.md index 1aa10a76..efb704fe 100644 --- a/lsp/_doc-dir/CHANGES.md +++ b/lsp/_doc-dir/CHANGES.md @@ -1,3 +1,123 @@ +# 1.20.1 + +## Fixes + +- Deactivate the `jump` code actions by default. Clients can enable them with + the `merlinJumpCodeActions` configuration option. Alternatively a custom + request is provided for ad hoc use of the feature. (#1411) + +# 1.20.0 + +## Features + +- Add custom + [`ocamllsp/typeSearch`](/ocaml-lsp-server/docs/ocamllsp/typeSearch-spec.md) request (#1369) + +- Make MerlinJump code action configurable (#1376) + +- Add custom [`ocamllsp/jump`](/ocaml-lsp-server/docs/ocamllsp/merlinJump-spec.md) request (#1374) + +## Fixes + +- Fix fd leak in running external processes for preprocessing (#1349) + +- Fix prefix parsing for completion of object methods (#1363, fixes #1358) + +- Remove some duplicates in the `selectionRange` answers (#1368) + +# 1.19.0 + +## Features + +- Add custom [`ocamllsp/getDocumentation`](/ocaml-lsp-server/docs/ocamllsp/getDocumentation-spec.md) request (#1336) + +- Add support for OCaml 5.2 (#1233) + +- Add a code-action for syntactic and semantic movement shortcuts based on Merlin's Jump command (#1364) + +## Fixes + +- Kill unnecessary ocamlformat processes with sigterm rather than sigint or + sigkill (#1343) + +## Features + +- Add custom [`ocamllsp/construct`](https://github.com/ocaml/ocaml-lsp/blob/ocaml-lsp-server/docs/ocamllsp/construct-spec.md) request (#1348) + +# 1.18.0 + +## Features + +- Introduce a configuration option to control dune diagnostics. The option is + called `duneDiganostics` and it may be set to `{ enable: false }` to disable + diagnostics. (#1221) + +- Support folding of `ifthenelse` expressions (#1031) + +- Improve hover behavior (#1245) + + Hovers are no longer displaye on useless parsetree nodes such as keywords, + comments, etc. + + Multiline hovers are now filtered away. + + Display expanded ppx's in the hover window. + +- Improve document symbols (#1247) + + Use the parse tree instead of the typed tree. This means that document + symbols will work even if the source code doesn't type check. + + Include symbols at arbitrary depth. + + Differentiate functions / types / variants / etc. + + This now includes PPXs like `let%expect_test` or `let%bench` in the outline. + +- Introduce a `destruct-line` code action. This is an improved version of the + old `destruct` code action. (#1283) + +- Improve signature inference to only include types for elements that were + absent from the signature. Previously, all signature items would always be + inserted. (#1289) + +- Add an `update-signature` code action to update the types of elements that + were already present in the signature (#1289) + +- Add custom + [`ocamllsp/merlinCallCompatible`](https://github.com/ocaml/ocaml-lsp/blob/e165f6a3962c356adc7364b9ca71788e93489dd0/ocaml-lsp-server/docs/ocamllsp/merlinCallCompatible-spec.md) + request (#1265) + +- Add custom [`ocamllsp/typeEnclosing`](https://github.com/ocaml/ocaml-lsp/blob/109801e56f2060caf4487427bede28b824f4f1fe/ocaml-lsp-server/docs/ocamllsp/typeEnclosing-spec.md) request (#1304) + +## Fixes + +- Detect document kind by looking at merlin's `suffixes` config. + + This enables more lsp features for non-.ml/.mli files. Though it still + depends on merlin's support. (#1237) + +- Correctly accept the `--clientProcessId` flag. (#1242) + +- Disable automatic completion and signature help inside comments (#1246) + +- Includes a new optional/configurable option to toggle syntax documentation. If + toggled on, allows display of syntax documentation on hover tooltips. Can be + controlled via environment variables and by GUI for VS code. (#1218) + +- For completions on labels that the LSP gets from merlin, take into account + whether the prefix being completed starts with `~` or `?`. Change the label + completions that start with `?` to start with `~` when the prefix being + completed starts with `~`. (#1277) + +- Fix document syncing (#1278, #1280, fixes #1207) + +- Stop generating inlay hints on generated code (#1290) + +- Fix parenthesizing of function types in `SignatureHelp` (#1296) + +- Fix syntax documentation rendering (#1318) + # 1.17.0 ## Fixes @@ -26,6 +146,7 @@ - Add mark/remove unused actions for open, types, for loop indexes, modules, match cases, rec, and constructors (#1141) +- Add inlay hints for types on let bindings (#1159) - Offer auto-completion for the keyword `in` (#1217) diff --git a/lsp/_doc-dir/README.md b/lsp/_doc-dir/README.md index 9b469fa3..84359648 100644 --- a/lsp/_doc-dir/README.md +++ b/lsp/_doc-dir/README.md @@ -4,7 +4,7 @@ [![Build][build-badge]][build] [![Coverage Status][coverall-badge]][coverall] -[build-badge]: https://github.com/ocaml/ocaml-lsp/workflows/Build%20and%20Test/badge.svg +[build-badge]: https://github.com/ocaml/ocaml-lsp/actions/workflows/build-and-test.yml/badge.svg [build]: https://github.com/ocaml/ocaml-lsp/actions [coverall-badge]: https://coveralls.io/repos/github/ocaml/ocaml-lsp/badge.svg?branch=master [coverall]: https://coveralls.io/github/ocaml/ocaml-lsp?branch=master @@ -304,6 +304,36 @@ of the value needs to be non-polymorphic to construct a meaningful value. Tip (for VS Code OCaml Platform users): You can construct a value using a keybinding Alt+C or on MacOS Option+C +#### Syntax Documentation + +> since OCaml-LSP 1.18.0 + +OCaml-LSP can display documentation about the node under the cursor when +the user hovers over some OCaml code. For example, hovering over the code +snippet below will display some information about what the syntax +is: + +```ocaml +type point = {x: int; y: int} +``` +Hovering over the above will +display: +``` +ocaml type point = { x : int; y : int } +syntax Record type: +Allows you to define variants with a fixed set of fields, and all of the +constructors for a record variant type must have the same fields. See +Manual +``` +The documentation is gotten from the Merlin engine which receives +the nodes under the cursor and infers what the syntax may be about, and +displays the required information along with links to the manual for further +reading. + +Syntax Documentation is an optional feature and can be activated by +using the LSP config system with the key called `syntaxDocumentation` and can +be enabled via setting it to `{ enable: true }`. + ## Debugging If you use Visual Studio Code, please see OCaml Platform extension @@ -326,7 +356,7 @@ cd ocaml-lsp git submodule update --init --recursive # create local switch (or use global one) -opam switch --yes create . ocaml-base-compiler.4.14.0 +opam switch --yes create . # don't forget to set your environment to use the local switch eval $(opam env)