Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Language.Haskell.LSP.Types.MessageFuncs
- 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.
Instances
data FromServerMessage Source #
A wrapper around a message that originates from the server and is sent to the client.