| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LSP.Types
Synopsis
- data CancelParams = forall m. CancelParams {}
- data CodeActionKind
- data CodeActionKindClientCapabilities = CodeActionKindClientCapabilities {}
- data CodeActionLiteralSupport = CodeActionLiteralSupport {}
- data CodeActionResolveClientCapabilities = CodeActionResolveClientCapabilities {
- _properties :: List Text
- data CodeActionClientCapabilities = CodeActionClientCapabilities {}
- data CodeActionOptions = CodeActionOptions {
- _workDoneProgress :: (Maybe Bool)
- _codeActionKinds :: (Maybe (List CodeActionKind))
- _resolveProvider :: (Maybe Bool)
- data CodeActionRegistrationOptions = CodeActionRegistrationOptions {}
- data CodeActionContext = CodeActionContext {}
- data CodeActionParams = CodeActionParams {}
- newtype Reason = Reason {}
- data CodeAction = CodeAction {
- _title :: Text
- _kind :: Maybe CodeActionKind
- _diagnostics :: Maybe (List Diagnostic)
- _isPreferred :: Maybe Bool
- _disabled :: Maybe Reason
- _edit :: Maybe WorkspaceEdit
- _command :: Maybe Command
- _xdata :: Maybe Value
- 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
- data CompletionItemTagsClientCapabilities = CompletionItemTagsClientCapabilities {}
- data CompletionItemResolveClientCapabilities = CompletionItemResolveClientCapabilities {
- _properties :: List Text
- data InsertTextMode
- data CompletionItemInsertTextModeClientCapabilities = CompletionItemInsertTextModeClientCapabilities {}
- data CompletionItemClientCapabilities = CompletionItemClientCapabilities {
- _snippetSupport :: Maybe Bool
- _commitCharactersSupport :: Maybe Bool
- _documentationFormat :: Maybe (List MarkupKind)
- _deprecatedSupport :: Maybe Bool
- _preselectSupport :: Maybe Bool
- _tagSupport :: Maybe CompletionItemTagsClientCapabilities
- _insertReplaceSupport :: Maybe Bool
- _resolveSupport :: Maybe CompletionItemResolveClientCapabilities
- _insertTextModeSupport :: Maybe CompletionItemInsertTextModeClientCapabilities
- data CompletionItemKindClientCapabilities = CompletionItemKindClientCapabilities {}
- data CompletionClientCapabilities = CompletionClientCapabilities {}
- data InsertTextFormat
- data CompletionDoc
- data InsertReplaceEdit = InsertReplaceEdit {}
- data CompletionEdit
- 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
- _insertTextMode :: Maybe InsertTextMode
- _textEdit :: Maybe CompletionEdit
- _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 [Text])
- _allCommitCharacters :: (Maybe [Text])
- _resolveProvider :: (Maybe Bool)
- data CompletionRegistrationOptions = CompletionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe [Text])
- _allCommitCharacters :: (Maybe [Text])
- _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 {}
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _label :: (Maybe Bool)
- 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 SymbolTag
- data DocumentSymbolKindClientCapabilities = DocumentSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
- data DocumentSymbolTagClientCapabilities = DocumentSymbolTagClientCapabilities {}
- data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {}
- data DocumentSymbol = DocumentSymbol {}
- data SymbolInformation = SymbolInformation {}
- 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 = forall t (m :: Method FromClient t). SomeClientMethod (SMethod m)
- data SomeServerMethod = forall t (m :: Method FromServer t). 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 {}
- addNullField :: Text -> Value -> Value
- 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
- data CustomEq m1 m2 where
- CustomEq :: (m1 ~ (CustomMethod :: Method f t1), m2 ~ (CustomMethod :: Method f t2)) => {..} -> CustomEq m1 m2
- runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2)
- mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
- mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
- data ProgressToken
- data ProgressParams t = ProgressParams {
- _token :: ProgressToken
- _value :: t
- 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 SomeProgressParams
- 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 = forall t (m :: Method FromClient t). SomeRegistration (Registration m)
- data RegistrationParams = RegistrationParams {}
- data Unregistration = Unregistration {
- _id :: Text
- _method :: SomeClientMethod
- data UnregistrationParams = UnregistrationParams {}
- data PrepareSupportDefaultBehavior
- 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 Text))
- _retriggerCharacters :: (Maybe (List Text))
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _triggerCharacters :: (Maybe (List Text))
- _retriggerCharacters :: (Maybe (List Text))
- data SignatureHelpDoc
- data ParameterLabel
- data ParameterInformation = ParameterInformation {}
- 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 {
- _globPattern :: Text
- _kind :: Maybe WatchKind
- 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 ChangeAnnotation = ChangeAnnotation {}
- newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifierId Text
- data AnnotatedTextEdit = AnnotatedTextEdit {}
- data TextDocumentEdit = TextDocumentEdit {}
- data CreateFileOptions = CreateFileOptions {}
- data CreateFile = CreateFile {}
- data RenameFileOptions = RenameFileOptions {}
- data RenameFile = RenameFile {}
- data DeleteFileOptions = DeleteFileOptions {}
- data DeleteFile = DeleteFile {}
- type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
- type WorkspaceEditMap = HashMap Uri (List TextEdit)
- type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
- data WorkspaceEdit = WorkspaceEdit {}
- data ResourceOperationKind
- data FailureHandlingKind
- data WorkspaceEditChangeAnnotationClientCapabilities = WorkspaceEditChangeAnnotationClientCapabilities {}
- 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 WorkspaceSymbolTagClientCapabilities = WorkspaceSymbolTagClientCapabilities {}
- data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {}
- data WorkspaceSymbolOptions = WorkspaceSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
Documentation
data CancelParams Source #
Constructors
| forall m. CancelParams | |
Instances
| Eq CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation | |
| Read CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
| Show CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
| ToJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
| FromJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation | |
data CodeActionKind Source #
Constructors
| 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 #
Constructors
| CodeActionKindClientCapabilities | |
Fields
| |
Instances
data CodeActionLiteralSupport Source #
Constructors
| CodeActionLiteralSupport | |
Fields
| |
Instances
data CodeActionResolveClientCapabilities Source #
Constructors
| CodeActionResolveClientCapabilities | |
Fields
| |
Instances
data CodeActionClientCapabilities Source #
Constructors
| CodeActionClientCapabilities | |
Fields
| |
Instances
data CodeActionOptions Source #
Constructors
| CodeActionOptions | |
Fields
| |
Instances
data CodeActionRegistrationOptions Source #
Constructors
| CodeActionRegistrationOptions | |
Fields
| |
Instances
data CodeActionContext Source #
Contains additional diagnostic information about the context in which a code action is run.
Constructors
| CodeActionContext | |
Fields
| |
Instances
data CodeActionParams Source #
Constructors
| CodeActionParams | |
Fields | |
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 $sel:_edit:CodeAction and/or a $sel:_command:CodeAction. If both are supplied,
the $sel:_edit:CodeAction is applied first, then the $sel:_command:CodeAction is executed.
Constructors
| CodeAction | |
Fields
| |
Instances
data CodeLensClientCapabilities Source #
Constructors
| CodeLensClientCapabilities | |
Fields
| |
Instances
data CodeLensOptions Source #
Constructors
| CodeLensOptions | |
Fields
| |
Instances
data CodeLensRegistrationOptions Source #
Constructors
| CodeLensRegistrationOptions | |
Fields
| |
Instances
data CodeLensParams Source #
Constructors
| CodeLensParams | |
Fields | |
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.
Constructors
| CodeLens | |
data ExecuteCommandClientCapabilities Source #
Constructors
| ExecuteCommandClientCapabilities | |
Fields
| |
Instances
data ExecuteCommandOptions Source #
Constructors
| ExecuteCommandOptions | |
Instances
data ExecuteCommandRegistrationOptions Source #
Constructors
| ExecuteCommandRegistrationOptions | |
Instances
data ExecuteCommandParams Source #
Constructors
| ExecuteCommandParams | |
Fields
| |
Instances
Constructors
| Command | |
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)
Constructors
| List [a] |
Instances
Constructors
| Empty |
data CompletionItemKind Source #
Constructors
Instances
data CompletionItemTag Source #
Constructors
| CitDeprecated | Render a completion as obsolete, usually using a strike-out. |
| CitUnknown Scientific |
Instances
data CompletionItemTagsClientCapabilities Source #
Constructors
| CompletionItemTagsClientCapabilities | |
Fields
| |
Instances
data CompletionItemResolveClientCapabilities Source #
Constructors
| CompletionItemResolveClientCapabilities | |
Fields
| |
Instances
data InsertTextMode Source #
How whitespace and indentation is handled during completion item insertion.
Since: 3.16.0
Constructors
| AsIs | The insertion or replace strings is taken as it is. If the value is multi line the lines below the cursor will be inserted using the indentation defined in the string value. The client will not apply any kind of adjustments to the string. |
| AdjustIndentation | The editor adjusts leading whitespace of new lines so that they match the indentation up to the cursor of the line for which the item is accepted. Consider a line like this: 2tabscursor3tabsfoo. Accepting a multi line completion item is indented using 2 tabs and all following lines inserted will be indented using 2 tabs as well. |
Instances
data CompletionItemInsertTextModeClientCapabilities Source #
Constructors
| CompletionItemInsertTextModeClientCapabilities | |
Fields | |
Instances
data CompletionItemClientCapabilities Source #
Constructors
| CompletionItemClientCapabilities | |
Fields
| |
Instances
data CompletionItemKindClientCapabilities Source #
Constructors
| CompletionItemKindClientCapabilities | |
Fields
| |
Instances
data CompletionClientCapabilities Source #
Constructors
| CompletionClientCapabilities | |
Fields
| |
Instances
data InsertTextFormat Source #
Constructors
| 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
data CompletionDoc Source #
Constructors
| CompletionDocString Text | |
| CompletionDocMarkup MarkupContent |
Instances
data InsertReplaceEdit Source #
Constructors
| InsertReplaceEdit | |
Instances
data CompletionEdit Source #
Instances
data CompletionItem Source #
Constructors
| CompletionItem | |
Fields
| |
Instances
data CompletionList Source #
Represents a collection of CompletionItems to be presented in the editor.
Constructors
| CompletionList | |
Fields
| |
Instances
data CompletionTriggerKind Source #
How a completion was triggered
Constructors
| 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 #
Constructors
| CompletionOptions | |
Fields
| |
Instances
data CompletionRegistrationOptions Source #
Constructors
| CompletionRegistrationOptions | |
Fields
| |
Instances
data CompletionContext Source #
Constructors
| CompletionContext | |
Fields
| |
Instances
data CompletionParams Source #
Constructors
| CompletionParams | |
Fields | |
Instances
data DidChangeConfigurationClientCapabilities Source #
Constructors
| DidChangeConfigurationClientCapabilities | |
Fields
| |
Instances
data DidChangeConfigurationParams Source #
Constructors
| DidChangeConfigurationParams | |
Instances
data ConfigurationItem Source #
Constructors
| ConfigurationItem | |
Instances
data ConfigurationParams Source #
Constructors
| ConfigurationParams | |
Fields | |
Instances
data DeclarationClientCapabilities Source #
Constructors
| DeclarationClientCapabilities | |
Fields
| |
Instances
data DeclarationOptions Source #
Constructors
| DeclarationOptions | |
Fields
| |
Instances
data DeclarationRegistrationOptions Source #
Constructors
| DeclarationRegistrationOptions | |
Fields
| |
Instances
data DeclarationParams Source #
Constructors
| DeclarationParams | |
Fields | |
Instances
data DefinitionClientCapabilities Source #
Constructors
| DefinitionClientCapabilities | |
Fields
| |
Instances
data DefinitionOptions Source #
Constructors
| DefinitionOptions | |
Fields
| |
Instances
data DefinitionRegistrationOptions Source #
Constructors
| DefinitionRegistrationOptions | |
Fields | |
Instances
data DefinitionParams Source #
Constructors
| DefinitionParams | |
Fields | |
Instances
data DiagnosticSeverity Source #
Instances
data DiagnosticTag Source #
Constructors
| 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 #
Constructors
| DiagnosticRelatedInformation | |
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Constructors
| Diagnostic | |
Fields
| |
Instances
data PublishDiagnosticsTagsClientCapabilities Source #
Constructors
| PublishDiagnosticsTagsClientCapabilities | |
Fields
| |
Instances
data PublishDiagnosticsClientCapabilities Source #
Constructors
| PublishDiagnosticsClientCapabilities | |
Fields
| |
Instances
data PublishDiagnosticsParams Source #
Constructors
| PublishDiagnosticsParams | |
Fields
| |
Instances
data DocumentColorClientCapabilities Source #
Constructors
| DocumentColorClientCapabilities | |
Fields
| |
Instances
data DocumentColorOptions Source #
Constructors
| DocumentColorOptions | |
Fields
| |
Instances
data DocumentColorRegistrationOptions Source #
Constructors
| DocumentColorRegistrationOptions | |
Fields
| |
Instances
data DocumentColorParams Source #
Constructors
| DocumentColorParams | |
Fields | |
Instances
Represents a color in RGBA space.
Constructors
| Color | |
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 #
Constructors
| ColorInformation | |
Instances
data ColorPresentationParams Source #
Constructors
| ColorPresentationParams | |
Fields | |
Instances
data ColorPresentation Source #
Constructors
| ColorPresentation | |
Fields
| |
Instances
data DocumentFilter Source #
Constructors
| DocumentFilter | |
Fields
| |
Instances
type DocumentSelector = List DocumentFilter Source #
data DocumentHighlightClientCapabilities Source #
Constructors
| DocumentHighlightClientCapabilities | |
Fields
| |
Instances
data DocumentHighlightOptions Source #
Constructors
| DocumentHighlightOptions | |
Fields
| |
Instances
data DocumentHighlightRegistrationOptions Source #
Constructors
| DocumentHighlightRegistrationOptions | |
Fields | |
Instances
data DocumentHighlightParams Source #
Constructors
| DocumentHighlightParams | |
Fields | |
Instances
data DocumentHighlightKind Source #
Constructors
| 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.
Constructors
| DocumentHighlight | |
Instances
data DocumentLinkClientCapabilities Source #
Constructors
| DocumentLinkClientCapabilities | |
Fields
| |
Instances
data DocumentLinkOptions Source #
Constructors
| DocumentLinkOptions | |
Fields
| |
Instances
data DocumentLinkRegistrationOptions Source #
Constructors
| DocumentLinkRegistrationOptions | |
Fields
| |
Instances
data DocumentLinkParams Source #
Constructors
| DocumentLinkParams | |
Fields | |
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.
Constructors
| DocumentLink | |
Fields
| |
Instances
data DocumentSymbolOptions Source #
Constructors
| DocumentSymbolOptions | |
Instances
data DocumentSymbolRegistrationOptions Source #
Constructors
| DocumentSymbolRegistrationOptions | |
Fields
| |
Instances
data DocumentSymbolParams Source #
Constructors
| DocumentSymbolParams | |
Fields | |
Instances
data SymbolKind Source #
Constructors
Instances
Symbol tags are extra annotations that tweak the rendering of a symbol.
Since: 3.16.0
Constructors
| StDeprecated | Render a symbol as obsolete, usually using a strike-out. |
| StUnknown Scientific |
Instances
| Eq SymbolTag Source # | |
| Read SymbolTag Source # | |
| Show SymbolTag Source # | |
| ToJSON SymbolTag Source # | |
Defined in Language.LSP.Types.DocumentSymbol | |
| FromJSON SymbolTag Source # | |
| HasTags DocumentSymbol (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens | |
| HasTags SymbolInformation (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens | |
data DocumentSymbolKindClientCapabilities Source #
Constructors
| DocumentSymbolKindClientCapabilities | |
Fields
| |
Instances
data DocumentSymbolTagClientCapabilities Source #
Constructors
| DocumentSymbolTagClientCapabilities | |
Instances
data DocumentSymbolClientCapabilities Source #
Constructors
| DocumentSymbolClientCapabilities | |
Fields
| |
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.
Constructors
| DocumentSymbol | |
Fields
| |
Instances
data SymbolInformation Source #
Represents information about programming constructs like variables, classes, interfaces etc.
Constructors
| SymbolInformation | |
Fields
| |
Instances
data FoldingRangeClientCapabilities Source #
Constructors
| FoldingRangeClientCapabilities | |
Fields
| |
Instances
data FoldingRangeOptions Source #
Constructors
| FoldingRangeOptions | |
Fields
| |
Instances
data FoldingRangeRegistrationOptions Source #
Constructors
| FoldingRangeRegistrationOptions | |
Fields
| |
Instances
data FoldingRangeParams Source #
Constructors
| FoldingRangeParams | |
Fields | |
Instances
data FoldingRangeKind Source #
Enum of known range kinds
Constructors
| 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
data FoldingRange Source #
Represents a folding range.
Constructors
| FoldingRange | |
Fields
| |
Instances
data DocumentFormattingClientCapabilities Source #
Constructors
| DocumentFormattingClientCapabilities | |
Fields
| |
Instances
data DocumentFormattingOptions Source #
Constructors
| DocumentFormattingOptions | |
Fields
| |
Instances
data DocumentFormattingRegistrationOptions Source #
Constructors
| DocumentFormattingRegistrationOptions | |
Fields | |
Instances
data FormattingOptions Source #
Value-object describing what options formatting should use.
Constructors
| FormattingOptions | |
Fields
| |
Instances
data DocumentFormattingParams Source #
Constructors
| DocumentFormattingParams | |
Fields | |
Instances
data DocumentRangeFormattingClientCapabilities Source #
Constructors
| DocumentRangeFormattingClientCapabilities | |
Fields
| |
Instances
data DocumentRangeFormattingOptions Source #
Constructors
| DocumentRangeFormattingOptions | |
Fields
| |
Instances
data DocumentRangeFormattingRegistrationOptions Source #
Constructors
| DocumentRangeFormattingRegistrationOptions | |
Fields | |
Instances
data DocumentRangeFormattingParams Source #
Constructors
| DocumentRangeFormattingParams | |
Fields | |
Instances
data DocumentOnTypeFormattingClientCapabilities Source #
Constructors
| DocumentOnTypeFormattingClientCapabilities | |
Fields
| |
Instances
data DocumentOnTypeFormattingOptions Source #
Constructors
| DocumentOnTypeFormattingOptions | |
Fields
| |
Instances
data DocumentOnTypeFormattingRegistrationOptions Source #
Constructors
| DocumentOnTypeFormattingRegistrationOptions | |
Fields | |
Instances
data DocumentOnTypeFormattingParams Source #
Constructors
| DocumentOnTypeFormattingParams | |
Fields | |
Instances
data HoverClientCapabilities Source #
Constructors
| HoverClientCapabilities | |
Fields | |
Instances
data HoverOptions Source #
Constructors
| HoverOptions | |
Fields
| |
Instances
data HoverRegistrationOptions Source #
Constructors
| HoverRegistrationOptions | |
Fields | |
Instances
data HoverParams Source #
Constructors
| HoverParams | |
Fields | |
Instances
data LanguageString Source #
Constructors
| LanguageString | |
Instances
data MarkedString Source #
Deprecated: Use MarkupContent instead, since 3.3.0 (11242017)
Constructors
| 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 | |
| Read MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods readsPrec :: Int -> ReadS MarkedString # readList :: ReadS [MarkedString] # | |
| Show MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods showsPrec :: Int -> MarkedString -> ShowS # show :: MarkedString -> String # showList :: [MarkedString] -> ShowS # | |
| ToJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods toJSON :: MarkedString -> Value # toEncoding :: MarkedString -> Encoding # toJSONList :: [MarkedString] -> Value # toEncodingList :: [MarkedString] -> Encoding # | |
| FromJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover | |
data HoverContents Source #
Constructors
| HoverContentsMS (List MarkedString) | |
| HoverContents MarkupContent |
Instances
data ImplementationClientCapabilities Source #
Constructors
| ImplementationClientCapabilities | |
Fields
| |
Instances
data ImplementationOptions Source #
Constructors
| ImplementationOptions | |
Fields
| |
Instances
data ImplementationRegistrationOptions Source #
Constructors
| ImplementationRegistrationOptions | |
Fields
| |
Instances
data ImplementationParams Source #
Constructors
| ImplementationParams | |
Fields | |
Instances
Constructors
| TraceOff | |
| TraceMessages | |
| TraceVerbose |
data ClientInfo Source #
Constructors
| ClientInfo | |
Instances
data InitializeParams Source #
Constructors
| InitializeParams | |
Fields
| |
Instances
data InitializeError Source #
Constructors
| InitializeError | |
Instances
data ServerInfo Source #
Constructors
| ServerInfo | |
Instances
data InitializeResult Source #
Constructors
| InitializeResult | |
Fields
| |
Instances
data InitializedParams Source #
Constructors
| InitializedParams | |
Instances
Constructors
| Position | |
Fields
| |
Instances
Constructors
| Range | |
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 | |
| HasUri Location Uri Source # | |
| HasRange Location Range 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.2.0.0-7pt44wIbdZXC4MysLJdkbt" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range))) | |
data LocationLink Source #
Represents a link between a source and a target location.
Constructors
| LocationLink | |
Fields
| |
Instances
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 # | |
Defined in Language.LSP.Types.LspId | |
| 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 # | |
Instances
| Eq SomeLspId Source # | |
| Ord SomeLspId Source # | |
| Show SomeLspId Source # | |
data MarkupKind Source #
Describes the content type that a client supports in various
result literals like Hover, ParameterInfo or CompletionItem.
Constructors
| 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.
Constructors
| MarkupContent | |
Fields
| |
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
Constructors
| FromServer | |
| FromClient |
data MethodType Source #
Constructors
| Notification | |
| Request |
data Method (f :: From) (t :: MethodType) where Source #
Constructors
data SMethod (m :: Method f t) where Source #
Constructors
Instances
type SClientMethod (m :: Method FromClient t) = SMethod m Source #
type SServerMethod (m :: Method FromServer t) = SMethod m Source #
data SomeClientMethod Source #
Constructors
| forall t (m :: Method FromClient t). SomeClientMethod (SMethod m) |
Instances
data SomeServerMethod Source #
Constructors
| forall t (m :: Method FromServer t). SomeServerMethod (SMethod m) |
Instances
data SomeMethod where Source #
Constructors
| SomeMethod :: forall m. SMethod m -> SomeMethod |
Instances
| Eq SomeMethod Source # | |
Defined in Language.LSP.Types.Method | |
| Ord SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods compare :: SomeMethod -> SomeMethod -> Ordering # (<) :: SomeMethod -> SomeMethod -> Bool # (<=) :: SomeMethod -> SomeMethod -> Bool # (>) :: SomeMethod -> SomeMethod -> Bool # (>=) :: SomeMethod -> SomeMethod -> Bool # max :: SomeMethod -> SomeMethod -> SomeMethod # min :: SomeMethod -> SomeMethod -> SomeMethod # | |
| Show SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods showsPrec :: Int -> SomeMethod -> ShowS # show :: SomeMethod -> String # showList :: [SomeMethod] -> ShowS # | |
| ToJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods toJSON :: SomeMethod -> Value # toEncoding :: SomeMethod -> Encoding # toJSONList :: [SomeMethod] -> Value # toEncodingList :: [SomeMethod] -> Encoding # | |
| FromJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method | |
type family MessageParams (m :: Method f t) :: Type where ... Source #
Map a method to the message payload type
Equations
type family ResponseResult (m :: Method f Request) :: Type where ... Source #
Map a request method to the response payload type
Equations
data NotificationMessage (m :: Method f Notification) Source #
Constructors
| NotificationMessage | |
Instances
data RequestMessage (m :: Method f Request) Source #
Constructors
| RequestMessage | |
Instances
addNullField :: Text -> Value -> Value Source #
Replace a missing field in an object with a null field, to simplify parsing This is a hack to allow other types than Maybe to work like Maybe in allowing the field to be missing. See also this issue: https://github.com/haskell/aeson/issues/646
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!
Constructors
| 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 Methods 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 Methods 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 Methods parseJSON :: Value -> Parser (CustomMessage p 'Notification) # parseJSONList :: Value -> Parser [CustomMessage p 'Notification] # | |
| FromJSON (CustomMessage p 'Request) Source # | |
Defined in Language.LSP.Types.Message Methods parseJSON :: Value -> Parser (CustomMessage p 'Request) # parseJSONList :: Value -> Parser [CustomMessage p 'Request] # | |
Constructors
| 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.
Constructors
| ResponseMessage | |
Fields
| |
Instances
type family Message (m :: Method f t) :: Type where ... Source #
Map a method to the Request/Notification type with the correct payload
Equations
| 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 #
Constructors
| 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.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # | |
| Show FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
| ToJSON FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods 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 #
Constructors
| 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.Parsing Methods 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 #
Constructors
| 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 #
Constructors
| 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 #
data CustomEq m1 m2 where Source #
Given a witness that two custom methods are of the same type, produce a witness that the methods are the same
Constructors
| CustomEq | |
Fields
| |
runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2) Source #
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #
Heterogeneous equality on singleton server methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #
Heterogeneous equality on singleton 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
Constructors
| ProgressNumericToken Int | |
| ProgressTextToken Text |
Instances
data ProgressParams t Source #
Parameters for a $/progress notification.
Constructors
| ProgressParams | |
Fields
| |
Instances
data WorkDoneProgressBeginParams Source #
Parameters for WorkDoneProgressBeginNotification.
Since: 0.10.0.0
Constructors
| WorkDoneProgressBeginParams | |
Fields
| |
Instances
data WorkDoneProgressReportParams Source #
Parameters for WorkDoneProgressReportNotification
Since: 0.10.0.0
Constructors
| WorkDoneProgressReportParams | |
Fields
| |
Instances
data WorkDoneProgressEndParams Source #
Parameters for WorkDoneProgressEndNotification.
Since: 0.10.0.0
Constructors
| WorkDoneProgressEndParams | |
Instances
data WorkDoneProgressCancelParams Source #
Parameters for WorkDoneProgressCancelNotification.
Since: 0.10.0.0
Constructors
| WorkDoneProgressCancelParams | |
Fields
| |
Instances
data WorkDoneProgressCreateParams Source #
Constructors
| WorkDoneProgressCreateParams | |
Fields | |
Instances
data WorkDoneProgressOptions Source #
Constructors
| WorkDoneProgressOptions | |
Fields | |
Instances
data WorkDoneProgressParams Source #
Constructors
| WorkDoneProgressParams | |
Fields
| |
Instances
data SomeProgressParams Source #
Constructors
| Begin WorkDoneProgressBeginParams | |
| Report WorkDoneProgressReportParams | |
| End WorkDoneProgressEndParams |
Instances
| Eq SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods (==) :: SomeProgressParams -> SomeProgressParams -> Bool # (/=) :: SomeProgressParams -> SomeProgressParams -> Bool # | |
| ToJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods toJSON :: SomeProgressParams -> Value # toEncoding :: SomeProgressParams -> Encoding # toJSONList :: [SomeProgressParams] -> Value # toEncodingList :: [SomeProgressParams] -> Encoding # | |
| FromJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods parseJSON :: Value -> Parser SomeProgressParams # parseJSONList :: Value -> Parser [SomeProgressParams] # | |
data PartialResultParams Source #
Constructors
| PartialResultParams | |
Fields
| |
Instances
data ReferencesClientCapabilities Source #
Constructors
| ReferencesClientCapabilities | |
Fields
| |
Instances
data ReferenceOptions Source #
Constructors
| ReferenceOptions | |
Fields
| |
Instances
data ReferenceRegistrationOptions Source #
Constructors
| ReferenceRegistrationOptions | |
Fields | |
Instances
data ReferenceContext Source #
Constructors
| ReferenceContext | |
Fields
| |
Instances
data ReferenceParams Source #
Constructors
| ReferenceParams | |
Instances
type family RegistrationOptions (m :: Method FromClient t) :: Type where ... Source #
Matches up the registration options for a specific method
Equations
data Registration (m :: Method FromClient t) Source #
Constructors
| Registration | |
Fields
| |
Instances
regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x Source #
data SomeRegistration Source #
Constructors
| forall t (m :: Method FromClient t). SomeRegistration (Registration m) |
Instances
data RegistrationParams Source #
Constructors
| RegistrationParams | |
Fields | |
Instances
data Unregistration Source #
General parameters to unregister a capability.
Constructors
| Unregistration | |
Fields
| |
Instances
data UnregistrationParams Source #
Constructors
| UnregistrationParams | |
Fields
| |
Instances
data PrepareSupportDefaultBehavior Source #
Constructors
| PsIdentifier | |
| PsUnknown Scientific |
Instances
| Eq PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename | |
| Read PrepareSupportDefaultBehavior Source # | |
| Show PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods showsPrec :: Int -> PrepareSupportDefaultBehavior -> ShowS # show :: PrepareSupportDefaultBehavior -> String # showList :: [PrepareSupportDefaultBehavior] -> ShowS # | |
| ToJSON PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods toJSON :: PrepareSupportDefaultBehavior -> Value # toEncoding :: PrepareSupportDefaultBehavior -> Encoding # toJSONList :: [PrepareSupportDefaultBehavior] -> Value # toEncodingList :: [PrepareSupportDefaultBehavior] -> Encoding # | |
| FromJSON PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods parseJSON :: Value -> Parser PrepareSupportDefaultBehavior # parseJSONList :: Value -> Parser [PrepareSupportDefaultBehavior] # | |
data RenameClientCapabilities Source #
Constructors
| RenameClientCapabilities | |
Fields
| |
Instances
data RenameOptions Source #
Constructors
| RenameOptions | |
Fields
| |
Instances
data RenameRegistrationOptions Source #
Constructors
| RenameRegistrationOptions | |
Fields
| |
Instances
data RenameParams Source #
Constructors
| RenameParams | |
Fields | |
Instances
data PrepareRenameParams Source #
Constructors
| PrepareRenameParams | |
Fields | |
Instances
data RangeWithPlaceholder Source #
Constructors
| RangeWithPlaceholder | |
Fields
| |
Instances
| Eq RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods (==) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # (/=) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # | |
| ToJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods toJSON :: RangeWithPlaceholder -> Value # toEncoding :: RangeWithPlaceholder -> Encoding # toJSONList :: [RangeWithPlaceholder] -> Value # toEncodingList :: [RangeWithPlaceholder] -> Encoding # | |
| FromJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods 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 Methods | |
data SignatureHelpParameterInformation Source #
Constructors
| SignatureHelpParameterInformation | |
Fields
| |
Instances
data SignatureHelpSignatureInformation Source #
Constructors
| SignatureHelpSignatureInformation | |
Fields
| |
Instances
data SignatureHelpClientCapabilities Source #
Constructors
| SignatureHelpClientCapabilities | |
Fields
| |
Instances
data SignatureHelpOptions Source #
Constructors
| SignatureHelpOptions | |
Fields
| |
Instances
data SignatureHelpRegistrationOptions Source #
Constructors
| SignatureHelpRegistrationOptions | |
Fields
| |
Instances
data SignatureHelpDoc Source #
Instances
data ParameterLabel Source #
Constructors
| ParameterLabelString Text | |
| ParameterLabelOffset Int Int |
Instances
data ParameterInformation Source #
Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.
Constructors
| ParameterInformation | |
Fields
| |
Instances
data SignatureInformation Source #
Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.
Constructors
| SignatureInformation | |
Fields
| |
Instances
data SignatureHelp Source #
Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.
Constructors
| SignatureHelp | |
Fields
| |
Instances
data SignatureHelpTriggerKind Source #
How a signature help was triggered.
Since: 3.15.0
Constructors
| SHTKInvoked | Signature help was invoked manually by the user or by a command. |
| SHTKTriggerCharacter | Signature help was triggered by a trigger character. |
| SHTKContentChange | Signature help was triggered by the cursor moving or by the document content changing. |
Instances
data SignatureHelpContext Source #
Additional information about the context in which a signature help request was triggered.
Since: 3.15.0
Constructors
| SignatureHelpContext | |
Fields
| |
Instances
data SignatureHelpParams Source #
Constructors
| SignatureHelpParams | |
Fields | |
Instances
data StaticRegistrationOptions Source #
Constructors
| StaticRegistrationOptions | |
Instances
data SelectionRangeClientCapabilities Source #
Constructors
| SelectionRangeClientCapabilities | |
Fields
| |
Instances
data SelectionRangeOptions Source #
Constructors
| SelectionRangeOptions | |
Fields
| |
Instances
data SelectionRangeRegistrationOptions Source #
Constructors
| SelectionRangeRegistrationOptions | |
Fields
| |
Instances
data SelectionRangeParams Source #
Constructors
| SelectionRangeParams | |
Fields | |
Instances
data SelectionRange Source #
Constructors
| SelectionRange | |
Fields
| |
Instances
data TextDocumentIdentifier Source #
Constructors
| TextDocumentIdentifier | |
Instances
type TextDocumentVersion = Maybe Int Source #
data VersionedTextDocumentIdentifier Source #
Constructors
| VersionedTextDocumentIdentifier | |
Fields
| |
Instances
data TextDocumentItem Source #
Constructors
| TextDocumentItem | |
Instances
data TextDocumentPositionParams Source #
Constructors
| TextDocumentPositionParams | |
Fields
| |
Instances
data TextDocumentSyncClientCapabilities Source #
Constructors
| TextDocumentSyncClientCapabilities | |
Fields
| |
Instances
data SaveOptions Source #
Constructors
| SaveOptions | |
Fields
| |
Instances
data TextDocumentSyncKind Source #
Defines how the host (editor) should sync document changes to the language server.
Constructors
| 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 #
Constructors
| TextDocumentSyncOptions | |
Fields
| |
Instances
data TextDocumentRegistrationOptions Source #
Constructors
| TextDocumentRegistrationOptions | |
Fields | |
Instances
data DidOpenTextDocumentParams Source #
Constructors
| DidOpenTextDocumentParams | |
Fields
| |
Instances
data TextDocumentChangeRegistrationOptions Source #
Constructors
| TextDocumentChangeRegistrationOptions | |
Fields | |
Instances
data TextDocumentContentChangeEvent Source #
Constructors
| TextDocumentContentChangeEvent | |
Instances
data DidChangeTextDocumentParams Source #
Constructors
| DidChangeTextDocumentParams | |
Fields
| |
Instances
data TextDocumentSaveReason Source #
Constructors
| 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 #
Constructors
| WillSaveTextDocumentParams | |
Fields
| |
Instances
data TextDocumentSaveRegistrationOptions Source #
Constructors
| TextDocumentSaveRegistrationOptions | |
Fields
| |
Instances
data DidSaveTextDocumentParams Source #
Constructors
| DidSaveTextDocumentParams | |
Fields
| |
Instances
data DidCloseTextDocumentParams Source #
Constructors
| DidCloseTextDocumentParams | |
Fields
| |
Instances
data TypeDefinitionClientCapabilities Source #
Constructors
| TypeDefinitionClientCapabilities | |
Fields
| |
Instances
data TypeDefinitionOptions Source #
Constructors
| TypeDefinitionOptions | |
Fields
| |
Instances
data TypeDefinitionRegistrationOptions Source #
Constructors
| TypeDefinitionRegistrationOptions | |
Fields
| |
Instances
data TypeDefinitionParams Source #
Constructors
| TypeDefinitionParams | |
Fields | |
Instances
Instances
filePathToUri :: FilePath -> Uri Source #
data NormalizedUri Source #
Constructors
| NormalizedUri !Int !Text |
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.
Constructors
| NormalizedFilePath NormalizedUri !FilePath |
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 #
Constructors
| DidChangeWatchedFilesClientCapabilities | |
Fields
| |
Instances
data DidChangeWatchedFilesRegistrationOptions Source #
Describe options to be used when registering for file system change events.
Constructors
| DidChangeWatchedFilesRegistrationOptions | |
Fields
| |
Instances
data FileSystemWatcher Source #
Constructors
| FileSystemWatcher | |
Fields
| |
Instances
Constructors
| WatchKind | |
Fields
| |
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.
Constructors
| FcCreated | The file got created. |
| FcChanged | The file got changed. |
| FcDeleted | The file got deleted. |
Instances
An event describing a file change.
Constructors
| FileEvent | |
Fields
| |
Instances
data DidChangeWatchedFilesParams Source #
Constructors
| DidChangeWatchedFilesParams | |
Instances
data MessageType Source #
Instances
data ShowMessageParams Source #
Constructors
| ShowMessageParams | |
Fields
| |
Instances
data MessageActionItem Source #
Constructors
| MessageActionItem | |
Instances
data ShowMessageRequestParams Source #
Constructors
| ShowMessageRequestParams | |
Fields
| |
Instances
data LogMessageParams Source #
Constructors
| LogMessageParams | |
Fields
| |
Instances
Instances
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
Constructors
| ChangeAnnotation | |
Fields
| |
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier referring to a change annotation managed by a workspace edit.
Since: 3.16.0
Constructors
| ChangeAnnotationIdentifierId Text |
Instances
data AnnotatedTextEdit Source #
Constructors
| AnnotatedTextEdit | |
Fields | |
Instances
data TextDocumentEdit Source #
Constructors
| TextDocumentEdit | |
Instances
data CreateFileOptions Source #
Options to create a file.
Constructors
| CreateFileOptions | |
Fields
| |
Instances
data CreateFile Source #
Create file operation
Constructors
| CreateFile | |
Fields
| |
Instances
data RenameFileOptions Source #
Constructors
| RenameFileOptions | |
Fields
| |
Instances
data RenameFile Source #
Rename file operation
Constructors
| RenameFile | |
Fields
| |
Instances
data DeleteFileOptions Source #
Constructors
| DeleteFileOptions | |
Fields
| |
Instances
data DeleteFile Source #
Delete file operation
Constructors
| DeleteFile | |
Fields
| |
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
data WorkspaceEdit Source #
Constructors
| WorkspaceEdit | |
Fields
| |
Instances
data ResourceOperationKind Source #
Constructors
| 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 #
Constructors
| 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
data WorkspaceEditChangeAnnotationClientCapabilities Source #
Constructors
| WorkspaceEditChangeAnnotationClientCapabilities | |
Fields
| |
Instances
data WorkspaceEditClientCapabilities Source #
Constructors
| WorkspaceEditClientCapabilities | |
Fields
| |
Instances
data ApplyWorkspaceEditParams Source #
Constructors
| ApplyWorkspaceEditParams | |
Fields
| |
Instances
data ApplyWorkspaceEditResponseBody Source #
Constructors
| ApplyWorkspaceEditResponseBody | |
Fields
| |
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit outer inner applies inner to the text inside outer.
data WorkspaceFolder Source #
Constructors
| WorkspaceFolder | |
Instances
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
Constructors
| WorkspaceFoldersChangeEvent | |
Fields
| |
Instances
data DidChangeWorkspaceFoldersParams Source #
Constructors
| DidChangeWorkspaceFoldersParams | |
Fields
| |
Instances
data WorkspaceSymbolKindClientCapabilities Source #
Constructors
| WorkspaceSymbolKindClientCapabilities | |
Fields
| |
Instances
data WorkspaceSymbolTagClientCapabilities Source #
Constructors
| WorkspaceSymbolTagClientCapabilities | |
Instances
data WorkspaceSymbolClientCapabilities Source #
Constructors
| WorkspaceSymbolClientCapabilities | |
Fields
| |
Instances
data WorkspaceSymbolOptions Source #
Constructors
| WorkspaceSymbolOptions | |
Fields
| |
Instances
data WorkspaceSymbolRegistrationOptions Source #
Constructors
| WorkspaceSymbolRegistrationOptions | |
Fields
| |
Instances
data WorkspaceSymbolParams Source #
Constructors
| WorkspaceSymbolParams | |
Fields
| |