Language.LSP.Message.Method

Reexports

Definitions

data MethodFrom : Type

Totality: total
Visibility: public export
Constructors:

Client : MethodFrom

Server : MethodFrom

Hints:

FromJSON (from : MethodFrom ** (method : Method from Notification ** NotificationMessage method))

FromJSON (from : MethodFrom ** (method : Method from Request ** RequestMessage method))

FromJSON (from : MethodFrom ** (type : MethodType ** (method : Method from type ** Message type method)))

FromJSON (ResponseResult method) => FromJSON (ResponseMessage method)

FromJSON (from : MethodFrom ** Method from Notification)

FromJSON (from : MethodFrom ** Method from Request)

FromJSON (from : MethodFrom ** (type : MethodType ** Method from type))

ToJSON (NotificationMessage method)

ToJSON (RequestMessage method)

ToJSON (ResponseMessage method)

ToJSON (Method type from)

data MethodType : Type

Totality: total
Visibility: public export
Constructors:

Notification : MethodType

Request : MethodType

Hints:

FromJSON (from : MethodFrom ** (type : MethodType ** (method : Method from type ** Message type method)))

FromJSON (from : MethodFrom ** (type : MethodType ** Method from type))

ToJSON (Method type from)

data Method : MethodFrom -> MethodType -> Type

Totality: total
Visibility: public export
Constructors:

Initialize : Method Client Request

Initialized : Method Client Notification

Shutdown : Method Client Request

Exit : Method Client Notification

SetTrace : Method Client Notification

WindowWorkDoneProgressCancel : Method Client Notification

WorkspaceDidChangeWorkspaceFolders : Method Client Notification

WorkspaceDidChangeConfiguration : Method Client Notification

WorkspaceDidChangeWatchedFiles : Method Client Notification

WorkspaceSymbol : Method Client Request

WorkspaceExecuteCommand : Method Client Request

WorkspaceWillCreateFiles : Method Client Request

TextDocumentDidOpen : Method Client Notification

TextDocumentDidChange : Method Client Notification

TextDocumentWillSave : Method Client Notification

TextDocumentWillSaveWaitUntil : Method Client Request

TextDocumentDidSave : Method Client Notification

TextDocumentDidClose : Method Client Notification

TextDocumentCompletion : Method Client Request

CompletionItemResolve : Method Client Request

TextDocumentHover : Method Client Request

TextDocumentSignatureHelp : Method Client Request

TextDocumentDeclaration : Method Client Request

TextDocumentDefinition : Method Client Request

TextDocumentTypeDefinition : Method Client Request

TextDocumentImplementation : Method Client Request

TextDocumentReferences : Method Client Request

TextDocumentDocumentHighlight : Method Client Request

TextDocumentDocumentSymbol : Method Client Request

TextDocumentCodeAction : Method Client Request

CodeActionResolve : Method Client Request

TextDocumentCodeLens : Method Client Request

CodeLensResolve : Method Client Request

TextDocumentDocumentLink : Method Client Request

DocumentLinkResolve : Method Client Request

TextDocumentDocumentColor : Method Client Request

TextDocumentFormatting : Method Client Request

TextDocumentRangeFormatting : Method Client Request

TextDocumentOnTypeFormatting : Method Client Request

TextDocumentRename : Method Client Request

TextDocumentPrepareRename : Method Client Request

TextDocumentFoldingRange : Method Client Request

TextDocumentSelectionRange : Method Client Request

TextDocumentPrepareCallHierarchy : Method Client Request

CallHierarchyIncomingCalls : Method Client Request

CallHierarchyOutgoingCalls : Method Client Request

TextDocumentSemanticTokensFull : Method Client Request

TextDocumentSemanticTokensFullDelta : Method Client Request

TextDocumentSemanticTokensRange : Method Client Request

TextDocumentLinkedEditingRange : Method Client Request

TextDocumentMoniker : Method Client Request

LogTrace : Method Server Notification

WindowShowMessage : Method Server Notification

WindowShowMessageRequest : Method Server Request

WindowShowDocument : Method Server Request

WindowLogMessage : Method Server Notification

WindowWorkDoneProgressCreate : Method Server Request

TelemetryEvent : Method Server Notification

ClientRegisterCapability : Method Server Request

ClientUnregisterCapability : Method Server Request

WorkspaceWorkspaceFolders : Method Server Request

WorkspaceConfiguration : Method Server Request

WorkspaceApplyEdit : Method Server Request

TextDocumentPublishDiagnostics : Method Server Notification

WorkspaceCodeLensRefresh : Method Server Request

WorkspaceSemanticTokensRefresh : Method Server Request

CancelRequest : Method from Notification

Progress : Method from Notification

Hints:

FromJSON (from : MethodFrom ** (method : Method from Notification ** NotificationMessage method))

FromJSON (from : MethodFrom ** (method : Method from Request ** RequestMessage method))

FromJSON (from : MethodFrom ** (type : MethodType ** (method : Method from type ** Message type method)))

FromJSON (ResponseResult method) => FromJSON (ResponseMessage method)

FromJSON (Method Client Notification)

FromJSON (Method Client Request)

FromJSON (Method Server Notification)

FromJSON (Method Server Request)

FromJSON (from : MethodFrom ** Method from Notification)

FromJSON (from : MethodFrom ** Method from Request)

FromJSON (from : MethodFrom ** (type : MethodType ** Method from type))

ToJSON (NotificationMessage method)

ToJSON (RequestMessage method)

ToJSON (ResponseMessage method)

ToJSON (Method type from)

methodType : Method type from -> MethodType

Totality: total
Visibility: export