type _ t = | Shutdown : unit t| Initialize : Types.InitializeParams.t -> Types.InitializeResult.t t| TextDocumentHover : Types.HoverParams.t -> Types.Hover.t option t| TextDocumentDefinition : Types.DefinitionParams.t -> Types.Locations.t option t| TextDocumentDeclaration : Types.TextDocumentPositionParams.t -> Types.Locations.t
option
t| TextDocumentTypeDefinition : Types.TypeDefinitionParams.t -> Types.Locations.t
option
t| TextDocumentImplementation : Types.ImplementationParams.t -> Types.Locations.t
option
t| TextDocumentCompletion : Types.CompletionParams.t -> [ `CompletionList of
Types.CompletionList.t
| `List of
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| 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| TextDocumentLink : Types.DocumentLinkParams.t -> Types.DocumentLink.t list
option
t| TextDocumentLinkResolve : Types.DocumentLink.t -> Types.DocumentLink.t t| TextDocumentMoniker : Types.MonikerParams.t -> Types.Moniker.t list option t| DocumentSymbol : Types.DocumentSymbolParams.t -> [ `DocumentSymbol of
Types.DocumentSymbol.t
list
| `SymbolInformation of
Types.SymbolInformation.t
list ]
option
t| WorkspaceSymbol : Types.WorkspaceSymbolParams.t -> Types.SymbolInformation.t
list
option
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
list
option
t| TextDocumentFoldingRange : Types.FoldingRangeParams.t -> Types.FoldingRange.t
list
option
t| SignatureHelp : Types.SignatureHelpParams.t -> Types.SignatureHelp.t t| CodeAction : Types.CodeActionParams.t -> Types.CodeActionResult.t t| CodeActionResolve : Types.CodeAction.t -> Types.CodeAction.t t| CompletionItemResolve : Types.CompletionItem.t -> Types.CompletionItem.t t| WillSaveWaitUntilTextDocument : Types.WillSaveTextDocumentParams.t ->
Types.TextEdit.t list option
t| TextDocumentFormatting : Types.DocumentFormattingParams.t -> Types.TextEdit.t
list
option
t| TextDocumentOnTypeFormatting : Types.DocumentOnTypeFormattingParams.t ->
Types.TextEdit.t list option
t| TextDocumentColorPresentation : Types.ColorPresentationParams.t -> Types.ColorPresentation.t
list
t| TextDocumentColor : Types.DocumentColorParams.t -> Types.ColorInformation.t
list
t| SelectionRange : Types.SelectionRangeParams.t -> Types.SelectionRange.t list t| ExecuteCommand : Types.ExecuteCommandParams.t -> Import.Json.t t| SemanticTokensFull : Types.SemanticTokensParams.t -> Types.SemanticTokens.t
option
t| SemanticTokensDelta : Types.SemanticTokensDeltaParams.t -> [ `SemanticTokens of
Types.SemanticTokens.t
| `SemanticTokensDelta of
Types.SemanticTokensDelta.t ]
option
t| SemanticTokensRange : Types.SemanticTokensRangeParams.t -> Types.SemanticTokens.t
option
t| LinkedEditingRange : Types.LinkedEditingRangeParams.t -> Types.LinkedEditingRanges.t
option
t| CallHierarchyIncomingCalls : Types.CallHierarchyIncomingCallsParams.t ->
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| 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 : {meth : string;params : Jsonrpc.Structured.t option;} -> Import.Json.t tval yojson_of_result : 'a t -> 'a -> Import.Json.tval of_jsonrpc : Jsonrpc.Request.t -> (packed, string) Import.Result.tval to_jsonrpc_request : _ t -> id:Jsonrpc.Id.t -> Jsonrpc.Request.tval response_of_json : 'a t -> Import.Json.t -> 'aval text_document :
_ t ->
(meth:string ->
params:Jsonrpc.Structured.t option ->
Types.TextDocumentIdentifier.t option) ->
Types.TextDocumentIdentifier.t option