| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.LSP.Messages
Synopsis
- data FromClientMessage
- = ReqInitialize InitializeRequest
- | ReqShutdown ShutdownRequest
- | ReqHover HoverRequest
- | ReqCompletion CompletionRequest
- | ReqCompletionItemResolve CompletionItemResolveRequest
- | ReqSignatureHelp SignatureHelpRequest
- | ReqDefinition DefinitionRequest
- | ReqTypeDefinition TypeDefinitionRequest
- | ReqImplementation ImplementationRequest
- | ReqFindReferences ReferencesRequest
- | ReqDocumentHighlights DocumentHighlightRequest
- | ReqDocumentSymbols DocumentSymbolRequest
- | ReqWorkspaceSymbols WorkspaceSymbolRequest
- | ReqCodeAction CodeActionRequest
- | ReqCodeLens CodeLensRequest
- | ReqCodeLensResolve CodeLensResolveRequest
- | ReqDocumentLink DocumentLinkRequest
- | ReqDocumentLinkResolve DocumentLinkResolveRequest
- | ReqDocumentColor DocumentColorRequest
- | ReqColorPresentation ColorPresentationRequest
- | ReqDocumentFormatting DocumentFormattingRequest
- | ReqDocumentRangeFormatting DocumentRangeFormattingRequest
- | ReqDocumentOnTypeFormatting DocumentOnTypeFormattingRequest
- | ReqRename RenameRequest
- | ReqFoldingRange FoldingRangeRequest
- | ReqExecuteCommand ExecuteCommandRequest
- | ReqWillSaveWaitUntil WillSaveWaitUntilTextDocumentRequest
- | RspApplyWorkspaceEdit ApplyWorkspaceEditResponse
- | RspFromClient BareResponseMessage
- | NotInitialized InitializedNotification
- | NotExit ExitNotification
- | NotCancelRequestFromClient CancelNotification
- | NotDidChangeConfiguration DidChangeConfigurationNotification
- | NotDidOpenTextDocument DidOpenTextDocumentNotification
- | NotDidChangeTextDocument DidChangeTextDocumentNotification
- | NotDidCloseTextDocument DidCloseTextDocumentNotification
- | NotWillSaveTextDocument WillSaveTextDocumentNotification
- | NotDidSaveTextDocument DidSaveTextDocumentNotification
- | NotDidChangeWatchedFiles DidChangeWatchedFilesNotification
- | NotDidChangeWorkspaceFolders DidChangeWorkspaceFoldersNotification
- | NotProgressCancel ProgressCancelNotification
- | ReqCustomClient CustomClientRequest
- | NotCustomClient CustomClientNotification
- data FromServerMessage
- = ReqRegisterCapability RegisterCapabilityRequest
- | ReqUnregisterCapability UnregisterCapabilityRequest
- | ReqApplyWorkspaceEdit ApplyWorkspaceEditRequest
- | ReqShowMessage ShowMessageRequest
- | RspInitialize InitializeResponse
- | RspShutdown ShutdownResponse
- | RspHover HoverResponse
- | RspCompletion CompletionResponse
- | RspCompletionItemResolve CompletionItemResolveResponse
- | RspSignatureHelp SignatureHelpResponse
- | RspDefinition DefinitionResponse
- | RspTypeDefinition TypeDefinitionResponse
- | RspImplementation ImplementationResponse
- | RspFindReferences ReferencesResponse
- | RspDocumentHighlights DocumentHighlightsResponse
- | RspDocumentSymbols DocumentSymbolsResponse
- | RspWorkspaceSymbols WorkspaceSymbolsResponse
- | RspCodeAction CodeActionResponse
- | RspCodeLens CodeLensResponse
- | RspCodeLensResolve CodeLensResolveResponse
- | RspDocumentLink DocumentLinkResponse
- | RspDocumentLinkResolve DocumentLinkResolveResponse
- | RspDocumentColor DocumentColorResponse
- | RspColorPresentation ColorPresentationResponse
- | RspDocumentFormatting DocumentFormattingResponse
- | RspDocumentRangeFormatting DocumentRangeFormattingResponse
- | RspDocumentOnTypeFormatting DocumentOnTypeFormattingResponse
- | RspRename RenameResponse
- | RspFoldingRange FoldingRangeResponse
- | RspExecuteCommand ExecuteCommandResponse
- | RspError ErrorResponse
- | RspWillSaveWaitUntil WillSaveWaitUntilTextDocumentResponse
- | NotPublishDiagnostics PublishDiagnosticsNotification
- | NotLogMessage LogMessageNotification
- | NotShowMessage ShowMessageNotification
- | NotProgressStart ProgressStartNotification
- | NotProgressReport ProgressReportNotification
- | NotProgressDone ProgressDoneNotification
- | NotTelemetry TelemetryNotification
- | NotCancelRequestFromServer CancelNotificationServer
- | ReqCustomServer CustomServerRequest
- | RspCustomServer CustomResponse
- | NotCustomServer CustomServerNotification
Documentation
data FromClientMessage Source #
A wrapper around a message that originates from the client and is sent to the server.
Constructors
| ReqInitialize InitializeRequest | |
| ReqShutdown ShutdownRequest | |
| ReqHover HoverRequest | |
| ReqCompletion CompletionRequest | |
| ReqCompletionItemResolve CompletionItemResolveRequest | |
| ReqSignatureHelp SignatureHelpRequest | |
| ReqDefinition DefinitionRequest | |
| ReqTypeDefinition TypeDefinitionRequest | |
| ReqImplementation ImplementationRequest | |
| ReqFindReferences ReferencesRequest | |
| ReqDocumentHighlights DocumentHighlightRequest | |
| ReqDocumentSymbols DocumentSymbolRequest | |
| ReqWorkspaceSymbols WorkspaceSymbolRequest | |
| ReqCodeAction CodeActionRequest | |
| ReqCodeLens CodeLensRequest | |
| ReqCodeLensResolve CodeLensResolveRequest | |
| ReqDocumentLink DocumentLinkRequest | |
| ReqDocumentLinkResolve DocumentLinkResolveRequest | |
| ReqDocumentColor DocumentColorRequest | |
| ReqColorPresentation ColorPresentationRequest | |
| ReqDocumentFormatting DocumentFormattingRequest | |
| ReqDocumentRangeFormatting DocumentRangeFormattingRequest | |
| ReqDocumentOnTypeFormatting DocumentOnTypeFormattingRequest | |
| ReqRename RenameRequest | |
| ReqFoldingRange FoldingRangeRequest | |
| ReqExecuteCommand ExecuteCommandRequest | |
| ReqWillSaveWaitUntil WillSaveWaitUntilTextDocumentRequest | |
| RspApplyWorkspaceEdit ApplyWorkspaceEditResponse | |
| RspFromClient BareResponseMessage | |
| NotInitialized InitializedNotification | |
| NotExit ExitNotification | |
| NotCancelRequestFromClient CancelNotification | |
| NotDidChangeConfiguration DidChangeConfigurationNotification | |
| NotDidOpenTextDocument DidOpenTextDocumentNotification | |
| NotDidChangeTextDocument DidChangeTextDocumentNotification | |
| NotDidCloseTextDocument DidCloseTextDocumentNotification | |
| NotWillSaveTextDocument WillSaveTextDocumentNotification | |
| NotDidSaveTextDocument DidSaveTextDocumentNotification | |
| NotDidChangeWatchedFiles DidChangeWatchedFilesNotification | |
| NotDidChangeWorkspaceFolders DidChangeWorkspaceFoldersNotification | |
| NotProgressCancel ProgressCancelNotification | |
| ReqCustomClient CustomClientRequest | |
| NotCustomClient CustomClientNotification |
Instances
data FromServerMessage Source #
A wrapper around a message that originates from the server and is sent to the client.
Constructors
| ReqRegisterCapability RegisterCapabilityRequest | |
| ReqUnregisterCapability UnregisterCapabilityRequest | |
| ReqApplyWorkspaceEdit ApplyWorkspaceEditRequest | |
| ReqShowMessage ShowMessageRequest | |
| RspInitialize InitializeResponse | |
| RspShutdown ShutdownResponse | |
| RspHover HoverResponse | |
| RspCompletion CompletionResponse | |
| RspCompletionItemResolve CompletionItemResolveResponse | |
| RspSignatureHelp SignatureHelpResponse | |
| RspDefinition DefinitionResponse | |
| RspTypeDefinition TypeDefinitionResponse | |
| RspImplementation ImplementationResponse | |
| RspFindReferences ReferencesResponse | |
| RspDocumentHighlights DocumentHighlightsResponse | |
| RspDocumentSymbols DocumentSymbolsResponse | |
| RspWorkspaceSymbols WorkspaceSymbolsResponse | |
| RspCodeAction CodeActionResponse | |
| RspCodeLens CodeLensResponse | |
| RspCodeLensResolve CodeLensResolveResponse | |
| RspDocumentLink DocumentLinkResponse | |
| RspDocumentLinkResolve DocumentLinkResolveResponse | |
| RspDocumentColor DocumentColorResponse | |
| RspColorPresentation ColorPresentationResponse | |
| RspDocumentFormatting DocumentFormattingResponse | |
| RspDocumentRangeFormatting DocumentRangeFormattingResponse | |
| RspDocumentOnTypeFormatting DocumentOnTypeFormattingResponse | |
| RspRename RenameResponse | |
| RspFoldingRange FoldingRangeResponse | |
| RspExecuteCommand ExecuteCommandResponse | |
| RspError ErrorResponse | |
| RspWillSaveWaitUntil WillSaveWaitUntilTextDocumentResponse | |
| NotPublishDiagnostics PublishDiagnosticsNotification | |
| NotLogMessage LogMessageNotification | |
| NotShowMessage ShowMessageNotification | |
| NotProgressStart ProgressStartNotification | |
| NotProgressReport ProgressReportNotification | |
| NotProgressDone ProgressDoneNotification | |
| NotTelemetry TelemetryNotification | |
| NotCancelRequestFromServer CancelNotificationServer | |
| ReqCustomServer CustomServerRequest | |
| RspCustomServer CustomResponse | |
| NotCustomServer CustomServerNotification |