| Safe Haskell | None | 
|---|---|
| Language | Haskell2010 | 
Language.Haskell.LSP.Messages
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
 - | UnknownFromClientMessage Value
 
 - 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
 
 
Documentation
data FromClientMessage Source #
A wrapper around a message that originates from the client and is sent to the server.
Constructors
Instances
data FromServerMessage Source #
A wrapper around a message that originates from the server and is sent to the client.
Constructors