Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- class HasVersion s a | s -> a where
- class HasUri s a | s -> a where
- class HasText s a | s -> a where
- class HasLanguageId s a | s -> a where
- data DocumentFilter = DocumentFilter {}
- class HasTextDocument s a | s -> a where
- class HasPosition s a | s -> a where
- data InitializeParams = InitializeParams {}
- data Trace
- type DocumentSelector = List DocumentFilter
- class HasScheme s a | s -> a where
- class HasPattern s a | s -> a where
- class HasLanguage s a | s -> a where
- data InitializeError = InitializeError {}
- class HasTrace s a | s -> a where
- class HasRootUri s a | s -> a where
- class HasRootPath s a | s -> a where
- class HasProcessId s a | s -> a where
- class HasInitializationOptions s a | s -> a where
- class HasCapabilities s a | s -> a where
- data CompletionOptions = CompletionOptions {}
- data TextDocumentSyncKind
- class HasRetry s a | s -> a where
- data SignatureHelpOptions = SignatureHelpOptions {}
- class HasTriggerCharacters s a | s -> a where
- class HasResolveProvider s a | s -> a where
- data CodeLensOptions = CodeLensOptions {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentLinkOptions = DocumentLinkOptions {}
- class HasMoreTriggerCharacter s a | s -> a where
- class HasFirstTriggerCharacter s a | s -> a where
- data ExecuteCommandOptions = ExecuteCommandOptions {}
- data SaveOptions = SaveOptions {}
- class HasCommands s a | s -> a where
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- class HasIncludeText s a | s -> a where
- data InitializeResponseCapabilitiesInner = InitializeResponseCapabilitiesInner {
- _textDocumentSync :: Maybe TDS
- _hoverProvider :: Maybe Bool
- _completionProvider :: Maybe CompletionOptions
- _signatureHelpProvider :: Maybe SignatureHelpOptions
- _definitionProvider :: Maybe Bool
- _referencesProvider :: Maybe Bool
- _documentHighlightProvider :: Maybe Bool
- _documentSymbolProvider :: Maybe Bool
- _workspaceSymbolProvider :: Maybe Bool
- _codeActionProvider :: Maybe Bool
- _codeLensProvider :: Maybe CodeLensOptions
- _documentFormattingProvider :: Maybe Bool
- _documentRangeFormattingProvider :: Maybe Bool
- _documentOnTypeFormattingProvider :: Maybe DocumentOnTypeFormattingOptions
- _renameProvider :: Maybe Bool
- _documentLinkProvider :: Maybe DocumentLinkOptions
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _experimental :: Maybe Value
- data TDS
- class HasWillSaveWaitUntil s a | s -> a where
- class HasWillSave s a | s -> a where
- class HasSave s a | s -> a where
- class HasOpenClose s a | s -> a where
- class HasChange s a | s -> a where
- data InitializeResponseCapabilities = InitializeResponseCapabilities {}
- class HasWorkspaceSymbolProvider s a | s -> a where
- class HasTextDocumentSync s a | s -> a where
- class HasSignatureHelpProvider s a | s -> a where
- class HasRenameProvider s a | s -> a where
- class HasReferencesProvider s a | s -> a where
- class HasHoverProvider s a | s -> a where
- class HasExperimental s a | s -> a where
- class HasExecuteCommandProvider s a | s -> a where
- class HasDocumentSymbolProvider s a | s -> a where
- class HasDocumentRangeFormattingProvider s a | s -> a where
- class HasDocumentOnTypeFormattingProvider s a | s -> a where
- class HasDocumentLinkProvider s a | s -> a where
- class HasDocumentHighlightProvider s a | s -> a where
- class HasDocumentFormattingProvider s a | s -> a where
- class HasDefinitionProvider s a | s -> a where
- class HasCompletionProvider s a | s -> a where
- class HasCodeLensProvider s a | s -> a where
- class HasCodeActionProvider s a | s -> a where
- data ExitParams = ExitParams {
- type ShutdownResponse = ResponseMessage Text
- type ShutdownRequest = RequestMessage ClientMethod (Maybe Value) Text
- type InitializedNotification = NotificationMessage ClientMethod (Maybe InitializedParams)
- data InitializedParams = InitializedParams {
- type InitializeRequest = RequestMessage ClientMethod InitializeParams InitializeResponseCapabilities
- type InitializeResponse = ResponseMessage InitializeResponseCapabilities
- data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
- data MessageType
- type ExitNotification = NotificationMessage ClientMethod (Maybe ExitParams)
- data MessageActionItem = MessageActionItem {}
- type ShowMessageNotification = NotificationMessage ServerMethod ShowMessageParams
- class HasXtype s a | s -> a where
- class HasMessage s a | s -> a where
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- class HasTitle s a | s -> a where
- data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
- type ShowMessageResponse = ResponseMessage Text
- type ShowMessageRequest = RequestMessage ServerMethod ShowMessageRequestParams Text
- class HasActions s a | s -> a where
- data Registration = Registration {
- _id :: Text
- _method :: ClientMethod
- _registerOptions :: Maybe Value
- type TelemetryNotification = NotificationMessage ServerMethod Value
- type LogMessageNotification = NotificationMessage ServerMethod LogMessageParams
- data RegistrationParams = RegistrationParams {}
- class HasRegisterOptions s a | s -> a where
- class HasMethod s a | s -> a where
- class HasId s a | s -> a where
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- type RegisterCapabilityResponse = ResponseMessage ()
- type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams ()
- class HasRegistrations s a | s -> a where
- data Unregistration = Unregistration {}
- class HasDocumentSelector s a | s -> a where
- data UnregistrationParams = UnregistrationParams {}
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- type UnregisterCapabilityResponse = ResponseMessage ()
- type UnregisterCapabilityRequest = RequestMessage ServerMethod UnregistrationParams ()
- class HasUnregistrations s a | s -> a where
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams
- class HasSettings s a | s -> a where
- data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {}
- type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- class HasRangeLength s a | s -> a where
- class HasRange s a | s -> a where
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams
- class HasContentChanges s a | s -> a where
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- data TextDocumentSaveReason
- class HasSyncKind s a | s -> a where
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- type WillSaveWaitUntilTextDocumentResponse = ResponseMessage (List TextEdit)
- type WillSaveWaitUntilTextDocumentRequest = RequestMessage ClientMethod WillSaveTextDocumentParams (List TextEdit)
- type WillSaveTextDocumentNotification = NotificationMessage ClientMethod WillSaveTextDocumentParams
- class HasReason s a | s -> a where
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams
- data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
- data FileChangeType
- type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _diagnostics :: List Diagnostic
- type DidChangeWatchedFilesNotification = NotificationMessage ClientMethod DidChangeWatchedFilesParams
- class HasChanges s a | s -> a where
- data CompletionItem = CompletionItem {
- _label :: Text
- _kind :: Maybe CompletionItemKind
- _detail :: Maybe Text
- _documentation :: Maybe Text
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _textEdit :: Maybe TextEdit
- _additionalTextEdits :: Maybe (List TextEdit)
- _command :: Maybe Command
- _xdata :: Maybe Value
- data CompletionItemKind
- data InsertTextFormat
- type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams
- class HasDiagnostics s a | s -> a where
- data CompletionListType = CompletionListType {}
- class HasXdata s a | s -> a where
- class HasTextEdit s a | s -> a where
- class HasSortText s a | s -> a where
- class HasLabel s a | s -> a where
- class HasKind s a | s -> a where
- class HasInsertTextFormat s a | s -> a where
- class HasInsertText s a | s -> a where
- class HasFilterText s a | s -> a where
- class HasDocumentation s a | s -> a where
- class HasDetail s a | s -> a where
- class HasCommand s a | s -> a where
- class HasAdditionalTextEdits s a | s -> a where
- data CompletionResponseResult
- class HasItems s a | s -> a where
- class HasIsIncomplete s a | s -> a where
- data CompletionRegistrationOptions = CompletionRegistrationOptions {}
- type CompletionRequest = RequestMessage ClientMethod TextDocumentPositionParams CompletionResponseResult
- type CompletionResponse = ResponseMessage CompletionResponseResult
- data LanguageString = LanguageString {}
- type CompletionItemResolveResponse = ResponseMessage CompletionItem
- type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem
- data Hover = Hover {}
- data MarkedString
- class HasValue s a | s -> a where
- data ParameterInformation = ParameterInformation {
- _label :: Text
- _documentation :: Maybe Text
- type HoverResponse = ResponseMessage Hover
- type HoverRequest = RequestMessage ClientMethod TextDocumentPositionParams Hover
- class HasContents s a | s -> a where
- data SignatureInformation = SignatureInformation {}
- data SignatureHelp = SignatureHelp {}
- class HasParameters s a | s -> a where
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- type SignatureHelpResponse = ResponseMessage SignatureHelp
- type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp
- class HasSignatures s a | s -> a where
- class HasActiveSignature s a | s -> a where
- class HasActiveParameter s a | s -> a where
- data ReferenceContext = ReferenceContext {}
- type DefinitionResponse = ResponseMessage DefinitionResponseParams
- type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams DefinitionResponseParams
- data DefinitionResponseParams
- data ReferenceParams = ReferenceParams {}
- class HasIncludeDeclaration s a | s -> a where
- data DocumentHighlight = DocumentHighlight {}
- data DocumentHighlightKind
- type ReferencesResponse = ResponseMessage (List Location)
- type ReferencesRequest = RequestMessage ClientMethod ReferenceParams (List Location)
- class HasContext s a | s -> a where
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
- type DocumentHighlightsResponse = ResponseMessage (List DocumentHighlight)
- type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight)
- data CodeLensParams = CodeLensParams {}
- type WorkspaceSymbolsResponse = ResponseMessage (List SymbolInformation)
- type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation)
- class HasQuery s a | s -> a where
- data CodeLens = CodeLens {}
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- type CodeLensResponse = ResponseMessage (List CodeLens)
- type CodeLensRequest = RequestMessage ClientMethod CodeLensParams (List CodeLens)
- data DocumentLinkParams = DocumentLinkParams {}
- type CodeLensResolveResponse = ResponseMessage (List CodeLens)
- type CodeLensResolveRequest = RequestMessage ClientMethod CodeLens (List CodeLens)
- data DocumentLink = DocumentLink {}
- data FormattingOptions = FormattingOptions {
- _tabSize :: Int
- _insertSpaces :: Bool
- type DocumentLinkResolveResponse = ResponseMessage DocumentLink
- type DocumentLinkResolveRequest = RequestMessage ClientMethod DocumentLink DocumentLink
- type DocumentLinkResponse = ResponseMessage (List DocumentLink)
- type DocumentLinkRequest = RequestMessage ClientMethod DocumentLinkParams (List DocumentLink)
- class HasTarget s a | s -> a where
- data DocumentFormattingParams = DocumentFormattingParams {}
- class HasTabSize s a | s -> a where
- class HasInsertSpaces s a | s -> a where
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- type DocumentFormattingResponse = ResponseMessage (List TextEdit)
- type DocumentFormattingRequest = RequestMessage ClientMethod DocumentFormattingParams (List TextEdit)
- class HasOptions s a | s -> a where
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- type DocumentRangeFormattingResponse = ResponseMessage (List TextEdit)
- type DocumentRangeFormattingRequest = RequestMessage ClientMethod DocumentRangeFormattingParams (List TextEdit)
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- type DocumentOnTypeFormattingResponse = ResponseMessage (List TextEdit)
- type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit)
- class HasCh s a | s -> a where
- data RenameParams = RenameParams {}
- data ExecuteCommandParams = ExecuteCommandParams {}
- type RenameResponse = ResponseMessage WorkspaceEdit
- type RenameRequest = RequestMessage ClientMethod RenameParams WorkspaceEdit
- class HasNewName s a | s -> a where
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {}
- type ExecuteCommandResponse = ResponseMessage Value
- type ExecuteCommandRequest = RequestMessage ClientMethod ExecuteCommandParams Value
- class HasArguments s a | s -> a where
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {}
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {}
- class HasEdit s a | s -> a where
- data TraceParams = TraceParams {}
- type ApplyWorkspaceEditResponse = ResponseMessage ApplyWorkspaceEditResponseBody
- type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody
- class HasApplied s a | s -> a where
- data TraceNotification = TraceNotification {}
- class HasParams s a | s -> a where
- class HasLine s a | s -> a where
- class HasCharacter s a | s -> a where
- class HasStart s a | s -> a where
- class HasEnd s a | s -> a where
- class HasNewText s a | s -> a where
- class HasEdits s a | s -> a where
- class HasDocumentChanges s a | s -> a where
- class HasJsonrpc s a | s -> a where
- class HasCode s a | s -> a where
- class HasResult s a | s -> a where
- class HasError s a | s -> a where
- class HasSource s a | s -> a where
- class HasSeverity s a | s -> a where
- class HasRelatedInformation s a | s -> a where
- class HasLocation s a | s -> a where
- class HasName s a | s -> a where
- class HasContainerName s a | s -> a where
- data CodeActionKind
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- data CodeAction = CodeAction {
- _title :: Text
- _kind :: Maybe CodeActionKind
- _diagnostics :: Maybe (List Diagnostic)
- _edit :: Maybe WorkspaceEdit
- _command :: Maybe Command
- data CommandOrCodeAction
- type CodeActionRequest = RequestMessage ClientMethod CodeActionParams (List CommandOrCodeAction)
- type CodeActionResponse = ResponseMessage (List CommandOrCodeAction)
- data Command = Command {}
- data DiagnosticSeverity
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- type DiagnosticSource = Text
- data Diagnostic = Diagnostic {}
- newtype List a = List [a]
- data Position = Position {
- _line :: Int
- _character :: Int
- data Range = Range {}
- data Location = Location {}
- data LspId
- data LspIdRsp
- responseId :: LspId -> LspIdRsp
- requestId :: LspIdRsp -> LspId
- data ClientMethod
- = Initialize
- | Initialized
- | Shutdown
- | Exit
- | CancelRequest
- | WorkspaceDidChangeConfiguration
- | WorkspaceDidChangeWatchedFiles
- | WorkspaceSymbol
- | WorkspaceExecuteCommand
- | TextDocumentDidOpen
- | TextDocumentDidChange
- | TextDocumentWillSave
- | TextDocumentWillSaveWaitUntil
- | TextDocumentDidSave
- | TextDocumentDidClose
- | TextDocumentCompletion
- | CompletionItemResolve
- | TextDocumentHover
- | TextDocumentSignatureHelp
- | TextDocumentReferences
- | TextDocumentDocumentHighlight
- | TextDocumentDocumentSymbol
- | TextDocumentFormatting
- | TextDocumentRangeFormatting
- | TextDocumentOnTypeFormatting
- | TextDocumentDefinition
- | TextDocumentCodeAction
- | TextDocumentCodeLens
- | CodeLensResolve
- | TextDocumentDocumentLink
- | DocumentLinkResolve
- | TextDocumentRename
- | Misc Text
- data ServerMethod
- data RequestMessage m req resp = RequestMessage {}
- data ErrorCode
- data ResponseError = ResponseError {}
- data ResponseMessage a = ResponseMessage {}
- type ErrorResponse = ResponseMessage ()
- type BareResponseMessage = ResponseMessage Value
- data NotificationMessage m a = NotificationMessage {}
- data CancelParams = CancelParams {}
- type CancelNotification = NotificationMessage ClientMethod CancelParams
- type CancelNotificationServer = NotificationMessage ServerMethod CancelParams
- data DocumentSymbolParams = DocumentSymbolParams {}
- data SymbolKind
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _location :: Location
- _containerName :: Maybe Text
- type DocumentSymbolRequest = RequestMessage ClientMethod DocumentSymbolParams (List SymbolInformation)
- type DocumentSymbolsResponse = ResponseMessage (List SymbolInformation)
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- newtype Uri = Uri {}
- fileScheme :: String
- windowsOS :: String
- type SystemOS = String
- uriToFilePath :: Uri -> Maybe FilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAdjustFromUriPath :: SystemOS -> String -> FilePath
- filePathToUri :: FilePath -> Uri
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- platformAdjustToUriPath :: SystemOS -> FilePath -> String
- data TextEdit = TextEdit {}
- type TextDocumentVersion = Maybe Int
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data TextDocumentEdit = TextDocumentEdit {}
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
Documentation
data TextDocumentItem Source #
Instances
data TextDocumentPositionParams Source #
Instances
class HasVersion s a | s -> a where Source #
class HasUri s a | s -> a where Source #
Instances
class HasText s a | s -> a where Source #
Instances
HasText TextDocumentItem Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasText TextDocumentContentChangeEvent Text Source # | |
class HasLanguageId s a | s -> a where Source #
languageId :: Lens' s a Source #
Instances
HasLanguageId TextDocumentItem Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data DocumentFilter Source #
Instances
class HasTextDocument s a | s -> a where Source #
textDocument :: Lens' s a Source #
Instances
class HasPosition s a | s -> a where Source #
Instances
data InitializeParams Source #
InitializeParams | |
|
Instances
type DocumentSelector = List DocumentFilter Source #
class HasScheme s a | s -> a where Source #
Instances
HasScheme DocumentFilter Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasPattern s a | s -> a where Source #
Instances
HasPattern DocumentFilter (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasLanguage s a | s -> a where Source #
Instances
HasLanguage DocumentFilter Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasLanguage LanguageString Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data InitializeError Source #
Instances
class HasTrace s a | s -> a where Source #
Instances
HasTrace InitializeParams (Maybe Trace) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasRootUri s a | s -> a where Source #
Instances
HasRootUri InitializeParams (Maybe Uri) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasRootPath s a | s -> a where Source #
Instances
HasRootPath InitializeParams (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasProcessId s a | s -> a where Source #
Instances
HasProcessId InitializeParams (Maybe Int) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasInitializationOptions s a | s -> a where Source #
initializationOptions :: Lens' s a Source #
Instances
HasInitializationOptions InitializeParams (Maybe Value) Source # | |
class HasCapabilities s a | s -> a where Source #
capabilities :: Lens' s a Source #
data CompletionOptions Source #
Instances
data TextDocumentSyncKind Source #
Instances
class HasRetry s a | s -> a where Source #
Instances
HasRetry InitializeError Bool Source # | Note: Omitting this parameter from the capabilities is effectively a fourth state, where DidSave events are generated without sending document contents. |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data SignatureHelpOptions Source #
Instances
class HasTriggerCharacters s a | s -> a where Source #
triggerCharacters :: Lens' s a Source #
Instances
class HasResolveProvider s a | s -> a where Source #
resolveProvider :: Lens' s a Source #
Instances
data CodeLensOptions Source #
Instances
data DocumentOnTypeFormattingOptions Source #
Instances
data DocumentLinkOptions Source #
DocumentLinkOptions | |
|
Instances
class HasMoreTriggerCharacter s a | s -> a where Source #
moreTriggerCharacter :: Lens' s a Source #
class HasFirstTriggerCharacter s a | s -> a where Source #
firstTriggerCharacter :: Lens' s a Source #
data ExecuteCommandOptions Source #
Instances
data SaveOptions Source #
SaveOptions | |
|
Instances
class HasCommands s a | s -> a where Source #
Instances
HasCommands ExecuteCommandOptions (List Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasCommands ExecuteCommandRegistrationOptions (List Text) Source # | |
data TextDocumentSyncOptions Source #
TextDocumentSyncOptions | |
|
Instances
class HasIncludeText s a | s -> a where Source #
includeText :: Lens' s a Source #
Instances
HasIncludeText SaveOptions (Maybe Bool) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON includeText :: Lens' SaveOptions (Maybe Bool) Source # |
data InitializeResponseCapabilitiesInner Source #
Instances
Wrapper for TextDocumentSyncKind fallback.
class HasWillSaveWaitUntil s a | s -> a where Source #
willSaveWaitUntil :: Lens' s a Source #
Instances
HasWillSaveWaitUntil TextDocumentSyncOptions (Maybe Bool) Source # | |
class HasWillSave s a | s -> a where Source #
Instances
HasWillSave TextDocumentSyncOptions (Maybe Bool) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasSave s a | s -> a where Source #
Instances
HasSave TextDocumentSyncOptions (Maybe SaveOptions) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasOpenClose s a | s -> a where Source #
Instances
HasOpenClose TextDocumentSyncOptions (Maybe Bool) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data InitializeResponseCapabilities Source #
Information about the capabilities of a language server
Instances
class HasWorkspaceSymbolProvider s a | s -> a where Source #
workspaceSymbolProvider :: Lens' s a Source #
class HasTextDocumentSync s a | s -> a where Source #
textDocumentSync :: Lens' s a Source #
class HasSignatureHelpProvider s a | s -> a where Source #
signatureHelpProvider :: Lens' s a Source #
class HasRenameProvider s a | s -> a where Source #
renameProvider :: Lens' s a Source #
class HasReferencesProvider s a | s -> a where Source #
referencesProvider :: Lens' s a Source #
class HasHoverProvider s a | s -> a where Source #
hoverProvider :: Lens' s a Source #
class HasExperimental s a | s -> a where Source #
experimental :: Lens' s a Source #
class HasExecuteCommandProvider s a | s -> a where Source #
executeCommandProvider :: Lens' s a Source #
class HasDocumentSymbolProvider s a | s -> a where Source #
documentSymbolProvider :: Lens' s a Source #
class HasDocumentRangeFormattingProvider s a | s -> a where Source #
class HasDocumentOnTypeFormattingProvider s a | s -> a where Source #
class HasDocumentLinkProvider s a | s -> a where Source #
documentLinkProvider :: Lens' s a Source #
class HasDocumentHighlightProvider s a | s -> a where Source #
documentHighlightProvider :: Lens' s a Source #
class HasDocumentFormattingProvider s a | s -> a where Source #
documentFormattingProvider :: Lens' s a Source #
class HasDefinitionProvider s a | s -> a where Source #
definitionProvider :: Lens' s a Source #
class HasCompletionProvider s a | s -> a where Source #
completionProvider :: Lens' s a Source #
class HasCodeLensProvider s a | s -> a where Source #
codeLensProvider :: Lens' s a Source #
class HasCodeActionProvider s a | s -> a where Source #
codeActionProvider :: Lens' s a Source #
data ExitParams Source #
Notification from the server to actually exit now, after shutdown acked
Instances
Eq ExitParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: ExitParams -> ExitParams -> Bool # (/=) :: ExitParams -> ExitParams -> Bool # | |
Read ExitParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON readsPrec :: Int -> ReadS ExitParams # readList :: ReadS [ExitParams] # readPrec :: ReadPrec ExitParams # readListPrec :: ReadPrec [ExitParams] # | |
Show ExitParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> ExitParams -> ShowS # show :: ExitParams -> String # showList :: [ExitParams] -> ShowS # | |
ToJSON ExitParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: ExitParams -> Value # toEncoding :: ExitParams -> Encoding # toJSONList :: [ExitParams] -> Value # toEncodingList :: [ExitParams] -> Encoding # | |
FromJSON ExitParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser ExitParams # parseJSONList :: Value -> Parser [ExitParams] # |
type ShutdownResponse = ResponseMessage Text Source #
type ShutdownRequest = RequestMessage ClientMethod (Maybe Value) Text Source #
data InitializedParams Source #
Instances
Eq InitializedParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: InitializedParams -> InitializedParams -> Bool # (/=) :: InitializedParams -> InitializedParams -> Bool # | |
Read InitializedParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
Show InitializedParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> InitializedParams -> ShowS # show :: InitializedParams -> String # showList :: [InitializedParams] -> ShowS # | |
ToJSON InitializedParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: InitializedParams -> Value # toEncoding :: InitializedParams -> Encoding # toJSONList :: [InitializedParams] -> Value # toEncodingList :: [InitializedParams] -> Encoding # | |
FromJSON InitializedParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser InitializedParams # parseJSONList :: Value -> Parser [InitializedParams] # |
type InitializeRequest = RequestMessage ClientMethod InitializeParams InitializeResponseCapabilities Source #
data ShowMessageParams Source #
Instances
data MessageType Source #
Instances
data MessageActionItem Source #
Instances
class HasMessage s a | s -> a where Source #
Instances
data ShowMessageRequestParams Source #
ShowMessageRequestParams | |
|
Instances
class HasTitle s a | s -> a where Source #
Instances
data LogMessageParams Source #
Instances
class HasActions s a | s -> a where Source #
Instances
HasActions ShowMessageRequestParams (Maybe [MessageActionItem]) Source # | |
data Registration Source #
Registration | |
|
Instances
data RegistrationParams Source #
Instances
Eq RegistrationParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: RegistrationParams -> RegistrationParams -> Bool # (/=) :: RegistrationParams -> RegistrationParams -> Bool # | |
Read RegistrationParams Source # | |
Show RegistrationParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> RegistrationParams -> ShowS # show :: RegistrationParams -> String # showList :: [RegistrationParams] -> ShowS # | |
ToJSON RegistrationParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: RegistrationParams -> Value # toEncoding :: RegistrationParams -> Encoding # toJSONList :: [RegistrationParams] -> Value # toEncodingList :: [RegistrationParams] -> Encoding # | |
FromJSON RegistrationParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser RegistrationParams # parseJSONList :: Value -> Parser [RegistrationParams] # | |
HasRegistrations RegistrationParams (List Registration) Source # | |
class HasRegisterOptions s a | s -> a where Source #
registerOptions :: Lens' s a Source #
Instances
HasRegisterOptions Registration (Maybe Value) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasMethod s a | s -> a where Source #
Instances
HasMethod Registration ClientMethod Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasMethod Unregistration Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasMethod (NotificationMessage m a) m Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON method :: Lens' (NotificationMessage m a) m Source # | |
HasMethod (RequestMessage m req resp) m Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON method :: Lens' (RequestMessage m req resp) m Source # |
class HasId s a | s -> a where Source #
Instances
HasId CancelParams LspId Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasId Registration Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasId Unregistration Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasId (ResponseMessage a) LspIdRsp Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasId (RequestMessage m req resp) LspId Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data TextDocumentRegistrationOptions Source #
Instances
type RegisterCapabilityResponse = ResponseMessage () Source #
type RegisterCapabilityRequest = RequestMessage ServerMethod RegistrationParams () Source #
Note: originates at the server
class HasRegistrations s a | s -> a where Source #
registrations :: Lens' s a Source #
Instances
HasRegistrations RegistrationParams (List Registration) Source # | |
data Unregistration Source #
Instances
class HasDocumentSelector s a | s -> a where Source #
documentSelector :: Lens' s a Source #
Instances
data UnregistrationParams Source #
Instances
data DidChangeConfigurationParams Source #
Instances
type UnregisterCapabilityResponse = ResponseMessage () Source #
class HasUnregistrations s a | s -> a where Source #
unregistrations :: Lens' s a Source #
data DidOpenTextDocumentParams Source #
Instances
type DidChangeConfigurationNotification = NotificationMessage ClientMethod DidChangeConfigurationParams Source #
class HasSettings s a | s -> a where Source #
data TextDocumentContentChangeEvent Source #
Instances
type DidOpenTextDocumentNotification = NotificationMessage ClientMethod DidOpenTextDocumentParams Source #
data DidChangeTextDocumentParams Source #
Instances
class HasRangeLength s a | s -> a where Source #
rangeLength :: Lens' s a Source #
Instances
HasRangeLength TextDocumentContentChangeEvent (Maybe Int) Source # | |
class HasRange s a | s -> a where Source #
Instances
data TextDocumentChangeRegistrationOptions Source #
Instances
type DidChangeTextDocumentNotification = NotificationMessage ClientMethod DidChangeTextDocumentParams Source #
class HasContentChanges s a | s -> a where Source #
contentChanges :: Lens' s a Source #
data WillSaveTextDocumentParams Source #
Instances
data TextDocumentSaveReason Source #
SaveManual | Manually triggered, e.g. by the user pressing save, by starting debugging, or by an API call. |
SaveAfterDelay | Automatic after a delay |
SaveFocusOut | When the editor lost focus |
Instances
class HasSyncKind s a | s -> a where Source #
data DidSaveTextDocumentParams Source #
Instances
type WillSaveWaitUntilTextDocumentRequest = RequestMessage ClientMethod WillSaveTextDocumentParams (List TextEdit) Source #
type WillSaveTextDocumentNotification = NotificationMessage ClientMethod WillSaveTextDocumentParams Source #
data DidCloseTextDocumentParams Source #
Instances
type DidSaveTextDocumentNotification = NotificationMessage ClientMethod DidSaveTextDocumentParams Source #
FileEvent | |
|
Instances
data FileChangeType Source #
Instances
type DidCloseTextDocumentNotification = NotificationMessage ClientMethod DidCloseTextDocumentParams Source #
data DidChangeWatchedFilesParams Source #
Instances
data PublishDiagnosticsParams Source #
Instances
type DidChangeWatchedFilesNotification = NotificationMessage ClientMethod DidChangeWatchedFilesParams Source #
class HasChanges s a | s -> a where Source #
Instances
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasChanges DidChangeWatchedFilesParams (List FileEvent) Source # | |
data CompletionItem Source #
CompletionItem | |
|
Instances
data CompletionItemKind Source #
CiText | |
CiMethod | |
CiFunction | |
CiConstructor | |
CiField | |
CiVariable | |
CiClass | |
CiInterface | |
CiModule | |
CiProperty | |
CiUnit | |
CiValue | |
CiEnum | |
CiKeyword | |
CiSnippet | |
CiColor | |
CiFile | |
CiReference |
Instances
data InsertTextFormat Source #
PlainText | The primary text to be inserted is treated as a plain string. |
Snippet | The primary text to be inserted is treated as a snippet. A snippet can define tab stops and placeholders with `$1`, `$2` and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end of the snippet. Placeholders with equal identifiers are linked, that is typing in one will update others too. See also: https://github.com/Microsoft/vscode/blob/master/src/vs/editor/contrib/snippet/common/snippet.md |
Instances
Eq InsertTextFormat Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: InsertTextFormat -> InsertTextFormat -> Bool # (/=) :: InsertTextFormat -> InsertTextFormat -> Bool # | |
Read InsertTextFormat Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
Show InsertTextFormat Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> InsertTextFormat -> ShowS # show :: InsertTextFormat -> String # showList :: [InsertTextFormat] -> ShowS # | |
ToJSON InsertTextFormat Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: InsertTextFormat -> Value # toEncoding :: InsertTextFormat -> Encoding # toJSONList :: [InsertTextFormat] -> Value # toEncodingList :: [InsertTextFormat] -> Encoding # | |
FromJSON InsertTextFormat Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser InsertTextFormat # parseJSONList :: Value -> Parser [InsertTextFormat] # | |
HasInsertTextFormat CompletionItem (Maybe InsertTextFormat) Source # | |
type PublishDiagnosticsNotification = NotificationMessage ServerMethod PublishDiagnosticsParams Source #
class HasDiagnostics s a | s -> a where Source #
diagnostics :: Lens' s a Source #
Instances
data CompletionListType Source #
Instances
class HasXdata s a | s -> a where Source #
Instances
HasXdata ResponseError (Maybe Value) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasXdata CompletionItem (Maybe Value) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasXdata CodeLens (Maybe Value) Source # | |
class HasTextEdit s a | s -> a where Source #
Instances
HasTextEdit CompletionItem (Maybe TextEdit) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasSortText s a | s -> a where Source #
Instances
HasSortText CompletionItem (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasLabel s a | s -> a where Source #
Instances
class HasKind s a | s -> a where Source #
Instances
class HasInsertTextFormat s a | s -> a where Source #
insertTextFormat :: Lens' s a Source #
Instances
HasInsertTextFormat CompletionItem (Maybe InsertTextFormat) Source # | |
class HasInsertText s a | s -> a where Source #
insertText :: Lens' s a Source #
Instances
HasInsertText CompletionItem (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasFilterText s a | s -> a where Source #
filterText :: Lens' s a Source #
Instances
HasFilterText CompletionItem (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasDocumentation s a | s -> a where Source #
documentation :: Lens' s a Source #
Instances
class HasDetail s a | s -> a where Source #
Instances
HasDetail CompletionItem (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasCommand s a | s -> a where Source #
Instances
class HasAdditionalTextEdits s a | s -> a where Source #
additionalTextEdits :: Lens' s a Source #
Instances
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data CompletionResponseResult Source #
Instances
class HasItems s a | s -> a where Source #
Instances
HasItems CompletionListType (List CompletionItem) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasIsIncomplete s a | s -> a where Source #
isIncomplete :: Lens' s a Source #
Instances
HasIsIncomplete CompletionListType Bool Source # | |
data CompletionRegistrationOptions Source #
Instances
type CompletionRequest = RequestMessage ClientMethod TextDocumentPositionParams CompletionResponseResult Source #
data LanguageString Source #
Instances
type CompletionItemResolveRequest = RequestMessage ClientMethod CompletionItem CompletionItem Source #
data MarkedString Source #
Instances
class HasValue s a | s -> a where Source #
Instances
HasValue LanguageString Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasValue TraceParams Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data ParameterInformation Source #
Instances
type HoverResponse = ResponseMessage Hover Source #
class HasContents s a | s -> a where Source #
Instances
HasContents Hover (List MarkedString) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data SignatureInformation Source #
SignatureInformation | |
|
Instances
data SignatureHelp Source #
SignatureHelp | |
|
Instances
class HasParameters s a | s -> a where Source #
parameters :: Lens' s a Source #
Instances
HasParameters SignatureInformation (Maybe [ParameterInformation]) Source # | |
data SignatureHelpRegistrationOptions Source #
Instances
type SignatureHelpRequest = RequestMessage ClientMethod TextDocumentPositionParams SignatureHelp Source #
class HasSignatures s a | s -> a where Source #
signatures :: Lens' s a Source #
Instances
HasSignatures SignatureHelp (List SignatureInformation) Source # | |
class HasActiveSignature s a | s -> a where Source #
activeSignature :: Lens' s a Source #
Instances
HasActiveSignature SignatureHelp (Maybe Int) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasActiveParameter s a | s -> a where Source #
activeParameter :: Lens' s a Source #
Instances
HasActiveParameter SignatureHelp (Maybe Int) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data ReferenceContext Source #
Instances
type DefinitionRequest = RequestMessage ClientMethod TextDocumentPositionParams DefinitionResponseParams Source #
data DefinitionResponseParams Source #
Instances
data ReferenceParams Source #
Instances
class HasIncludeDeclaration s a | s -> a where Source #
includeDeclaration :: Lens' s a Source #
Instances
HasIncludeDeclaration ReferenceContext Bool Source # | |
data DocumentHighlight Source #
Instances
data DocumentHighlightKind Source #
Instances
type ReferencesResponse = ResponseMessage (List Location) Source #
class HasContext s a | s -> a where Source #
data WorkspaceSymbolParams Source #
Instances
type DocumentHighlightRequest = RequestMessage ClientMethod TextDocumentPositionParams (List DocumentHighlight) Source #
data CodeLensParams Source #
Instances
type WorkspaceSymbolRequest = RequestMessage ClientMethod WorkspaceSymbolParams (List SymbolInformation) Source #
class HasQuery s a | s -> a where Source #
Instances
HasQuery WorkspaceSymbolParams Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data CodeLensRegistrationOptions Source #
Instances
type CodeLensResponse = ResponseMessage (List CodeLens) Source #
data DocumentLinkParams Source #
Instances
Eq DocumentLinkParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: DocumentLinkParams -> DocumentLinkParams -> Bool # (/=) :: DocumentLinkParams -> DocumentLinkParams -> Bool # | |
Read DocumentLinkParams Source # | |
Show DocumentLinkParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> DocumentLinkParams -> ShowS # show :: DocumentLinkParams -> String # showList :: [DocumentLinkParams] -> ShowS # | |
ToJSON DocumentLinkParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: DocumentLinkParams -> Value # toEncoding :: DocumentLinkParams -> Encoding # toJSONList :: [DocumentLinkParams] -> Value # toEncodingList :: [DocumentLinkParams] -> Encoding # | |
FromJSON DocumentLinkParams Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser DocumentLinkParams # parseJSONList :: Value -> Parser [DocumentLinkParams] # | |
HasTextDocument DocumentLinkParams TextDocumentIdentifier Source # | |
data DocumentLink Source #
Instances
data FormattingOptions Source #
FormattingOptions | |
|
Instances
type DocumentLinkRequest = RequestMessage ClientMethod DocumentLinkParams (List DocumentLink) Source #
class HasTarget s a | s -> a where Source #
Instances
HasTarget DocumentLink (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data DocumentFormattingParams Source #
Instances
class HasTabSize s a | s -> a where Source #
Instances
HasTabSize FormattingOptions Int Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasInsertSpaces s a | s -> a where Source #
insertSpaces :: Lens' s a Source #
Instances
HasInsertSpaces FormattingOptions Bool Source # | |
data DocumentRangeFormattingParams Source #
Instances
type DocumentFormattingRequest = RequestMessage ClientMethod DocumentFormattingParams (List TextEdit) Source #
class HasOptions s a | s -> a where Source #
data DocumentOnTypeFormattingParams Source #
Instances
type DocumentRangeFormattingRequest = RequestMessage ClientMethod DocumentRangeFormattingParams (List TextEdit) Source #
data DocumentOnTypeFormattingRegistrationOptions Source #
Instances
type DocumentOnTypeFormattingRequest = RequestMessage ClientMethod DocumentOnTypeFormattingParams (List TextEdit) Source #
data RenameParams Source #
Instances
data ExecuteCommandParams Source #
Instances
class HasNewName s a | s -> a where Source #
Instances
HasNewName RenameParams Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data ExecuteCommandRegistrationOptions Source #
Instances
class HasArguments s a | s -> a where Source #
Instances
HasArguments Command (Maybe Value) Source # | |
HasArguments ExecuteCommandParams (Maybe (List Value)) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data ApplyWorkspaceEditParams Source #
Instances
data ApplyWorkspaceEditResponseBody Source #
Instances
class HasEdit s a | s -> a where Source #
Instances
data TraceParams Source #
Instances
type ApplyWorkspaceEditRequest = RequestMessage ServerMethod ApplyWorkspaceEditParams ApplyWorkspaceEditResponseBody Source #
Sent from the server to the client
class HasApplied s a | s -> a where Source #
data TraceNotification Source #
Instances
Eq TraceNotification Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON (==) :: TraceNotification -> TraceNotification -> Bool # (/=) :: TraceNotification -> TraceNotification -> Bool # | |
Read TraceNotification Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
Show TraceNotification Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON showsPrec :: Int -> TraceNotification -> ShowS # show :: TraceNotification -> String # showList :: [TraceNotification] -> ShowS # | |
ToJSON TraceNotification Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON toJSON :: TraceNotification -> Value # toEncoding :: TraceNotification -> Encoding # toJSONList :: [TraceNotification] -> Value # toEncodingList :: [TraceNotification] -> Encoding # | |
FromJSON TraceNotification Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON parseJSON :: Value -> Parser TraceNotification # parseJSONList :: Value -> Parser [TraceNotification] # | |
HasParams TraceNotification TraceParams Source # | |
class HasParams s a | s -> a where Source #
Instances
HasParams TraceNotification TraceParams Source # | |
HasParams (NotificationMessage m a) a Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON params :: Lens' (NotificationMessage m a) a Source # | |
HasParams (RequestMessage m req resp) req Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON params :: Lens' (RequestMessage m req resp) req Source # |
class HasCharacter s a | s -> a where Source #
class HasNewText s a | s -> a where Source #
class HasEdits s a | s -> a where Source #
Instances
HasEdits TextDocumentEdit (List TextEdit) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasDocumentChanges s a | s -> a where Source #
documentChanges :: Lens' s a Source #
Instances
HasDocumentChanges WorkspaceEdit (Maybe (List TextDocumentEdit)) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasJsonrpc s a | s -> a where Source #
Instances
HasJsonrpc (ResponseMessage a) Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasJsonrpc (NotificationMessage m a) Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasJsonrpc (RequestMessage m req resp) Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasCode s a | s -> a where Source #
Instances
HasCode ResponseError ErrorCode Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasCode Diagnostic (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasResult s a | s -> a where Source #
Instances
HasResult (ResponseMessage a) (Maybe a) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasError s a | s -> a where Source #
Instances
HasError (ResponseMessage a) (Maybe ResponseError) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON error :: Lens' (ResponseMessage a) (Maybe ResponseError) Source # |
class HasSource s a | s -> a where Source #
Instances
HasSource Diagnostic (Maybe DiagnosticSource) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasSeverity s a | s -> a where Source #
Instances
HasSeverity Diagnostic (Maybe DiagnosticSeverity) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasRelatedInformation s a | s -> a where Source #
relatedInformation :: Lens' s a Source #
class HasLocation s a | s -> a where Source #
class HasName s a | s -> a where Source #
Instances
HasName SymbolInformation Text Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
class HasContainerName s a | s -> a where Source #
containerName :: Lens' s a Source #
Instances
HasContainerName SymbolInformation (Maybe Text) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data CodeActionKind Source #
CodeActionQuickFix | |
CodeActionRefactor | |
CodeActionRefactorExtract | |
CodeActionRefactorInline | |
CodeActionRefactorRewrite | |
CodeActionSource | |
CodeActionSourceOrganizeImports | |
CodeActionUnknown Text |
Instances
data CodeActionContext Source #
Instances
data CodeActionParams Source #
Instances
data CodeAction Source #
CodeAction | A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code. A CodeAction must set either |
|
Instances
data CommandOrCodeAction Source #
Instances
Eq CommandOrCodeAction Source # | |
Defined in Language.Haskell.LSP.TH.CodeAction (==) :: CommandOrCodeAction -> CommandOrCodeAction -> Bool # (/=) :: CommandOrCodeAction -> CommandOrCodeAction -> Bool # | |
Read CommandOrCodeAction Source # | |
Show CommandOrCodeAction Source # | |
Defined in Language.Haskell.LSP.TH.CodeAction showsPrec :: Int -> CommandOrCodeAction -> ShowS # show :: CommandOrCodeAction -> String # showList :: [CommandOrCodeAction] -> ShowS # | |
ToJSON CommandOrCodeAction Source # | |
Defined in Language.Haskell.LSP.TH.CodeAction toJSON :: CommandOrCodeAction -> Value # toEncoding :: CommandOrCodeAction -> Encoding # toJSONList :: [CommandOrCodeAction] -> Value # toEncodingList :: [CommandOrCodeAction] -> Encoding # | |
FromJSON CommandOrCodeAction Source # | |
Defined in Language.Haskell.LSP.TH.CodeAction parseJSON :: Value -> Parser CommandOrCodeAction # parseJSONList :: Value -> Parser [CommandOrCodeAction] # |
type CodeActionRequest = RequestMessage ClientMethod CodeActionParams (List CommandOrCodeAction) Source #
Instances
data DiagnosticSeverity Source #
Instances
data DiagnosticRelatedInformation Source #
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Instances
This data type is used to host a FromJSON instance for the encoding used by elisp, where an empty list shows up as "null"
List [a] |
Instances
Position | |
|
Instances
Instances
Instances
Id used for a request, Can be either a String or an Int
Instances
Eq LspId Source # | |
Ord LspId Source # | |
Read LspId Source # | |
Show LspId Source # | |
Hashable LspId Source # | |
Defined in Language.Haskell.LSP.TH.Message | |
ToJSON LspId Source # | |
Defined in Language.Haskell.LSP.TH.Message | |
FromJSON LspId Source # | |
HasId CancelParams LspId Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasId (RequestMessage m req resp) LspId Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
Id used for a response, Can be either a String or an Int, or Null. If a request doesn't provide a result value the receiver of a request still needs to return a response message to conform to the JSON RPC specification. The result property of the ResponseMessage should be set to null in this case to signal a successful request.
Instances
Eq LspIdRsp Source # | |
Read LspIdRsp Source # | |
Show LspIdRsp Source # | |
Hashable LspIdRsp Source # | |
Defined in Language.Haskell.LSP.TH.Message | |
ToJSON LspIdRsp Source # | |
Defined in Language.Haskell.LSP.TH.Message | |
FromJSON LspIdRsp Source # | |
HasId (ResponseMessage a) LspIdRsp Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
responseId :: LspId -> LspIdRsp Source #
Converts an LspId to its LspIdRsp counterpart.
data ClientMethod Source #
Instances
data ServerMethod Source #
WindowShowMessage | |
WindowShowMessageRequest | |
WindowLogMessage | |
TelemetryEvent | |
ClientRegisterCapability | |
ClientUnregisterCapability | |
WorkspaceApplyEdit | |
TextDocumentPublishDiagnostics | |
CancelRequestServer |
Instances
data RequestMessage m req resp Source #
Instances
ParseError | |
InvalidRequest | |
MethodNotFound | |
InvalidParams | |
InternalError | |
ServerErrorStart | |
ServerErrorEnd | |
ServerNotInitialized | |
UnknownErrorCode | |
RequestCancelled | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
data ResponseMessage a Source #
Instances
type ErrorResponse = ResponseMessage () Source #
data NotificationMessage m a Source #
Instances
data CancelParams Source #
Instances
Eq CancelParams Source # | |
Defined in Language.Haskell.LSP.TH.Message (==) :: CancelParams -> CancelParams -> Bool # (/=) :: CancelParams -> CancelParams -> Bool # | |
Read CancelParams Source # | |
Defined in Language.Haskell.LSP.TH.Message readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
Show CancelParams Source # | |
Defined in Language.Haskell.LSP.TH.Message showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
ToJSON CancelParams Source # | |
Defined in Language.Haskell.LSP.TH.Message toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
FromJSON CancelParams Source # | |
Defined in Language.Haskell.LSP.TH.Message parseJSON :: Value -> Parser CancelParams # parseJSONList :: Value -> Parser [CancelParams] # | |
HasId CancelParams LspId Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
data DocumentSymbolParams Source #
Instances
Eq DocumentSymbolParams Source # | |
Defined in Language.Haskell.LSP.TH.Symbol (==) :: DocumentSymbolParams -> DocumentSymbolParams -> Bool # (/=) :: DocumentSymbolParams -> DocumentSymbolParams -> Bool # | |
Read DocumentSymbolParams Source # | |
Show DocumentSymbolParams Source # | |
Defined in Language.Haskell.LSP.TH.Symbol showsPrec :: Int -> DocumentSymbolParams -> ShowS # show :: DocumentSymbolParams -> String # showList :: [DocumentSymbolParams] -> ShowS # | |
ToJSON DocumentSymbolParams Source # | |
Defined in Language.Haskell.LSP.TH.Symbol toJSON :: DocumentSymbolParams -> Value # toEncoding :: DocumentSymbolParams -> Encoding # toJSONList :: [DocumentSymbolParams] -> Value # toEncodingList :: [DocumentSymbolParams] -> Encoding # | |
FromJSON DocumentSymbolParams Source # | |
Defined in Language.Haskell.LSP.TH.Symbol parseJSON :: Value -> Parser DocumentSymbolParams # parseJSONList :: Value -> Parser [DocumentSymbolParams] # | |
HasTextDocument DocumentSymbolParams TextDocumentIdentifier Source # | |
data SymbolKind Source #
SkFile | |
SkModule | |
SkNamespace | |
SkPackage | |
SkClass | |
SkMethod | |
SkProperty | |
SkField | |
SkConstructor | |
SkEnum | |
SkInterface | |
SkFunction | |
SkVariable | |
SkConstant | |
SkString | |
SkNumber | |
SkBoolean | |
SkArray |
Instances
data SymbolInformation Source #
SymbolInformation | |
|
Instances
type DocumentSymbolRequest = RequestMessage ClientMethod DocumentSymbolParams (List SymbolInformation) Source #
data TextDocumentIdentifier Source #
Instances
Instances
Eq Uri Source # | |
Ord Uri Source # | |
Read Uri Source # | |
Show Uri Source # | |
Hashable Uri Source # | |
Defined in Language.Haskell.LSP.TH.Uri | |
ToJSON Uri Source # | |
Defined in Language.Haskell.LSP.TH.Uri | |
ToJSONKey Uri Source # | |
Defined in Language.Haskell.LSP.TH.Uri | |
FromJSON Uri Source # | |
FromJSONKey Uri Source # | |
Defined in Language.Haskell.LSP.TH.Uri | |
HasUri TextDocumentIdentifier Uri Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasUri Location Uri Source # | |
HasUri VersionedTextDocumentIdentifier Uri Source # | |
HasUri TextDocumentItem Uri Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasUri FileEvent Uri Source # | |
HasUri PublishDiagnosticsParams Uri Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasRootUri InitializeParams (Maybe Uri) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON | |
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # | |
Defined in Language.Haskell.LSP.TH.DataTypesJSON |
fileScheme :: String Source #
filePathToUri :: FilePath -> Uri Source #
Instances
type TextDocumentVersion = Maybe Int Source #
data VersionedTextDocumentIdentifier Source #
Instances
data TextDocumentEdit Source #
Instances
data WorkspaceEdit Source #