Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
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.
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 |