Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data CancelParams = CancelParams {}
- data CodeActionKind
- data CodeActionKindClientCapabilities = CodeActionKindClientCapabilities {}
- data CodeActionLiteralSupport = CodeActionLiteralSupport {}
- data CodeActionClientCapabilities = CodeActionClientCapabilities {}
- data CodeActionOptions = CodeActionOptions {
- _workDoneProgress :: (Maybe Bool)
- _codeActionKinds :: (Maybe (List CodeActionKind))
- data CodeActionRegistrationOptions = CodeActionRegistrationOptions {}
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- data CodeAction = CodeAction {}
- data CodeLensClientCapabilities = CodeLensClientCapabilities {}
- data CodeLensOptions = CodeLensOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- data CodeLensParams = CodeLensParams {}
- data CodeLens = CodeLens {}
- data ExecuteCommandClientCapabilities = ExecuteCommandClientCapabilities {}
- data ExecuteCommandOptions = ExecuteCommandOptions {}
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {}
- data ExecuteCommandParams = ExecuteCommandParams {
- _workDoneToken :: (Maybe ProgressToken)
- _command :: Text
- _arguments :: (Maybe (List Value))
- data Command = Command {}
- data a |? b
- toEither :: (a |? b) -> Either a b
- newtype List a = List [a]
- data Empty = Empty
- data CompletionItemKind
- data CompletionItemTag = CtDeprecated
- data CompletionItemTagsClientCapabilities = CompletionItemTagsClientCapabilities {}
- data CompletionItemClientCapabilities = CompletionItemClientCapabilities {}
- data CompletionItemKindClientCapabilities = CompletionItemKindClientCapabilities {}
- data CompletionClientCapabilities = CompletionClientCapabilities {}
- data InsertTextFormat
- data CompletionDoc
- data CompletionItem = CompletionItem {
- _label :: Text
- _kind :: Maybe CompletionItemKind
- _tags :: Maybe (List CompletionItemTag)
- _detail :: Maybe Text
- _documentation :: Maybe CompletionDoc
- _deprecated :: Maybe Bool
- _preselect :: Maybe Bool
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _textEdit :: Maybe TextEdit
- _additionalTextEdits :: Maybe (List TextEdit)
- _commitCharacters :: Maybe (List Text)
- _command :: Maybe Command
- _xdata :: Maybe Value
- data CompletionList = CompletionList {}
- data CompletionTriggerKind
- data CompletionOptions = CompletionOptions {
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe [String])
- _allCommitCharacters :: (Maybe [String])
- _resolveProvider :: (Maybe Bool)
- data CompletionRegistrationOptions = CompletionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe [String])
- _allCommitCharacters :: (Maybe [String])
- _resolveProvider :: (Maybe Bool)
- data CompletionContext = CompletionContext {}
- data CompletionParams = CompletionParams {}
- data DidChangeConfigurationClientCapabilities = DidChangeConfigurationClientCapabilities {}
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- data ConfigurationItem = ConfigurationItem {}
- data ConfigurationParams = ConfigurationParams {}
- data DeclarationClientCapabilities = DeclarationClientCapabilities {}
- data DeclarationOptions = DeclarationOptions {
- _workDoneProgress :: (Maybe Bool)
- data DeclarationRegistrationOptions = DeclarationRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- data DeclarationParams = DeclarationParams {}
- data DefinitionClientCapabilities = DefinitionClientCapabilities {}
- data DefinitionOptions = DefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
- data DefinitionRegistrationOptions = DefinitionRegistrationOptions {}
- data DefinitionParams = DefinitionParams {}
- data DiagnosticSeverity
- data DiagnosticTag
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- type DiagnosticSource = Text
- data Diagnostic = Diagnostic {}
- data PublishDiagnosticsTagsClientCapabilities = PublishDiagnosticsTagsClientCapabilities {}
- data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {}
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _version :: Maybe Int
- _diagnostics :: List Diagnostic
- data DocumentColorClientCapabilities = DocumentColorClientCapabilities {}
- data DocumentColorOptions = DocumentColorOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentColorRegistrationOptions = DocumentColorRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- _workDoneProgress :: (Maybe Bool)
- data DocumentColorParams = DocumentColorParams {}
- data Color = Color {}
- data ColorInformation = ColorInformation {}
- data ColorPresentationParams = ColorPresentationParams {}
- data ColorPresentation = ColorPresentation {}
- data DocumentFilter = DocumentFilter {}
- type DocumentSelector = List DocumentFilter
- data DocumentHighlightClientCapabilities = DocumentHighlightClientCapabilities {}
- data DocumentHighlightOptions = DocumentHighlightOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentHighlightRegistrationOptions = DocumentHighlightRegistrationOptions {}
- data DocumentHighlightParams = DocumentHighlightParams {}
- data DocumentHighlightKind
- data DocumentHighlight = DocumentHighlight {}
- data DocumentLinkClientCapabilities = DocumentLinkClientCapabilities {}
- data DocumentLinkOptions = DocumentLinkOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
- data DocumentLinkRegistrationOptions = DocumentLinkRegistrationOptions {}
- data DocumentLinkParams = DocumentLinkParams {}
- data DocumentLink = DocumentLink {}
- data DocumentSymbolOptions = DocumentSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {}
- data DocumentSymbolParams = DocumentSymbolParams {}
- data SymbolKind
- = SkFile
- | SkModule
- | SkNamespace
- | SkPackage
- | SkClass
- | SkMethod
- | SkProperty
- | SkField
- | SkConstructor
- | SkEnum
- | SkInterface
- | SkFunction
- | SkVariable
- | SkConstant
- | SkString
- | SkNumber
- | SkBoolean
- | SkArray
- | SkObject
- | SkKey
- | SkNull
- | SkEnumMember
- | SkStruct
- | SkEvent
- | SkOperator
- | SkTypeParameter
- | SkUnknown Scientific
- data DocumentSymbolKindClientCapabilities = DocumentSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
- data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {}
- data DocumentSymbol = DocumentSymbol {
- _name :: Text
- _detail :: Maybe Text
- _kind :: SymbolKind
- _deprecated :: Maybe Bool
- _range :: Range
- _selectionRange :: Range
- _children :: Maybe (List DocumentSymbol)
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _deprecated :: Maybe Bool
- _location :: Location
- _containerName :: Maybe Text
- data FoldingRangeClientCapabilities = FoldingRangeClientCapabilities {}
- data FoldingRangeOptions = FoldingRangeOptions {
- _workDoneProgress :: (Maybe Bool)
- data FoldingRangeRegistrationOptions = FoldingRangeRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data FoldingRangeParams = FoldingRangeParams {}
- data FoldingRangeKind
- data FoldingRange = FoldingRange {}
- data DocumentFormattingClientCapabilities = DocumentFormattingClientCapabilities {}
- data DocumentFormattingOptions = DocumentFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentFormattingRegistrationOptions = DocumentFormattingRegistrationOptions {}
- data FormattingOptions = FormattingOptions {}
- data DocumentFormattingParams = DocumentFormattingParams {}
- data DocumentRangeFormattingClientCapabilities = DocumentRangeFormattingClientCapabilities {}
- data DocumentRangeFormattingOptions = DocumentRangeFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
- data DocumentRangeFormattingRegistrationOptions = DocumentRangeFormattingRegistrationOptions {}
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- data DocumentOnTypeFormattingClientCapabilities = DocumentOnTypeFormattingClientCapabilities {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- data HoverClientCapabilities = HoverClientCapabilities {}
- data HoverOptions = HoverOptions {
- _workDoneProgress :: (Maybe Bool)
- data HoverRegistrationOptions = HoverRegistrationOptions {}
- data HoverParams = HoverParams {}
- data LanguageString = LanguageString {}
- data MarkedString
- data HoverContents
- toMarkupContent :: MarkedString -> MarkupContent
- data Hover = Hover {}
- data ImplementationClientCapabilities = ImplementationClientCapabilities {}
- data ImplementationOptions = ImplementationOptions {
- _workDoneProgress :: (Maybe Bool)
- data ImplementationRegistrationOptions = ImplementationRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data ImplementationParams = ImplementationParams {}
- data Trace
- data ClientInfo = ClientInfo {}
- data InitializeParams = InitializeParams {
- _workDoneToken :: (Maybe ProgressToken)
- _processId :: (Maybe Int)
- _clientInfo :: (Maybe ClientInfo)
- _rootPath :: (Maybe Text)
- _rootUri :: (Maybe Uri)
- _initializationOptions :: (Maybe Value)
- _capabilities :: ClientCapabilities
- _trace :: (Maybe Trace)
- _workspaceFolders :: (Maybe (List WorkspaceFolder))
- data InitializeError = InitializeError {}
- data ServerInfo = ServerInfo {}
- data InitializeResult = InitializeResult {}
- data InitializedParams = InitializedParams {
- data Position = Position {
- _line :: Int
- _character :: Int
- data Range = Range {}
- data Location = Location {}
- data LocationLink = LocationLink {}
- mkRange :: Int -> Int -> Int -> Int -> Range
- data LspId (m :: Method f Request)
- data SomeLspId where
- data MarkupKind
- data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
- markedUpContent :: Text -> Text -> MarkupContent
- unmarkedUpContent :: Text -> MarkupContent
- sectionSeparator :: Text
- data From
- data MethodType
- data Method (f :: From) (t :: MethodType) where
- Initialize :: Method FromClient Request
- Initialized :: Method FromClient Notification
- Shutdown :: Method FromClient Request
- Exit :: Method FromClient Notification
- WorkspaceDidChangeWorkspaceFolders :: Method FromClient Notification
- WorkspaceDidChangeConfiguration :: Method FromClient Notification
- WorkspaceDidChangeWatchedFiles :: Method FromClient Notification
- WorkspaceSymbol :: Method FromClient Request
- WorkspaceExecuteCommand :: Method FromClient Request
- TextDocumentDidOpen :: Method FromClient Notification
- TextDocumentDidChange :: Method FromClient Notification
- TextDocumentWillSave :: Method FromClient Notification
- TextDocumentWillSaveWaitUntil :: Method FromClient Request
- TextDocumentDidSave :: Method FromClient Notification
- TextDocumentDidClose :: Method FromClient Notification
- TextDocumentCompletion :: Method FromClient Request
- CompletionItemResolve :: Method FromClient Request
- TextDocumentHover :: Method FromClient Request
- TextDocumentSignatureHelp :: Method FromClient Request
- TextDocumentDeclaration :: Method FromClient Request
- TextDocumentDefinition :: Method FromClient Request
- TextDocumentTypeDefinition :: Method FromClient Request
- TextDocumentImplementation :: Method FromClient Request
- TextDocumentReferences :: Method FromClient Request
- TextDocumentDocumentHighlight :: Method FromClient Request
- TextDocumentDocumentSymbol :: Method FromClient Request
- TextDocumentCodeAction :: Method FromClient Request
- TextDocumentCodeLens :: Method FromClient Request
- CodeLensResolve :: Method FromClient Request
- TextDocumentDocumentLink :: Method FromClient Request
- DocumentLinkResolve :: Method FromClient Request
- TextDocumentDocumentColor :: Method FromClient Request
- TextDocumentColorPresentation :: Method FromClient Request
- TextDocumentFormatting :: Method FromClient Request
- TextDocumentRangeFormatting :: Method FromClient Request
- TextDocumentOnTypeFormatting :: Method FromClient Request
- TextDocumentRename :: Method FromClient Request
- TextDocumentPrepareRename :: Method FromClient Request
- TextDocumentFoldingRange :: Method FromClient Request
- TextDocumentSelectionRange :: Method FromClient Request
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowLogMessage :: Method FromServer Notification
- WindowWorkDoneProgressCancel :: Method FromClient Notification
- WindowWorkDoneProgressCreate :: Method FromServer Request
- Progress :: Method FromServer Notification
- TelemetryEvent :: Method FromServer Notification
- ClientRegisterCapability :: Method FromServer Request
- ClientUnregisterCapability :: Method FromServer Request
- WorkspaceWorkspaceFolders :: Method FromServer Request
- WorkspaceConfiguration :: Method FromServer Request
- WorkspaceApplyEdit :: Method FromServer Request
- TextDocumentPublishDiagnostics :: Method FromServer Notification
- CancelRequest :: Method f Notification
- CustomMethod :: Method f t
- data SMethod (m :: Method f t) where
- SInitialize :: SMethod Initialize
- SInitialized :: SMethod Initialized
- SShutdown :: SMethod Shutdown
- SExit :: SMethod Exit
- SWorkspaceDidChangeWorkspaceFolders :: SMethod WorkspaceDidChangeWorkspaceFolders
- SWorkspaceDidChangeConfiguration :: SMethod WorkspaceDidChangeConfiguration
- SWorkspaceDidChangeWatchedFiles :: SMethod WorkspaceDidChangeWatchedFiles
- SWorkspaceSymbol :: SMethod WorkspaceSymbol
- SWorkspaceExecuteCommand :: SMethod WorkspaceExecuteCommand
- STextDocumentDidOpen :: SMethod TextDocumentDidOpen
- STextDocumentDidChange :: SMethod TextDocumentDidChange
- STextDocumentWillSave :: SMethod TextDocumentWillSave
- STextDocumentWillSaveWaitUntil :: SMethod TextDocumentWillSaveWaitUntil
- STextDocumentDidSave :: SMethod TextDocumentDidSave
- STextDocumentDidClose :: SMethod TextDocumentDidClose
- STextDocumentCompletion :: SMethod TextDocumentCompletion
- SCompletionItemResolve :: SMethod CompletionItemResolve
- STextDocumentHover :: SMethod TextDocumentHover
- STextDocumentSignatureHelp :: SMethod TextDocumentSignatureHelp
- STextDocumentDeclaration :: SMethod TextDocumentDeclaration
- STextDocumentDefinition :: SMethod TextDocumentDefinition
- STextDocumentTypeDefinition :: SMethod TextDocumentTypeDefinition
- STextDocumentImplementation :: SMethod TextDocumentImplementation
- STextDocumentReferences :: SMethod TextDocumentReferences
- STextDocumentDocumentHighlight :: SMethod TextDocumentDocumentHighlight
- STextDocumentDocumentSymbol :: SMethod TextDocumentDocumentSymbol
- STextDocumentCodeAction :: SMethod TextDocumentCodeAction
- STextDocumentCodeLens :: SMethod TextDocumentCodeLens
- SCodeLensResolve :: SMethod CodeLensResolve
- STextDocumentDocumentLink :: SMethod TextDocumentDocumentLink
- SDocumentLinkResolve :: SMethod DocumentLinkResolve
- STextDocumentDocumentColor :: SMethod TextDocumentDocumentColor
- STextDocumentColorPresentation :: SMethod TextDocumentColorPresentation
- STextDocumentFormatting :: SMethod TextDocumentFormatting
- STextDocumentRangeFormatting :: SMethod TextDocumentRangeFormatting
- STextDocumentOnTypeFormatting :: SMethod TextDocumentOnTypeFormatting
- STextDocumentRename :: SMethod TextDocumentRename
- STextDocumentPrepareRename :: SMethod TextDocumentPrepareRename
- STextDocumentFoldingRange :: SMethod TextDocumentFoldingRange
- STextDocumentSelectionRange :: SMethod TextDocumentSelectionRange
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowLogMessage :: SMethod WindowLogMessage
- SWindowWorkDoneProgressCreate :: SMethod WindowWorkDoneProgressCreate
- SWindowWorkDoneProgressCancel :: SMethod WindowWorkDoneProgressCancel
- SProgress :: SMethod Progress
- STelemetryEvent :: SMethod TelemetryEvent
- SClientRegisterCapability :: SMethod ClientRegisterCapability
- SClientUnregisterCapability :: SMethod ClientUnregisterCapability
- SWorkspaceWorkspaceFolders :: SMethod WorkspaceWorkspaceFolders
- SWorkspaceConfiguration :: SMethod WorkspaceConfiguration
- SWorkspaceApplyEdit :: SMethod WorkspaceApplyEdit
- STextDocumentPublishDiagnostics :: SMethod TextDocumentPublishDiagnostics
- SCancelRequest :: SMethod CancelRequest
- SCustomMethod :: Text -> SMethod CustomMethod
- type SClientMethod (m :: Method FromClient t) = SMethod m
- type SServerMethod (m :: Method FromServer t) = SMethod m
- data SomeClientMethod = SomeClientMethod (SMethod m)
- data SomeServerMethod = SomeServerMethod (SMethod m)
- data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
- type family MessageParams (m :: Method f t) :: Type where ...
- type family ResponseResult (m :: Method f Request) :: Type where ...
- data NotificationMessage (m :: Method f Notification) = NotificationMessage {}
- data RequestMessage (m :: Method f Request) = RequestMessage {}
- data CustomMessage f t where
- ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request
- NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification
- data ErrorCode
- data ResponseError = ResponseError {}
- data ResponseMessage (m :: Method f Request) = ResponseMessage {
- _jsonrpc :: Text
- _id :: Maybe (LspId m)
- _result :: Either ResponseError (ResponseResult m)
- type family Message (m :: Method f t) :: Type where ...
- type ClientMessage (m :: Method FromClient t) = Message m
- type ServerMessage (m :: Method FromServer t) = Message m
- data FromServerMessage' a where
- FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a
- FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a
- type FromServerMessage = FromServerMessage' SMethod
- fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage
- fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage
- data FromClientMessage' a where
- FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a
- FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a
- type FromClientMessage = FromClientMessage' SMethod
- fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage
- fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage
- type LookupFunc f a = forall (m :: Method f Request). LspId m -> Maybe (SMethod m, a m)
- parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a)
- parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a)
- clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x
- serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x
- clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x
- serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x
- type HasJSON a = (ToJSON a, FromJSON a, Eq a)
- data ClientNotOrReq (m :: Method FromClient t) where
- IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification)
- IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m
- IsClientEither :: ClientNotOrReq CustomMethod
- data ServerNotOrReq (m :: Method FromServer t) where
- IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification)
- IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m
- IsServerEither :: ServerNotOrReq CustomMethod
- splitClientMethod :: SClientMethod m -> ClientNotOrReq m
- splitServerMethod :: SServerMethod m -> ServerNotOrReq m
- mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2)
- mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2)
- data ProgressToken
- data ProgressParams t = ProgressParams {
- _token :: ProgressToken
- _value :: t
- data SomeProgressParams
- data WorkDoneProgressBeginParams = WorkDoneProgressBeginParams {}
- data WorkDoneProgressReportParams = WorkDoneProgressReportParams {
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe Double
- data WorkDoneProgressEndParams = WorkDoneProgressEndParams {}
- data WorkDoneProgressCancelParams = WorkDoneProgressCancelParams {}
- data WorkDoneProgressCreateParams = WorkDoneProgressCreateParams {}
- data WorkDoneProgressOptions = WorkDoneProgressOptions {}
- data WorkDoneProgressParams = WorkDoneProgressParams {}
- data PartialResultParams = PartialResultParams {}
- data ReferencesClientCapabilities = ReferencesClientCapabilities {}
- data ReferenceOptions = ReferenceOptions {
- _workDoneProgress :: (Maybe Bool)
- data ReferenceRegistrationOptions = ReferenceRegistrationOptions {}
- data ReferenceContext = ReferenceContext {}
- data ReferenceParams = ReferenceParams {}
- type family RegistrationOptions (m :: Method FromClient t) :: Type where ...
- data Registration (m :: Method FromClient t) = Registration {
- _id :: Text
- _method :: SClientMethod m
- _registerOptions :: !(RegistrationOptions m)
- regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x
- data SomeRegistration = SomeRegistration (Registration m)
- data RegistrationParams = RegistrationParams {}
- data Unregistration = Unregistration {
- _id :: Text
- _method :: SomeClientMethod
- data UnregistrationParams = UnregistrationParams {}
- data RenameClientCapabilities = RenameClientCapabilities {}
- data RenameOptions = RenameOptions {
- _workDoneProgress :: (Maybe Bool)
- _prepareProvider :: (Maybe Bool)
- data RenameRegistrationOptions = RenameRegistrationOptions {}
- data RenameParams = RenameParams {}
- data PrepareRenameParams = PrepareRenameParams {}
- data RangeWithPlaceholder = RangeWithPlaceholder {
- _range :: Range
- _placeholder :: Text
- data SignatureHelpParameterInformation = SignatureHelpParameterInformation {}
- data SignatureHelpSignatureInformation = SignatureHelpSignatureInformation {}
- data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {}
- data SignatureHelpOptions = SignatureHelpOptions {
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe (List String))
- _retriggerCharacters :: (Maybe (List String))
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe (List String))
- _retriggerCharacters :: (Maybe (List String))
- data ParameterInformation = ParameterInformation {
- _label :: Text
- _documentation :: Maybe Text
- data SignatureInformation = SignatureInformation {}
- data SignatureHelp = SignatureHelp {}
- data SignatureHelpTriggerKind
- data SignatureHelpContext = SignatureHelpContext {}
- data SignatureHelpParams = SignatureHelpParams {}
- data StaticRegistrationOptions = StaticRegistrationOptions {}
- data SelectionRangeClientCapabilities = SelectionRangeClientCapabilities {}
- data SelectionRangeOptions = SelectionRangeOptions {
- _workDoneProgress :: (Maybe Bool)
- data SelectionRangeRegistrationOptions = SelectionRangeRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- data SelectionRangeParams = SelectionRangeParams {}
- data SelectionRange = SelectionRange {}
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- type TextDocumentVersion = Maybe Int
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- data TextDocumentSyncClientCapabilities = TextDocumentSyncClientCapabilities {}
- data SaveOptions = SaveOptions {}
- data TextDocumentSyncKind
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {}
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {}
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- data TextDocumentSaveReason
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {}
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {}
- data TypeDefinitionOptions = TypeDefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
- data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data TypeDefinitionParams = TypeDefinitionParams {}
- newtype Uri = Uri {}
- uriToFilePath :: Uri -> Maybe FilePath
- filePathToUri :: FilePath -> Uri
- data NormalizedUri = NormalizedUri !Int !Text
- toNormalizedUri :: Uri -> NormalizedUri
- fromNormalizedUri :: NormalizedUri -> Uri
- data NormalizedFilePath = NormalizedFilePath NormalizedUri !FilePath
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
- uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {}
- data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {}
- data FileSystemWatcher = FileSystemWatcher {}
- data WatchKind = WatchKind {
- _watchCreate :: Bool
- _watchChange :: Bool
- _watchDelete :: Bool
- data FileChangeType
- data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- data MessageType
- data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
- data MessageActionItem = MessageActionItem {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
- data TextEdit = TextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- data WorkspaceEdit = WorkspaceEdit {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {
- _applied :: Bool
- _failureReason :: Maybe Text
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- data WorkspaceFolder = WorkspaceFolder {}
- data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {}
- data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {}
- data WorkspaceSymbolKindClientCapabilities = WorkspaceSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
- data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {}
- data WorkspaceSymbolOptions = WorkspaceSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
Documentation
data CancelParams Source #
Instances
Eq CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation (==) :: CancelParams -> CancelParams -> Bool # (/=) :: CancelParams -> CancelParams -> Bool # | |
Read CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
Show CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
ToJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
FromJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation parseJSON :: Value -> Parser CancelParams # parseJSONList :: Value -> Parser [CancelParams] # |
data CodeActionKind Source #
CodeActionEmpty | Empty kind. |
CodeActionQuickFix | Base kind for quickfix actions: |
CodeActionRefactor | Base kind for refactoring actions: |
CodeActionRefactorExtract | Base kind for refactoring extraction actions:
|
CodeActionRefactorInline | Base kind for refactoring inline actions: Example inline actions:
|
CodeActionRefactorRewrite | Base kind for refactoring rewrite actions: Example rewrite actions:
|
CodeActionSource | Base kind for source actions: Source code actions apply to the entire file. |
CodeActionSourceOrganizeImports | Base kind for an organize imports source action: |
CodeActionUnknown Text |
Instances
data CodeActionKindClientCapabilities Source #
CodeActionKindClientCapabilities | |
|
Instances
data CodeActionLiteralSupport Source #
CodeActionLiteralSupport | |
|
Instances
data CodeActionClientCapabilities Source #
CodeActionClientCapabilities | |
|
Instances
data CodeActionOptions Source #
CodeActionOptions | |
|
Instances
data CodeActionRegistrationOptions Source #
CodeActionRegistrationOptions | |
|
Instances
data CodeActionContext Source #
Contains additional diagnostic information about the context in which a code action is run.
CodeActionContext | |
|
Instances
data CodeActionParams Source #
Instances
data CodeAction Source #
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 CodeAction
and/or a CodeAction
. If both are supplied,
the CodeAction
is applied first, then the CodeAction
is executed.
CodeAction | |
|
Instances
data CodeLensClientCapabilities Source #
CodeLensClientCapabilities | |
|
Instances
data CodeLensOptions Source #
Instances
data CodeLensRegistrationOptions Source #
CodeLensRegistrationOptions | |
|
Instances
data CodeLensParams Source #
Instances
A code lens represents a command that should be shown along with source text, like the number of references, a way to run tests, etc.
A code lens is _unresolved_ when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.
data ExecuteCommandClientCapabilities Source #
ExecuteCommandClientCapabilities | |
|
Instances
data ExecuteCommandOptions Source #
Instances
data ExecuteCommandRegistrationOptions Source #
Instances
data ExecuteCommandParams Source #
ExecuteCommandParams | |
|
Instances
Instances
Eq Command Source # | |
Read Command Source # | |
Show Command Source # | |
ToJSON Command Source # | |
Defined in Language.LSP.Types.Command | |
FromJSON Command Source # | |
HasCommand Command Text Source # | |
HasTitle Command Text Source # | |
HasCommand CodeLens (Maybe Command) Source # | |
HasCommand CompletionItem (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens | |
HasCommand CodeAction (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens | |
HasArguments Command (Maybe (List Value)) Source # | |
A terser, isomorphic data type for Either
, that does not get tagged when
converting to and from JSON.
Instances
All LSP types representing a list **must** use this type rather than '[]'.
In particular this is necessary to change the FromJSON
instance to be compatible
with Elisp (where empty lists show up as null
)
List [a] |
Instances
data CompletionItemKind Source #
Instances
data CompletionItemTag Source #
CtDeprecated | Render a completion as obsolete, usually using a strike-out. |
Instances
data CompletionItemTagsClientCapabilities Source #
CompletionItemTagsClientCapabilities | |
|
Instances
data CompletionItemClientCapabilities Source #
CompletionItemClientCapabilities | |
|
Instances
data CompletionItemKindClientCapabilities Source #
CompletionItemKindClientCapabilities | |
|
Instances
data CompletionClientCapabilities Source #
CompletionClientCapabilities | |
|
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.LSP.Types.Completion (==) :: InsertTextFormat -> InsertTextFormat -> Bool # (/=) :: InsertTextFormat -> InsertTextFormat -> Bool # | |
Read InsertTextFormat Source # | |
Defined in Language.LSP.Types.Completion | |
Show InsertTextFormat Source # | |
Defined in Language.LSP.Types.Completion showsPrec :: Int -> InsertTextFormat -> ShowS # show :: InsertTextFormat -> String # showList :: [InsertTextFormat] -> ShowS # | |
ToJSON InsertTextFormat Source # | |
Defined in Language.LSP.Types.Completion toJSON :: InsertTextFormat -> Value # toEncoding :: InsertTextFormat -> Encoding # toJSONList :: [InsertTextFormat] -> Value # toEncodingList :: [InsertTextFormat] -> Encoding # | |
FromJSON InsertTextFormat Source # | |
Defined in Language.LSP.Types.Completion parseJSON :: Value -> Parser InsertTextFormat # parseJSONList :: Value -> Parser [InsertTextFormat] # | |
HasInsertTextFormat CompletionItem (Maybe InsertTextFormat) Source # | |
Defined in Language.LSP.Types.Lens |
data CompletionDoc Source #
Instances
Eq CompletionDoc Source # | |
Defined in Language.LSP.Types.Completion (==) :: CompletionDoc -> CompletionDoc -> Bool # (/=) :: CompletionDoc -> CompletionDoc -> Bool # | |
Read CompletionDoc Source # | |
Defined in Language.LSP.Types.Completion readsPrec :: Int -> ReadS CompletionDoc # readList :: ReadS [CompletionDoc] # | |
Show CompletionDoc Source # | |
Defined in Language.LSP.Types.Completion showsPrec :: Int -> CompletionDoc -> ShowS # show :: CompletionDoc -> String # showList :: [CompletionDoc] -> ShowS # | |
ToJSON CompletionDoc Source # | |
Defined in Language.LSP.Types.Completion toJSON :: CompletionDoc -> Value # toEncoding :: CompletionDoc -> Encoding # toJSONList :: [CompletionDoc] -> Value # toEncodingList :: [CompletionDoc] -> Encoding # | |
FromJSON CompletionDoc Source # | |
Defined in Language.LSP.Types.Completion parseJSON :: Value -> Parser CompletionDoc # parseJSONList :: Value -> Parser [CompletionDoc] # | |
HasDocumentation CompletionItem (Maybe CompletionDoc) Source # | |
Defined in Language.LSP.Types.Lens |
data CompletionItem Source #
CompletionItem | |
|
Instances
data CompletionList Source #
Represents a collection of CompletionItem
s to be presented in the editor.
CompletionList | |
|
Instances
data CompletionTriggerKind Source #
How a completion was triggered
CtInvoked | Completion was triggered by typing an identifier (24x7 code complete), manual invocation (e.g Ctrl+Space) or via API. |
CtTriggerCharacter | Completion was triggered by a trigger character specified by
the |
CtTriggerForIncompleteCompletions | Completion was re-triggered as the current completion list is incomplete. |
CtUnknown Scientific | An unknown |
Instances
data CompletionOptions Source #
CompletionOptions | |
|
Instances
data CompletionRegistrationOptions Source #
Instances
data CompletionContext Source #
CompletionContext | |
|
Instances
data CompletionParams Source #
Instances
data DidChangeConfigurationClientCapabilities Source #
DidChangeConfigurationClientCapabilities | |
|
Instances
data DidChangeConfigurationParams Source #
Instances
data ConfigurationItem Source #
Instances
data ConfigurationParams Source #
Instances
Eq ConfigurationParams Source # | |
Defined in Language.LSP.Types.Configuration (==) :: ConfigurationParams -> ConfigurationParams -> Bool # (/=) :: ConfigurationParams -> ConfigurationParams -> Bool # | |
Read ConfigurationParams Source # | |
Show ConfigurationParams Source # | |
Defined in Language.LSP.Types.Configuration showsPrec :: Int -> ConfigurationParams -> ShowS # show :: ConfigurationParams -> String # showList :: [ConfigurationParams] -> ShowS # | |
ToJSON ConfigurationParams Source # | |
Defined in Language.LSP.Types.Configuration toJSON :: ConfigurationParams -> Value # toEncoding :: ConfigurationParams -> Encoding # toJSONList :: [ConfigurationParams] -> Value # toEncodingList :: [ConfigurationParams] -> Encoding # | |
FromJSON ConfigurationParams Source # | |
Defined in Language.LSP.Types.Configuration parseJSON :: Value -> Parser ConfigurationParams # parseJSONList :: Value -> Parser [ConfigurationParams] # | |
HasItems ConfigurationParams (List ConfigurationItem) Source # | |
Defined in Language.LSP.Types.Lens |
data DeclarationClientCapabilities Source #
DeclarationClientCapabilities | |
|
Instances
data DeclarationOptions Source #
Instances
data DeclarationRegistrationOptions Source #
DeclarationRegistrationOptions | |
|
Instances
data DeclarationParams Source #
Instances
data DefinitionClientCapabilities Source #
DefinitionClientCapabilities | |
|
Instances
data DefinitionOptions Source #
Instances
data DefinitionRegistrationOptions Source #
Instances
data DefinitionParams Source #
Instances
Eq DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition (==) :: DefinitionParams -> DefinitionParams -> Bool # (/=) :: DefinitionParams -> DefinitionParams -> Bool # | |
Read DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition | |
Show DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition showsPrec :: Int -> DefinitionParams -> ShowS # show :: DefinitionParams -> String # showList :: [DefinitionParams] -> ShowS # | |
ToJSON DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition toJSON :: DefinitionParams -> Value # toEncoding :: DefinitionParams -> Encoding # toJSONList :: [DefinitionParams] -> Value # toEncodingList :: [DefinitionParams] -> Encoding # | |
FromJSON DefinitionParams Source # | |
Defined in Language.LSP.Types.Definition parseJSON :: Value -> Parser DefinitionParams # parseJSONList :: Value -> Parser [DefinitionParams] # |
data DiagnosticSeverity Source #
Instances
data DiagnosticTag Source #
DtUnnecessary | Unused or unnecessary code. Clients are allowed to render diagnostics with this tag faded out instead of having an error squiggle. |
DtDeprecated | Deprecated or obsolete code. Clients are allowed to rendered diagnostics with this tag strike through. |
Instances
data DiagnosticRelatedInformation Source #
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Diagnostic | |
|
Instances
data PublishDiagnosticsTagsClientCapabilities Source #
PublishDiagnosticsTagsClientCapabilities | |
|
Instances
data PublishDiagnosticsClientCapabilities Source #
PublishDiagnosticsClientCapabilities | |
|
Instances
data PublishDiagnosticsParams Source #
PublishDiagnosticsParams | |
|
Instances
Eq PublishDiagnosticsParams Source # | |
Defined in Language.LSP.Types.Diagnostic | |
Read PublishDiagnosticsParams Source # | |
Show PublishDiagnosticsParams Source # | |
Defined in Language.LSP.Types.Diagnostic showsPrec :: Int -> PublishDiagnosticsParams -> ShowS # show :: PublishDiagnosticsParams -> String # showList :: [PublishDiagnosticsParams] -> ShowS # | |
ToJSON PublishDiagnosticsParams Source # | |
Defined in Language.LSP.Types.Diagnostic | |
FromJSON PublishDiagnosticsParams Source # | |
Defined in Language.LSP.Types.Diagnostic | |
HasUri PublishDiagnosticsParams Uri Source # | |
Defined in Language.LSP.Types.Lens | |
HasVersion PublishDiagnosticsParams (Maybe Int) Source # | |
Defined in Language.LSP.Types.Lens | |
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source # | |
Defined in Language.LSP.Types.Lens |
data DocumentColorClientCapabilities Source #
DocumentColorClientCapabilities | |
|
Instances
data DocumentColorOptions Source #
Instances
data DocumentColorRegistrationOptions Source #
DocumentColorRegistrationOptions | |
|
Instances
data DocumentColorParams Source #
Instances
Represents a color in RGBA space.
Instances
Eq Color Source # | |
Read Color Source # | |
Show Color Source # | |
ToJSON Color Source # | |
Defined in Language.LSP.Types.DocumentColor | |
FromJSON Color Source # | |
HasRed Color Int Source # | |
HasGreen Color Int Source # | |
HasBlue Color Int Source # | |
HasAlpha Color Int Source # | |
HasColor ColorInformation Color Source # | |
Defined in Language.LSP.Types.Lens | |
HasColor ColorPresentationParams Color Source # | |
Defined in Language.LSP.Types.Lens |
data ColorInformation Source #
Instances
data ColorPresentationParams Source #
Instances
data ColorPresentation Source #
ColorPresentation | |
|
Instances
data DocumentFilter Source #
DocumentFilter | |
|
Instances
type DocumentSelector = List DocumentFilter Source #
data DocumentHighlightClientCapabilities Source #
DocumentHighlightClientCapabilities | |
|
Instances
data DocumentHighlightOptions Source #
Instances
data DocumentHighlightRegistrationOptions Source #
Instances
data DocumentHighlightParams Source #
Instances
data DocumentHighlightKind Source #
HkText | A textual occurrence. |
HkRead | Read-access of a symbol, like reading a variable. |
HkWrite | Write-access of a symbol, like writing to a variable. |
Instances
data DocumentHighlight Source #
A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
Instances
data DocumentLinkClientCapabilities Source #
DocumentLinkClientCapabilities | |
|
Instances
data DocumentLinkOptions Source #
Instances
data DocumentLinkRegistrationOptions Source #
DocumentLinkRegistrationOptions | |
|
Instances
data DocumentLinkParams Source #
Instances
data DocumentLink Source #
A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.
DocumentLink | |
|
Instances
data DocumentSymbolOptions Source #
Instances
data DocumentSymbolRegistrationOptions Source #
Instances
data DocumentSymbolParams Source #
Instances
data SymbolKind Source #
Instances
data DocumentSymbolKindClientCapabilities Source #
DocumentSymbolKindClientCapabilities | |
|
Instances
data DocumentSymbolClientCapabilities Source #
DocumentSymbolClientCapabilities | |
|
Instances
data DocumentSymbol Source #
Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.
DocumentSymbol | |
|
Instances
data SymbolInformation Source #
Represents information about programming constructs like variables, classes, interfaces etc.
SymbolInformation | |
|
Instances
data FoldingRangeClientCapabilities Source #
FoldingRangeClientCapabilities | |
|
Instances
data FoldingRangeOptions Source #
Instances
data FoldingRangeRegistrationOptions Source #
FoldingRangeRegistrationOptions | |
|
Instances
data FoldingRangeParams Source #
Instances
data FoldingRangeKind Source #
Enum of known range kinds
FoldingRangeComment | Folding range for a comment |
FoldingRangeImports | Folding range for a imports or includes |
FoldingRangeRegion | Folding range for a region (e.g. #region) |
FoldingRangeUnknown Text | Folding range that haskell-lsp-types does not yet support |
Instances
Eq FoldingRangeKind Source # | |
Defined in Language.LSP.Types.FoldingRange (==) :: FoldingRangeKind -> FoldingRangeKind -> Bool # (/=) :: FoldingRangeKind -> FoldingRangeKind -> Bool # | |
Read FoldingRangeKind Source # | |
Defined in Language.LSP.Types.FoldingRange | |
Show FoldingRangeKind Source # | |
Defined in Language.LSP.Types.FoldingRange showsPrec :: Int -> FoldingRangeKind -> ShowS # show :: FoldingRangeKind -> String # showList :: [FoldingRangeKind] -> ShowS # | |
ToJSON FoldingRangeKind Source # | |
Defined in Language.LSP.Types.FoldingRange toJSON :: FoldingRangeKind -> Value # toEncoding :: FoldingRangeKind -> Encoding # toJSONList :: [FoldingRangeKind] -> Value # toEncodingList :: [FoldingRangeKind] -> Encoding # | |
FromJSON FoldingRangeKind Source # | |
Defined in Language.LSP.Types.FoldingRange parseJSON :: Value -> Parser FoldingRangeKind # parseJSONList :: Value -> Parser [FoldingRangeKind] # | |
HasKind FoldingRange (Maybe FoldingRangeKind) Source # | |
Defined in Language.LSP.Types.Lens |
data FoldingRange Source #
Represents a folding range.
FoldingRange | |
|
Instances
data DocumentFormattingClientCapabilities Source #
DocumentFormattingClientCapabilities | |
|
Instances
data DocumentFormattingOptions Source #
Instances
data DocumentFormattingRegistrationOptions Source #
Instances
data FormattingOptions Source #
Value-object describing what options formatting should use.
FormattingOptions | |
|
Instances
data DocumentFormattingParams Source #
Instances
data DocumentRangeFormattingClientCapabilities Source #
DocumentRangeFormattingClientCapabilities | |
|
Instances
data DocumentRangeFormattingOptions Source #
Instances
data DocumentRangeFormattingRegistrationOptions Source #
Instances
data DocumentRangeFormattingParams Source #
Instances
data DocumentOnTypeFormattingClientCapabilities Source #
DocumentOnTypeFormattingClientCapabilities | |
|
Instances
data DocumentOnTypeFormattingOptions Source #
DocumentOnTypeFormattingOptions | |
|
Instances
data DocumentOnTypeFormattingRegistrationOptions Source #
Instances
data DocumentOnTypeFormattingParams Source #
Instances
data HoverClientCapabilities Source #
Instances
data HoverOptions Source #
Instances
Eq HoverOptions Source # | |
Defined in Language.LSP.Types.Hover (==) :: HoverOptions -> HoverOptions -> Bool # (/=) :: HoverOptions -> HoverOptions -> Bool # | |
Read HoverOptions Source # | |
Defined in Language.LSP.Types.Hover readsPrec :: Int -> ReadS HoverOptions # readList :: ReadS [HoverOptions] # | |
Show HoverOptions Source # | |
Defined in Language.LSP.Types.Hover showsPrec :: Int -> HoverOptions -> ShowS # show :: HoverOptions -> String # showList :: [HoverOptions] -> ShowS # | |
ToJSON HoverOptions Source # | |
Defined in Language.LSP.Types.Hover toJSON :: HoverOptions -> Value # toEncoding :: HoverOptions -> Encoding # toJSONList :: [HoverOptions] -> Value # toEncodingList :: [HoverOptions] -> Encoding # | |
FromJSON HoverOptions Source # | |
Defined in Language.LSP.Types.Hover parseJSON :: Value -> Parser HoverOptions # parseJSONList :: Value -> Parser [HoverOptions] # | |
HasHoverProvider ServerCapabilities (Maybe (Bool |? HoverOptions)) Source # | |
Defined in Language.LSP.Types.Lens |
data HoverRegistrationOptions Source #
Instances
data HoverParams Source #
Instances
Eq HoverParams Source # | |
Defined in Language.LSP.Types.Hover (==) :: HoverParams -> HoverParams -> Bool # (/=) :: HoverParams -> HoverParams -> Bool # | |
Read HoverParams Source # | |
Defined in Language.LSP.Types.Hover readsPrec :: Int -> ReadS HoverParams # readList :: ReadS [HoverParams] # readPrec :: ReadPrec HoverParams # readListPrec :: ReadPrec [HoverParams] # | |
Show HoverParams Source # | |
Defined in Language.LSP.Types.Hover showsPrec :: Int -> HoverParams -> ShowS # show :: HoverParams -> String # showList :: [HoverParams] -> ShowS # | |
ToJSON HoverParams Source # | |
Defined in Language.LSP.Types.Hover toJSON :: HoverParams -> Value # toEncoding :: HoverParams -> Encoding # toJSONList :: [HoverParams] -> Value # toEncodingList :: [HoverParams] -> Encoding # | |
FromJSON HoverParams Source # | |
Defined in Language.LSP.Types.Hover parseJSON :: Value -> Parser HoverParams # parseJSONList :: Value -> Parser [HoverParams] # |
data LanguageString Source #
Instances
data MarkedString Source #
Deprecated: Use MarkupContent instead, since 3.3.0 (11242017)
PlainString Text | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
CodeString LanguageString | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
Instances
Eq MarkedString Source # | |
Defined in Language.LSP.Types.Hover (==) :: MarkedString -> MarkedString -> Bool # (/=) :: MarkedString -> MarkedString -> Bool # | |
Read MarkedString Source # | |
Defined in Language.LSP.Types.Hover readsPrec :: Int -> ReadS MarkedString # readList :: ReadS [MarkedString] # | |
Show MarkedString Source # | |
Defined in Language.LSP.Types.Hover showsPrec :: Int -> MarkedString -> ShowS # show :: MarkedString -> String # showList :: [MarkedString] -> ShowS # | |
ToJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover toJSON :: MarkedString -> Value # toEncoding :: MarkedString -> Encoding # toJSONList :: [MarkedString] -> Value # toEncodingList :: [MarkedString] -> Encoding # | |
FromJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover parseJSON :: Value -> Parser MarkedString # parseJSONList :: Value -> Parser [MarkedString] # |
data HoverContents Source #
Instances
data ImplementationClientCapabilities Source #
ImplementationClientCapabilities | |
|
Instances
data ImplementationOptions Source #
Instances
data ImplementationRegistrationOptions Source #
ImplementationRegistrationOptions | |
|
Instances
data ImplementationParams Source #
Instances
Eq ImplementationParams Source # | |
Defined in Language.LSP.Types.Implementation (==) :: ImplementationParams -> ImplementationParams -> Bool # (/=) :: ImplementationParams -> ImplementationParams -> Bool # | |
Read ImplementationParams Source # | |
Show ImplementationParams Source # | |
Defined in Language.LSP.Types.Implementation showsPrec :: Int -> ImplementationParams -> ShowS # show :: ImplementationParams -> String # showList :: [ImplementationParams] -> ShowS # | |
ToJSON ImplementationParams Source # | |
Defined in Language.LSP.Types.Implementation toJSON :: ImplementationParams -> Value # toEncoding :: ImplementationParams -> Encoding # toJSONList :: [ImplementationParams] -> Value # toEncodingList :: [ImplementationParams] -> Encoding # | |
FromJSON ImplementationParams Source # | |
Defined in Language.LSP.Types.Implementation parseJSON :: Value -> Parser ImplementationParams # parseJSONList :: Value -> Parser [ImplementationParams] # |
data ClientInfo Source #
Instances
data InitializeParams Source #
InitializeParams | |
|
Instances
data InitializeError Source #
Instances
Eq InitializeError Source # | |
Defined in Language.LSP.Types.Initialize (==) :: InitializeError -> InitializeError -> Bool # (/=) :: InitializeError -> InitializeError -> Bool # | |
Read InitializeError Source # | |
Defined in Language.LSP.Types.Initialize | |
Show InitializeError Source # | |
Defined in Language.LSP.Types.Initialize showsPrec :: Int -> InitializeError -> ShowS # show :: InitializeError -> String # showList :: [InitializeError] -> ShowS # | |
ToJSON InitializeError Source # | |
Defined in Language.LSP.Types.Initialize toJSON :: InitializeError -> Value # toEncoding :: InitializeError -> Encoding # toJSONList :: [InitializeError] -> Value # toEncodingList :: [InitializeError] -> Encoding # | |
FromJSON InitializeError Source # | |
Defined in Language.LSP.Types.Initialize parseJSON :: Value -> Parser InitializeError # parseJSONList :: Value -> Parser [InitializeError] # | |
HasRetry InitializeError Bool Source # | |
Defined in Language.LSP.Types.Lens |
data ServerInfo Source #
Instances
data InitializeResult Source #
InitializeResult | |
|
Instances
data InitializedParams Source #
Instances
Eq InitializedParams Source # | |
Defined in Language.LSP.Types.Initialize (==) :: InitializedParams -> InitializedParams -> Bool # (/=) :: InitializedParams -> InitializedParams -> Bool # | |
Read InitializedParams Source # | |
Defined in Language.LSP.Types.Initialize | |
Show InitializedParams Source # | |
Defined in Language.LSP.Types.Initialize showsPrec :: Int -> InitializedParams -> ShowS # show :: InitializedParams -> String # showList :: [InitializedParams] -> ShowS # | |
ToJSON InitializedParams Source # | |
Defined in Language.LSP.Types.Initialize toJSON :: InitializedParams -> Value # toEncoding :: InitializedParams -> Encoding # toJSONList :: [InitializedParams] -> Value # toEncodingList :: [InitializedParams] -> Encoding # | |
FromJSON InitializedParams Source # | |
Defined in Language.LSP.Types.Initialize parseJSON :: Value -> Parser InitializedParams # parseJSONList :: Value -> Parser [InitializedParams] # |
Position | |
|
Instances
Instances
Instances
Eq Location Source # | |
Ord Location Source # | |
Defined in Language.LSP.Types.Location | |
Read Location Source # | |
Show Location Source # | |
Generic Location Source # | |
ToJSON Location Source # | |
Defined in Language.LSP.Types.Location | |
FromJSON Location Source # | |
NFData Location Source # | |
Defined in Language.LSP.Types.Location | |
HasRange Location Range Source # | |
HasUri Location Uri Source # | |
HasLocation SymbolInformation Location Source # | |
Defined in Language.LSP.Types.Lens | |
HasLocation DiagnosticRelatedInformation Location Source # | |
Defined in Language.LSP.Types.Lens | |
type Rep Location Source # | |
Defined in Language.LSP.Types.Location type Rep Location = D1 (MetaData "Location" "Language.LSP.Types.Location" "lsp-types-1.0.0.0-4tl9hJ01Xf3Dwl9RCbFmlD" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "_uri") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Uri) :*: S1 (MetaSel (Just "_range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Range))) |
data LocationLink Source #
Represents a link between a source and a target location.
LocationLink | |
|
Instances
Eq LocationLink Source # | |
Defined in Language.LSP.Types.Location (==) :: LocationLink -> LocationLink -> Bool # (/=) :: LocationLink -> LocationLink -> Bool # | |
Read LocationLink Source # | |
Defined in Language.LSP.Types.Location readsPrec :: Int -> ReadS LocationLink # readList :: ReadS [LocationLink] # | |
Show LocationLink Source # | |
Defined in Language.LSP.Types.Location showsPrec :: Int -> LocationLink -> ShowS # show :: LocationLink -> String # showList :: [LocationLink] -> ShowS # | |
ToJSON LocationLink Source # | |
Defined in Language.LSP.Types.Location toJSON :: LocationLink -> Value # toEncoding :: LocationLink -> Encoding # toJSONList :: [LocationLink] -> Value # toEncodingList :: [LocationLink] -> Encoding # | |
FromJSON LocationLink Source # | |
Defined in Language.LSP.Types.Location parseJSON :: Value -> Parser LocationLink # parseJSONList :: Value -> Parser [LocationLink] # |
mkRange :: Int -> Int -> Int -> Int -> Range Source #
A helper function for creating ranges. prop> mkRange l c l' c' = Range (Position l c) (Position l' c')
data LspId (m :: Method f Request) Source #
Id used for a request, Can be either a String or an Int
Instances
Eq (LspId m) Source # | |
Ord (LspId m) Source # | |
Read (LspId m) Source # | |
Show (LspId m) Source # | |
ToJSON (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
FromJSON (LspId m) Source # | |
IxOrd (LspId :: Method f Request -> Type) Source # | |
HasId (ResponseMessage m) (Maybe (LspId m)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasId (RequestMessage m) (LspId m) Source # | |
Defined in Language.LSP.Types.Lens | |
type Base (LspId :: Method f Request -> Type) Source # | |
data MarkupKind Source #
Describes the content type that a client supports in various
result literals like Hover
, ParameterInfo
or CompletionItem
.
MkPlainText | Plain text is supported as a content format |
MkMarkdown | Markdown is supported as a content format |
Instances
data MarkupContent Source #
A MarkupContent
literal represents a string value which content is interpreted base on its
| kind flag. Currently the protocol supports plaintext
and markdown
as markup kinds.
|
| If the kind is markdown
then the value can contain fenced code blocks like in GitHub issues.
| See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting
|
| Here is an example how such a string can be constructed using JavaScript / TypeScript:
| ```ts
| let markdown: MarkdownContent = {
| kind: MarkupKind.Markdown,
| value: [
| '# Header',
| 'Some text',
| '``typescript
,
| 'someCode();',
| '```'
| ].join('\n')
| };
| ```
|
| *Please Note* that clients might sanitize the return markdown. A client could decide to
| remove HTML from the markdown to avoid script execution.
MarkupContent | |
|
Instances
markedUpContent :: Text -> Text -> MarkupContent Source #
Create a MarkupContent
containing a quoted language string only.
unmarkedUpContent :: Text -> MarkupContent Source #
Create a MarkupContent
containing unquoted text
sectionSeparator :: Text Source #
Markdown for a section separator in Markdown, being a horizontal line
data Method (f :: From) (t :: MethodType) where Source #
data SMethod (m :: Method f t) where Source #
Instances
type SClientMethod (m :: Method FromClient t) = SMethod m Source #
type SServerMethod (m :: Method FromServer t) = SMethod m Source #
data SomeClientMethod Source #
Instances
data SomeServerMethod Source #
Instances
data SomeMethod where Source #
SomeMethod :: forall m. SMethod m -> SomeMethod |
Instances
type family MessageParams (m :: Method f t) :: Type where ... Source #
Map a method to the message payload type
type family ResponseResult (m :: Method f Request) :: Type where ... Source #
Map a request method to the response payload type
data NotificationMessage (m :: Method f Notification) Source #
Instances
data RequestMessage (m :: Method f Request) Source #
Instances
data CustomMessage f t where Source #
A custom message data type is needed to distinguish between notifications and requests, since a CustomMethod can be both!
ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request | |
NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification |
Instances
Show (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message showsPrec :: Int -> CustomMessage p t -> ShowS # show :: CustomMessage p t -> String # showList :: [CustomMessage p t] -> ShowS # | |
ToJSON (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message toJSON :: CustomMessage p t -> Value # toEncoding :: CustomMessage p t -> Encoding # toJSONList :: [CustomMessage p t] -> Value # toEncodingList :: [CustomMessage p t] -> Encoding # | |
FromJSON (CustomMessage p Notification) Source # | |
Defined in Language.LSP.Types.Message parseJSON :: Value -> Parser (CustomMessage p Notification) # parseJSONList :: Value -> Parser [CustomMessage p Notification] # | |
FromJSON (CustomMessage p Request) Source # | |
Defined in Language.LSP.Types.Message parseJSON :: Value -> Parser (CustomMessage p Request) # parseJSONList :: Value -> Parser [CustomMessage p Request] # |
ParseError | |
InvalidRequest | |
MethodNotFound | |
InvalidParams | |
InternalError | |
ServerErrorStart | |
ServerErrorEnd | |
ServerNotInitialized | |
UnknownErrorCode | |
RequestCancelled | |
ContentModified | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
data ResponseMessage (m :: Method f Request) Source #
Either result or error must be Just.
ResponseMessage | |
|
Instances
type family Message (m :: Method f t) :: Type where ... Source #
Map a method to the Request/Notification type with the correct payload
Message (CustomMethod :: Method f t) = CustomMessage f t | |
Message (m :: Method f Request) = RequestMessage m | |
Message (m :: Method f Notification) = NotificationMessage m |
type ClientMessage (m :: Method FromClient t) = Message m Source #
type ServerMessage (m :: Method FromServer t) = Message m Source #
data FromServerMessage' a where Source #
FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a | |
FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a |
Instances
Eq FromServerMessage Source # | |
Defined in Language.LSP.Types.Message (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # | |
Show FromServerMessage Source # | |
Defined in Language.LSP.Types.Message showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
ToJSON FromServerMessage Source # | |
Defined in Language.LSP.Types.Message toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding # |
fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage Source #
fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage Source #
data FromClientMessage' a where Source #
FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a | |
FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a |
Instances
ToJSON FromClientMessage Source # | |
Defined in Language.LSP.Types.Message toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding # |
fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage Source #
fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage Source #
parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a) Source #
parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a) Source #
clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x Source #
serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x Source #
data ClientNotOrReq (m :: Method FromClient t) where Source #
IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification) | |
IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m | |
IsClientEither :: ClientNotOrReq CustomMethod |
data ServerNotOrReq (m :: Method FromServer t) where Source #
IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification) | |
IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m | |
IsServerEither :: ServerNotOrReq CustomMethod |
splitClientMethod :: SClientMethod m -> ClientNotOrReq m Source #
splitServerMethod :: SServerMethod m -> ServerNotOrReq m Source #
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2) Source #
Heterogeneous equality on singleton server methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2) Source #
Heterogeneous equality on singlton client methods
data ProgressToken Source #
A token used to report progress back or return partial results for a specific request. @since 0.17.0.0
Instances
data ProgressParams t Source #
Parameters for a $/progress notification.
ProgressParams | |
|
Instances
data SomeProgressParams Source #
Instances
Eq SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress (==) :: SomeProgressParams -> SomeProgressParams -> Bool # (/=) :: SomeProgressParams -> SomeProgressParams -> Bool # | |
ToJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress toJSON :: SomeProgressParams -> Value # toEncoding :: SomeProgressParams -> Encoding # toJSONList :: [SomeProgressParams] -> Value # toEncodingList :: [SomeProgressParams] -> Encoding # | |
FromJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress parseJSON :: Value -> Parser SomeProgressParams # parseJSONList :: Value -> Parser [SomeProgressParams] # |
data WorkDoneProgressBeginParams Source #
Parameters for WorkDoneProgressBeginNotification
.
Since: 0.10.0.0
WorkDoneProgressBeginParams | |
|
Instances
data WorkDoneProgressReportParams Source #
Parameters for WorkDoneProgressReportNotification
Since: 0.10.0.0
WorkDoneProgressReportParams | |
|
Instances
data WorkDoneProgressEndParams Source #
Parameters for WorkDoneProgressEndNotification
.
Since: 0.10.0.0
Instances
Eq WorkDoneProgressEndParams Source # | |
Defined in Language.LSP.Types.Progress | |
Read WorkDoneProgressEndParams Source # | |
Show WorkDoneProgressEndParams Source # | |
Defined in Language.LSP.Types.Progress showsPrec :: Int -> WorkDoneProgressEndParams -> ShowS # show :: WorkDoneProgressEndParams -> String # showList :: [WorkDoneProgressEndParams] -> ShowS # | |
ToJSON WorkDoneProgressEndParams Source # | |
Defined in Language.LSP.Types.Progress | |
FromJSON WorkDoneProgressEndParams Source # | |
Defined in Language.LSP.Types.Progress | |
HasMessage WorkDoneProgressEndParams (Maybe Text) Source # | |
Defined in Language.LSP.Types.Lens |
data WorkDoneProgressCancelParams Source #
Parameters for WorkDoneProgressCancelNotification
.
Since: 0.10.0.0
WorkDoneProgressCancelParams | |
|
Instances
data WorkDoneProgressCreateParams Source #
Instances
data WorkDoneProgressOptions Source #
Instances
Eq WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress | |
Read WorkDoneProgressOptions Source # | |
Show WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress showsPrec :: Int -> WorkDoneProgressOptions -> ShowS # show :: WorkDoneProgressOptions -> String # showList :: [WorkDoneProgressOptions] -> ShowS # | |
ToJSON WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress | |
FromJSON WorkDoneProgressOptions Source # | |
Defined in Language.LSP.Types.Progress |
data WorkDoneProgressParams Source #
WorkDoneProgressParams | |
|
Instances
Eq WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress | |
Read WorkDoneProgressParams Source # | |
Show WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress showsPrec :: Int -> WorkDoneProgressParams -> ShowS # show :: WorkDoneProgressParams -> String # showList :: [WorkDoneProgressParams] -> ShowS # | |
ToJSON WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress toJSON :: WorkDoneProgressParams -> Value # toEncoding :: WorkDoneProgressParams -> Encoding # toJSONList :: [WorkDoneProgressParams] -> Value # | |
FromJSON WorkDoneProgressParams Source # | |
Defined in Language.LSP.Types.Progress |
data PartialResultParams Source #
PartialResultParams | |
|
Instances
Eq PartialResultParams Source # | |
Defined in Language.LSP.Types.Progress (==) :: PartialResultParams -> PartialResultParams -> Bool # (/=) :: PartialResultParams -> PartialResultParams -> Bool # | |
Read PartialResultParams Source # | |
Defined in Language.LSP.Types.Progress | |
Show PartialResultParams Source # | |
Defined in Language.LSP.Types.Progress showsPrec :: Int -> PartialResultParams -> ShowS # show :: PartialResultParams -> String # showList :: [PartialResultParams] -> ShowS # | |
ToJSON PartialResultParams Source # | |
Defined in Language.LSP.Types.Progress toJSON :: PartialResultParams -> Value # toEncoding :: PartialResultParams -> Encoding # toJSONList :: [PartialResultParams] -> Value # toEncodingList :: [PartialResultParams] -> Encoding # | |
FromJSON PartialResultParams Source # | |
Defined in Language.LSP.Types.Progress parseJSON :: Value -> Parser PartialResultParams # parseJSONList :: Value -> Parser [PartialResultParams] # |
data ReferencesClientCapabilities Source #
ReferencesClientCapabilities | |
|
Instances
data ReferenceOptions Source #
Instances
Eq ReferenceOptions Source # | |
Defined in Language.LSP.Types.References (==) :: ReferenceOptions -> ReferenceOptions -> Bool # (/=) :: ReferenceOptions -> ReferenceOptions -> Bool # | |
Read ReferenceOptions Source # | |
Defined in Language.LSP.Types.References | |
Show ReferenceOptions Source # | |
Defined in Language.LSP.Types.References showsPrec :: Int -> ReferenceOptions -> ShowS # show :: ReferenceOptions -> String # showList :: [ReferenceOptions] -> ShowS # | |
ToJSON ReferenceOptions Source # | |
Defined in Language.LSP.Types.References toJSON :: ReferenceOptions -> Value # toEncoding :: ReferenceOptions -> Encoding # toJSONList :: [ReferenceOptions] -> Value # toEncodingList :: [ReferenceOptions] -> Encoding # | |
FromJSON ReferenceOptions Source # | |
Defined in Language.LSP.Types.References parseJSON :: Value -> Parser ReferenceOptions # parseJSONList :: Value -> Parser [ReferenceOptions] # | |
HasReferencesProvider ServerCapabilities (Maybe (Bool |? ReferenceOptions)) Source # | |
Defined in Language.LSP.Types.Lens |
data ReferenceRegistrationOptions Source #
Instances
data ReferenceContext Source #
ReferenceContext | |
|
Instances
data ReferenceParams Source #
Instances
type family RegistrationOptions (m :: Method FromClient t) :: Type where ... Source #
Matches up the registration options for a specific method
data Registration (m :: Method FromClient t) Source #
Registration | |
|
Instances
regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x Source #
data SomeRegistration Source #
Instances
Eq SomeRegistration Source # | |
Defined in Language.LSP.Types.Registration (==) :: SomeRegistration -> SomeRegistration -> Bool # (/=) :: SomeRegistration -> SomeRegistration -> Bool # | |
Show SomeRegistration Source # | |
Defined in Language.LSP.Types.Registration showsPrec :: Int -> SomeRegistration -> ShowS # show :: SomeRegistration -> String # showList :: [SomeRegistration] -> ShowS # | |
ToJSON SomeRegistration Source # | |
Defined in Language.LSP.Types.Registration toJSON :: SomeRegistration -> Value # toEncoding :: SomeRegistration -> Encoding # toJSONList :: [SomeRegistration] -> Value # toEncodingList :: [SomeRegistration] -> Encoding # | |
FromJSON SomeRegistration Source # | |
Defined in Language.LSP.Types.Registration parseJSON :: Value -> Parser SomeRegistration # parseJSONList :: Value -> Parser [SomeRegistration] # | |
HasRegistrations RegistrationParams (List SomeRegistration) Source # | |
Defined in Language.LSP.Types.Lens |
data RegistrationParams Source #
Instances
Eq RegistrationParams Source # | |
Defined in Language.LSP.Types.Registration (==) :: RegistrationParams -> RegistrationParams -> Bool # (/=) :: RegistrationParams -> RegistrationParams -> Bool # | |
Show RegistrationParams Source # | |
Defined in Language.LSP.Types.Registration showsPrec :: Int -> RegistrationParams -> ShowS # show :: RegistrationParams -> String # showList :: [RegistrationParams] -> ShowS # | |
ToJSON RegistrationParams Source # | |
Defined in Language.LSP.Types.Registration toJSON :: RegistrationParams -> Value # toEncoding :: RegistrationParams -> Encoding # toJSONList :: [RegistrationParams] -> Value # toEncodingList :: [RegistrationParams] -> Encoding # | |
FromJSON RegistrationParams Source # | |
Defined in Language.LSP.Types.Registration parseJSON :: Value -> Parser RegistrationParams # parseJSONList :: Value -> Parser [RegistrationParams] # | |
HasRegistrations RegistrationParams (List SomeRegistration) Source # | |
Defined in Language.LSP.Types.Lens |
data Unregistration Source #
General parameters to unregister a capability.
Unregistration | |
|
Instances
data UnregistrationParams Source #
UnregistrationParams | |
|
Instances
Eq UnregistrationParams Source # | |
Defined in Language.LSP.Types.Registration (==) :: UnregistrationParams -> UnregistrationParams -> Bool # (/=) :: UnregistrationParams -> UnregistrationParams -> Bool # | |
Show UnregistrationParams Source # | |
Defined in Language.LSP.Types.Registration showsPrec :: Int -> UnregistrationParams -> ShowS # show :: UnregistrationParams -> String # showList :: [UnregistrationParams] -> ShowS # | |
ToJSON UnregistrationParams Source # | |
Defined in Language.LSP.Types.Registration toJSON :: UnregistrationParams -> Value # toEncoding :: UnregistrationParams -> Encoding # toJSONList :: [UnregistrationParams] -> Value # toEncodingList :: [UnregistrationParams] -> Encoding # | |
FromJSON UnregistrationParams Source # | |
Defined in Language.LSP.Types.Registration parseJSON :: Value -> Parser UnregistrationParams # parseJSONList :: Value -> Parser [UnregistrationParams] # | |
HasUnregisterations UnregistrationParams (List Unregistration) Source # | |
Defined in Language.LSP.Types.Lens |
data RenameClientCapabilities Source #
RenameClientCapabilities | |
|
Instances
data RenameOptions Source #
RenameOptions | |
|
Instances
data RenameRegistrationOptions Source #
RenameRegistrationOptions | |
|
Instances
data RenameParams Source #
Instances
data PrepareRenameParams Source #
Instances
data RangeWithPlaceholder Source #
Instances
Eq RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename (==) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # (/=) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # | |
ToJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename toJSON :: RangeWithPlaceholder -> Value # toEncoding :: RangeWithPlaceholder -> Encoding # toJSONList :: [RangeWithPlaceholder] -> Value # toEncodingList :: [RangeWithPlaceholder] -> Encoding # | |
FromJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename parseJSON :: Value -> Parser RangeWithPlaceholder # parseJSONList :: Value -> Parser [RangeWithPlaceholder] # | |
HasRange RangeWithPlaceholder Range Source # | |
Defined in Language.LSP.Types.Lens | |
HasPlaceholder RangeWithPlaceholder Text Source # | |
Defined in Language.LSP.Types.Lens |
data SignatureHelpParameterInformation Source #
SignatureHelpParameterInformation | |
|
Instances
data SignatureHelpSignatureInformation Source #
SignatureHelpSignatureInformation | |
|
Instances
data SignatureHelpClientCapabilities Source #
SignatureHelpClientCapabilities | |
|
Instances
data SignatureHelpOptions Source #
SignatureHelpOptions | |
|
Instances
data SignatureHelpRegistrationOptions Source #
Instances
data ParameterInformation Source #
Instances
data SignatureInformation Source #
SignatureInformation | |
|
Instances
data SignatureHelp Source #
SignatureHelp | |
|
Instances
data SignatureHelpTriggerKind Source #
Instances
data SignatureHelpContext Source #
Additional information about the context in which a signature help request was triggered.
SignatureHelpContext | |
|
Instances
Eq SignatureHelpContext Source # | |
Defined in Language.LSP.Types.SignatureHelp (==) :: SignatureHelpContext -> SignatureHelpContext -> Bool # (/=) :: SignatureHelpContext -> SignatureHelpContext -> Bool # | |
Read SignatureHelpContext Source # | |
Show SignatureHelpContext Source # | |
Defined in Language.LSP.Types.SignatureHelp showsPrec :: Int -> SignatureHelpContext -> ShowS # show :: SignatureHelpContext -> String # showList :: [SignatureHelpContext] -> ShowS # | |
ToJSON SignatureHelpContext Source # | |
Defined in Language.LSP.Types.SignatureHelp toJSON :: SignatureHelpContext -> Value # toEncoding :: SignatureHelpContext -> Encoding # toJSONList :: [SignatureHelpContext] -> Value # toEncodingList :: [SignatureHelpContext] -> Encoding # | |
FromJSON SignatureHelpContext Source # | |
Defined in Language.LSP.Types.SignatureHelp parseJSON :: Value -> Parser SignatureHelpContext # parseJSONList :: Value -> Parser [SignatureHelpContext] # |
data SignatureHelpParams Source #
Instances
Eq SignatureHelpParams Source # | |
Defined in Language.LSP.Types.SignatureHelp (==) :: SignatureHelpParams -> SignatureHelpParams -> Bool # (/=) :: SignatureHelpParams -> SignatureHelpParams -> Bool # | |
Read SignatureHelpParams Source # | |
Show SignatureHelpParams Source # | |
Defined in Language.LSP.Types.SignatureHelp showsPrec :: Int -> SignatureHelpParams -> ShowS # show :: SignatureHelpParams -> String # showList :: [SignatureHelpParams] -> ShowS # | |
ToJSON SignatureHelpParams Source # | |
Defined in Language.LSP.Types.SignatureHelp toJSON :: SignatureHelpParams -> Value # toEncoding :: SignatureHelpParams -> Encoding # toJSONList :: [SignatureHelpParams] -> Value # toEncodingList :: [SignatureHelpParams] -> Encoding # | |
FromJSON SignatureHelpParams Source # | |
Defined in Language.LSP.Types.SignatureHelp parseJSON :: Value -> Parser SignatureHelpParams # parseJSONList :: Value -> Parser [SignatureHelpParams] # |
data StaticRegistrationOptions Source #
Instances
data SelectionRangeClientCapabilities Source #
SelectionRangeClientCapabilities | |
|
Instances
data SelectionRangeOptions Source #
Instances
data SelectionRangeRegistrationOptions Source #
SelectionRangeRegistrationOptions | |
|
Instances
data SelectionRangeParams Source #
Instances
data SelectionRange Source #
SelectionRange | |
|
Instances
data TextDocumentIdentifier Source #
Instances
type TextDocumentVersion = Maybe Int Source #
data VersionedTextDocumentIdentifier Source #
Instances
data TextDocumentItem Source #
Instances
data TextDocumentPositionParams Source #
TextDocumentPositionParams | |
|
Instances
data TextDocumentSyncClientCapabilities Source #
TextDocumentSyncClientCapabilities | |
|
Instances
data SaveOptions Source #
SaveOptions | |
|
Instances
data TextDocumentSyncKind Source #
Defines how the host (editor) should sync document changes to the language server.
TdSyncNone | Documents should not be synced at all. |
TdSyncFull | Documents are synced by always sending the full content of the document. |
TdSyncIncremental | Documents are synced by sending the full content on open. After that only incremental updates to the document are send. |
Instances
data TextDocumentSyncOptions Source #
TextDocumentSyncOptions | |
|
Instances
data TextDocumentRegistrationOptions Source #
Instances
data DidOpenTextDocumentParams Source #
DidOpenTextDocumentParams | |
|
Instances
data TextDocumentChangeRegistrationOptions Source #
Instances
data TextDocumentContentChangeEvent Source #
Instances
data DidChangeTextDocumentParams Source #
DidChangeTextDocumentParams | |
|
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
data WillSaveTextDocumentParams Source #
WillSaveTextDocumentParams | |
|
Instances
data TextDocumentSaveRegistrationOptions Source #
TextDocumentSaveRegistrationOptions | |
|
Instances
data DidSaveTextDocumentParams Source #
DidSaveTextDocumentParams | |
|
Instances
data DidCloseTextDocumentParams Source #
DidCloseTextDocumentParams | |
|
Instances
data TypeDefinitionClientCapabilities Source #
TypeDefinitionClientCapabilities | |
|
Instances
data TypeDefinitionOptions Source #
Instances
data TypeDefinitionRegistrationOptions Source #
TypeDefinitionRegistrationOptions | |
|
Instances
data TypeDefinitionParams Source #
Instances
Eq TypeDefinitionParams Source # | |
Defined in Language.LSP.Types.TypeDefinition (==) :: TypeDefinitionParams -> TypeDefinitionParams -> Bool # (/=) :: TypeDefinitionParams -> TypeDefinitionParams -> Bool # | |
Read TypeDefinitionParams Source # | |
Show TypeDefinitionParams Source # | |
Defined in Language.LSP.Types.TypeDefinition showsPrec :: Int -> TypeDefinitionParams -> ShowS # show :: TypeDefinitionParams -> String # showList :: [TypeDefinitionParams] -> ShowS # | |
ToJSON TypeDefinitionParams Source # | |
Defined in Language.LSP.Types.TypeDefinition toJSON :: TypeDefinitionParams -> Value # toEncoding :: TypeDefinitionParams -> Encoding # toJSONList :: [TypeDefinitionParams] -> Value # toEncodingList :: [TypeDefinitionParams] -> Encoding # | |
FromJSON TypeDefinitionParams Source # | |
Defined in Language.LSP.Types.TypeDefinition parseJSON :: Value -> Parser TypeDefinitionParams # parseJSONList :: Value -> Parser [TypeDefinitionParams] # |
Instances
filePathToUri :: FilePath -> Uri Source #
data NormalizedUri Source #
Instances
toNormalizedUri :: Uri -> NormalizedUri Source #
fromNormalizedUri :: NormalizedUri -> Uri Source #
data NormalizedFilePath Source #
Newtype wrapper around FilePath that always has normalized slashes. The NormalizedUri and hash of the FilePath are cached to avoided repeated normalisation when we need to compute them (which is a lot).
This is one of the most performance critical parts of ghcide, do not modify it without profiling.
Instances
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath Source #
Warning: This function is considered private. Use normalizedFilePathToUri instead.
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri Source #
Warning: This function is considered private. Use normalizedUriToFilePath instead.
data DidChangeWatchedFilesClientCapabilities Source #
DidChangeWatchedFilesClientCapabilities | |
|
Instances
data DidChangeWatchedFilesRegistrationOptions Source #
Describe options to be used when registering for file system change events.
DidChangeWatchedFilesRegistrationOptions | |
|
Instances
data FileSystemWatcher Source #
FileSystemWatcher | |
|
Instances
WatchKind | |
|
Instances
Eq WatchKind Source # | |
Read WatchKind Source # | |
Show WatchKind Source # | |
ToJSON WatchKind Source # | |
Defined in Language.LSP.Types.WatchedFiles | |
FromJSON WatchKind Source # | |
HasWatchDelete WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchCreate WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchChange WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasKind FileSystemWatcher (Maybe WatchKind) Source # | |
Defined in Language.LSP.Types.Lens |
data FileChangeType Source #
The file event type.
Instances
An event describing a file change.
FileEvent | |
|
Instances
data DidChangeWatchedFilesParams Source #
Instances
data MessageType Source #
Instances
data ShowMessageParams Source #
Instances
data MessageActionItem Source #
Instances
data ShowMessageRequestParams Source #
ShowMessageRequestParams | |
|
Instances
Eq ShowMessageRequestParams Source # | |
Defined in Language.LSP.Types.Window | |
Read ShowMessageRequestParams Source # | |
Show ShowMessageRequestParams Source # | |
Defined in Language.LSP.Types.Window showsPrec :: Int -> ShowMessageRequestParams -> ShowS # show :: ShowMessageRequestParams -> String # showList :: [ShowMessageRequestParams] -> ShowS # | |
ToJSON ShowMessageRequestParams Source # | |
Defined in Language.LSP.Types.Window | |
FromJSON ShowMessageRequestParams Source # | |
Defined in Language.LSP.Types.Window | |
HasXtype ShowMessageRequestParams MessageType Source # | |
Defined in Language.LSP.Types.Lens | |
HasMessage ShowMessageRequestParams Text Source # | |
Defined in Language.LSP.Types.Lens | |
HasActions ShowMessageRequestParams (Maybe [MessageActionItem]) Source # | |
Defined in Language.LSP.Types.Lens |
data LogMessageParams Source #
Instances
Instances
Eq TextEdit Source # | |
Read TextEdit Source # | |
Show TextEdit Source # | |
ToJSON TextEdit Source # | |
Defined in Language.LSP.Types.WorkspaceEdit | |
FromJSON TextEdit Source # | |
HasRange TextEdit Range Source # | |
HasNewText TextEdit Text Source # | |
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # | |
Defined in Language.LSP.Types.Lens | |
HasTextEdit ColorPresentation (Maybe TextEdit) Source # | |
Defined in Language.LSP.Types.Lens | |
HasTextEdit CompletionItem (Maybe TextEdit) Source # | |
Defined in Language.LSP.Types.Lens | |
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasEdits TextDocumentEdit (List TextEdit) Source # | |
Defined in Language.LSP.Types.Lens |
data TextDocumentEdit Source #
Instances
data WorkspaceEdit Source #
Instances
data ResourceOperationKind Source #
ResourceOperationCreate | Supports creating new files and folders. |
ResourceOperationRename | Supports renaming existing files and folders. |
ResourceOperationDelete | Supports deleting existing files and folders. |
Instances
data FailureHandlingKind Source #
FailureHandlingAbort | Applying the workspace change is simply aborted if one of the changes provided fails. All operations executed before the failing operation stay executed. |
FailureHandlingTransactional | All operations are executed transactional. That means they either all succeed or no changes at all are applied to the workspace. |
FailureHandlingTextOnlyTransactional | If the workspace edit contains only textual file changes they are executed transactional. If resource changes (create, rename or delete file) are part of the change the failure handling strategy is abort. |
FailureHandlingUndo | The client tries to undo the operations already executed. But there is no guarantee that this is succeeding. |
Instances
Eq FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit (==) :: FailureHandlingKind -> FailureHandlingKind -> Bool # (/=) :: FailureHandlingKind -> FailureHandlingKind -> Bool # | |
Read FailureHandlingKind Source # | |
Show FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit showsPrec :: Int -> FailureHandlingKind -> ShowS # show :: FailureHandlingKind -> String # showList :: [FailureHandlingKind] -> ShowS # | |
ToJSON FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit toJSON :: FailureHandlingKind -> Value # toEncoding :: FailureHandlingKind -> Encoding # toJSONList :: [FailureHandlingKind] -> Value # toEncodingList :: [FailureHandlingKind] -> Encoding # | |
FromJSON FailureHandlingKind Source # | |
Defined in Language.LSP.Types.WorkspaceEdit parseJSON :: Value -> Parser FailureHandlingKind # parseJSONList :: Value -> Parser [FailureHandlingKind] # | |
HasFailureHandling WorkspaceEditClientCapabilities (Maybe FailureHandlingKind) Source # | |
data WorkspaceEditClientCapabilities Source #
WorkspaceEditClientCapabilities | |
|
Instances
data ApplyWorkspaceEditParams Source #
ApplyWorkspaceEditParams | |
|
Instances
data ApplyWorkspaceEditResponseBody Source #
ApplyWorkspaceEditResponseBody | |
|
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit
outer
inner
applies inner
to the text inside outer
.
data WorkspaceFolder Source #
Instances
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
WorkspaceFoldersChangeEvent | |
|
Instances
data DidChangeWorkspaceFoldersParams Source #
DidChangeWorkspaceFoldersParams | |
|
Instances
data WorkspaceSymbolKindClientCapabilities Source #
WorkspaceSymbolKindClientCapabilities | |
|
Instances
data WorkspaceSymbolClientCapabilities Source #
WorkspaceSymbolClientCapabilities | |
|
Instances
data WorkspaceSymbolOptions Source #
Instances
data WorkspaceSymbolRegistrationOptions Source #
Instances
data WorkspaceSymbolParams Source #