Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data CallHierarchyClientCapabilities = CallHierarchyClientCapabilities {}
- data CallHierarchyOptions = CallHierarchyOptions {
- _workDoneProgress :: (Maybe Bool)
- data CallHierarchyRegistrationOptions = CallHierarchyRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
- data CallHierarchyPrepareParams = CallHierarchyPrepareParams {}
- data CallHierarchyItem = CallHierarchyItem {}
- data CallHierarchyIncomingCallsParams = CallHierarchyIncomingCallsParams {}
- data CallHierarchyIncomingCall = CallHierarchyIncomingCall {}
- data CallHierarchyOutgoingCallsParams = CallHierarchyOutgoingCallsParams {}
- data CallHierarchyOutgoingCall = CallHierarchyOutgoingCall {}
- data CancelParams = forall m. CancelParams {}
- data CodeActionKind
- fromHierarchicalString :: Text -> CodeActionKind
- toHierarchicalString :: CodeActionKind -> Text
- codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool
- specCodeActionKinds :: [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 Int32
- data UInt
- 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 UInt
- _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 Int32)
- _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 :: UInt
- _character :: UInt
- data Range = Range {}
- data Location = Location {}
- data LocationLink = LocationLink {}
- mkRange :: UInt -> UInt -> UInt -> UInt -> 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
- plainTextToMarkdown :: Text -> Text
- data MarkdownClientCapabilities = MarkdownClientCapabilities {}
- 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
- TextDocumentPrepareCallHierarchy :: Method FromClient Request
- CallHierarchyIncomingCalls :: Method FromClient Request
- CallHierarchyOutgoingCalls :: Method FromClient Request
- TextDocumentSemanticTokens :: Method FromClient Request
- TextDocumentSemanticTokensFull :: Method FromClient Request
- TextDocumentSemanticTokensFullDelta :: Method FromClient Request
- TextDocumentSemanticTokensRange :: Method FromClient Request
- WorkspaceSemanticTokensRefresh :: Method FromClient Request
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowShowDocument :: 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
- STextDocumentPrepareCallHierarchy :: SMethod TextDocumentPrepareCallHierarchy
- SCallHierarchyIncomingCalls :: SMethod CallHierarchyIncomingCalls
- SCallHierarchyOutgoingCalls :: SMethod CallHierarchyOutgoingCalls
- STextDocumentSemanticTokens :: SMethod TextDocumentSemanticTokens
- STextDocumentSemanticTokensFull :: SMethod TextDocumentSemanticTokensFull
- STextDocumentSemanticTokensFullDelta :: SMethod TextDocumentSemanticTokensFullDelta
- STextDocumentSemanticTokensRange :: SMethod TextDocumentSemanticTokensRange
- SWorkspaceSemanticTokensRefresh :: SMethod WorkspaceSemanticTokensRefresh
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowShowDocument :: SMethod WindowShowDocument
- 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 :: String -> 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 UInt
- 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 SemanticTokenTypes
- knownSemanticTokenTypes :: [SemanticTokenTypes]
- data SemanticTokenModifiers
- knownSemanticTokenModifiers :: [SemanticTokenModifiers]
- data TokenFormat = TokenFormatRelative
- data SemanticTokensLegend = SemanticTokensLegend {}
- data SemanticTokensRangeClientCapabilities
- data SemanticTokensDeltaClientCapabilities = SemanticTokensDeltaClientCapabilities {}
- data SemanticTokensFullClientCapabilities
- data SemanticTokensRequestsClientCapabilities = SemanticTokensRequestsClientCapabilities {}
- data SemanticTokensClientCapabilities = SemanticTokensClientCapabilities {}
- data SemanticTokensOptions = SemanticTokensOptions {}
- data SemanticTokensRegistrationOptions = SemanticTokensRegistrationOptions {}
- data SemanticTokensParams = SemanticTokensParams {}
- data SemanticTokens = SemanticTokens {}
- data SemanticTokensPartialResult = SemanticTokensPartialResult {}
- data SemanticTokensDeltaParams = SemanticTokensDeltaParams {}
- data SemanticTokensEdit = SemanticTokensEdit {}
- data SemanticTokensDelta = SemanticTokensDelta {}
- data SemanticTokensDeltaPartialResult = SemantictokensDeltaPartialResult {}
- data SemanticTokensRangeParams = SemanticTokensRangeParams {}
- data SemanticTokensWorkspaceClientCapabilities = SemanticTokensWorkspaceClientCapabilities {}
- data SemanticTokenAbsolute = SemanticTokenAbsolute {}
- data SemanticTokenRelative = SemanticTokenRelative {}
- relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative]
- absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute]
- encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt]
- data Edit a = Edit {
- editStart :: UInt
- editDeleteCount :: UInt
- editInsertions :: [a]
- computeEdits :: Eq a => [a] -> [a] -> [Edit a]
- makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens
- makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- type TextDocumentVersion = Maybe Int32
- 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 -> NormalizedFilePath
- 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 ShowDocumentParams = ShowDocumentParams {}
- data ShowDocumentResult = ShowDocumentResult {}
- 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 {}
- 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 CallHierarchyClientCapabilities Source #
Instances
data CallHierarchyOptions Source #
Instances
data CallHierarchyRegistrationOptions Source #
CallHierarchyRegistrationOptions | |
|
Instances
data CallHierarchyPrepareParams Source #
Instances
data CallHierarchyItem Source #
CallHierarchyItem | |
|
Instances
data CallHierarchyIncomingCallsParams Source #
Instances
data CallHierarchyIncomingCall Source #
CallHierarchyIncomingCall | |
|
Instances
data CallHierarchyOutgoingCallsParams Source #
Instances
data CallHierarchyOutgoingCall Source #
CallHierarchyOutgoingCall | |
|
Instances
data CancelParams Source #
forall m. CancelParams | |
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
codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool Source #
Does the first CodeActionKind
subsume the other one, hierarchically. Reflexive.
specCodeActionKinds :: [CodeActionKind] Source #
The CodeActionKind
s listed in the LSP spec specifically.
data CodeActionKindClientCapabilities Source #
CodeActionKindClientCapabilities | |
|
Instances
data CodeActionLiteralSupport Source #
CodeActionLiteralSupport | |
|
Instances
data CodeActionResolveClientCapabilities Source #
CodeActionResolveClientCapabilities | |
|
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 $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.
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
32-bit signed integer type
Instances
The "uinteger" type in the LSP spec.
Unusually, this is a **31**-bit unsigned integer, not a 32-bit one.
Instances
data CompletionItemKind Source #
Instances
data CompletionItemTag Source #
CitDeprecated | Render a completion as obsolete, usually using a strike-out. |
CitUnknown Scientific |
Instances
data CompletionItemTagsClientCapabilities Source #
CompletionItemTagsClientCapabilities | |
|
Instances
data CompletionItemResolveClientCapabilities Source #
CompletionItemResolveClientCapabilities | |
|
Instances
data InsertTextMode Source #
How whitespace and indentation is handled during completion item insertion.
Since: 3.16.0
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 #
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 InsertReplaceEdit Source #
Instances
data CompletionEdit Source #
Instances
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 #
CompletionRegistrationOptions | |
|
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
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 UInt) 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 Float Source # | |
HasGreen Color Float Source # | |
HasBlue Color Float Source # | |
HasAlpha Color Float 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 #
DocumentSymbolRegistrationOptions | |
|
Instances
data DocumentSymbolParams Source #
Instances
data SymbolKind Source #
Instances
Symbol tags are extra annotations that tweak the rendering of a symbol.
Since: 3.16.0
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 | |
HasTags CallHierarchyItem (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens |
data DocumentSymbolKindClientCapabilities Source #
DocumentSymbolKindClientCapabilities | |
|
Instances
data DocumentSymbolTagClientCapabilities Source #
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
data HoverRegistrationOptions Source #
Instances
data HoverParams Source #
Instances
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
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] # |
A position in a document. Note that the character offsets in a line are given in UTF-16 code units, *not* Unicode code points.
Position | |
|
Instances
Instances
Instances
data LocationLink Source #
Represents a link between a source and a target location.
LocationLink | |
|
Instances
mkRange :: UInt -> UInt -> UInt -> UInt -> 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 # | |
Hashable (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
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
plainTextToMarkdown :: Text -> Text Source #
Given some plaintext, convert it into some equivalent markdown text. This is not *quite* the identity function.
data MarkdownClientCapabilities Source #
Client capabilities specific to the used markdown parser. @since 3.16.0
Instances
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 #
forall t (m :: Method FromClient t). SomeClientMethod (SMethod m) |
Instances
data SomeServerMethod Source #
forall t (m :: Method FromServer t). SomeServerMethod (SMethod m) |
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
addNullField :: String -> 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!
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.Parsing (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # | |
Show FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
ToJSON FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing 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.Parsing 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 #
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
CustomEq | |
|
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
Instances
data ProgressParams t Source #
Parameters for a $/progress notification.
ProgressParams | |
|
Instances
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 | |
HasWorkDoneProgress WorkDoneProgressOptions (Maybe Bool) Source # | |
Defined in Language.LSP.Types.Lens |
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 | |
HasWorkDoneToken WorkDoneProgressParams (Maybe ProgressToken) Source # | |
Defined in Language.LSP.Types.Lens |
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 PartialResultParams Source #
PartialResultParams | |
|
Instances
data ReferencesClientCapabilities Source #
ReferencesClientCapabilities | |
|
Instances
data ReferenceOptions Source #
Instances
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 #
forall t (m :: Method FromClient t). SomeRegistration (Registration m) |
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 PrepareSupportDefaultBehavior Source #
Instances
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 #
SignatureHelpRegistrationOptions | |
|
Instances
data SignatureHelpDoc Source #
Instances
data ParameterLabel Source #
Instances
data ParameterInformation Source #
Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.
ParameterInformation | |
|
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.
SignatureInformation | |
|
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.
SignatureHelp | |
|
Instances
data SignatureHelpTriggerKind Source #
How a signature help was triggered.
Since: 3.15.0
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
SignatureHelpContext | |
|
Instances
data SignatureHelpParams Source #
Instances
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 SemanticTokenTypes Source #
Instances
knownSemanticTokenTypes :: [SemanticTokenTypes] Source #
The set of semantic token types which are "known" (i.e. listed in the LSP spec).
data SemanticTokenModifiers Source #
StmDeclaration | |
StmDefinition | |
StmReadonly | |
StmStatic | |
StmDeprecated | |
StmAbstract | |
StmAsync | |
StmModification | |
StmDocumentation | |
StmDefaultLibrary | |
StmUnknown Text |
Instances
knownSemanticTokenModifiers :: [SemanticTokenModifiers] Source #
The set of semantic token modifiers which are "known" (i.e. listed in the LSP spec).
data TokenFormat Source #
Instances
data SemanticTokensLegend Source #
SemanticTokensLegend | |
|
Instances
data SemanticTokensRangeClientCapabilities Source #
Instances
data SemanticTokensDeltaClientCapabilities Source #
Instances
data SemanticTokensFullClientCapabilities Source #
Instances
data SemanticTokensRequestsClientCapabilities Source #
SemanticTokensRequestsClientCapabilities | |
|
Instances
data SemanticTokensClientCapabilities Source #
SemanticTokensClientCapabilities | |
|
Instances
data SemanticTokensOptions Source #
Instances
data SemanticTokensRegistrationOptions Source #
Instances
data SemanticTokensParams Source #
Instances
data SemanticTokens Source #
Instances
data SemanticTokensPartialResult Source #
Instances
data SemanticTokensDeltaParams Source #
Instances
data SemanticTokensEdit Source #
Instances
data SemanticTokensDelta Source #
Instances
data SemanticTokensDeltaPartialResult Source #
Instances
data SemanticTokensRangeParams Source #
Instances
data SemanticTokensWorkspaceClientCapabilities Source #
SemanticTokensWorkspaceClientCapabilities | |
|
Instances
data SemanticTokenAbsolute Source #
A single 'semantic token' as described in the LSP specification, using absolute positions. This is the kind of token that is usually easiest for editors to produce.
SemanticTokenAbsolute | |
|
Instances
data SemanticTokenRelative Source #
A single 'semantic token' as described in the LSP specification, using relative positions.
SemanticTokenRelative | |
|
Instances
relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative] Source #
Turn a list of absolutely-positioned tokens into a list of relatively-positioned tokens. The tokens are assumed to be in the order that they appear in the document!
absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute] Source #
Turn a list of relatively-positioned tokens into a list of absolutely-positioned tokens. The tokens are assumed to be in the order that they appear in the document!
encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt] Source #
Encode a series of relatively-positioned semantic tokens into an integer array following the given legend.
An edit to a buffer of items.
Edit | |
|
computeEdits :: Eq a => [a] -> [a] -> [Edit a] Source #
Compute a list of edits that will turn the first list into the second list.
makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens Source #
Convenience method for making a SemanticTokens
from a list of SemanticTokenAbsolute
s. An error may be returned if
makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta Source #
Convenience function for making a SemanticTokensDelta
from a previous and current SemanticTokens
.
The resulting SemanticTokensDelta
lacks a result ID, which must be set separately if you are using that.
data TextDocumentIdentifier Source #
Instances
type TextDocumentVersion = Maybe Int32 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
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
normalizedFilePath :: NormalizedUri -> FilePath -> NormalizedFilePath Source #
A smart constructor that performs UTF-8 encoding and hash consing
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 ShowDocumentParams Source #
Params to show a document.
Since: 3.16.0
ShowDocumentParams | |
|
Instances
data ShowDocumentResult Source #
The result of an show document request.
Since: 3.16.0
Instances
Eq ShowDocumentResult Source # | |
Defined in Language.LSP.Types.Window (==) :: ShowDocumentResult -> ShowDocumentResult -> Bool # (/=) :: ShowDocumentResult -> ShowDocumentResult -> Bool # | |
Read ShowDocumentResult Source # | |
Defined in Language.LSP.Types.Window | |
Show ShowDocumentResult Source # | |
Defined in Language.LSP.Types.Window showsPrec :: Int -> ShowDocumentResult -> ShowS # show :: ShowDocumentResult -> String # showList :: [ShowDocumentResult] -> ShowS # | |
ToJSON ShowDocumentResult Source # | |
Defined in Language.LSP.Types.Window toJSON :: ShowDocumentResult -> Value # toEncoding :: ShowDocumentResult -> Encoding # toJSONList :: [ShowDocumentResult] -> Value # toEncodingList :: [ShowDocumentResult] -> Encoding # | |
FromJSON ShowDocumentResult Source # | |
Defined in Language.LSP.Types.Window parseJSON :: Value -> Parser ShowDocumentResult # parseJSONList :: Value -> Parser [ShowDocumentResult] # | |
HasSuccess ShowDocumentResult Bool 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 | |
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 |? AnnotatedTextEdit)) Source # | |
Defined in Language.LSP.Types.Lens |
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
ChangeAnnotation | |
|
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier referring to a change annotation managed by a workspace edit.
Since: 3.16.0
Instances
data AnnotatedTextEdit Source #
Instances
data TextDocumentEdit Source #
Instances
data CreateFileOptions Source #
Options to create a file.
CreateFileOptions | |
|
Instances
data CreateFile Source #
Create file operation
CreateFile | |
|
Instances
data RenameFileOptions Source #
RenameFileOptions | |
|
Instances
data RenameFile Source #
Rename file operation
RenameFile | |
|
Instances
data DeleteFileOptions Source #
DeleteFileOptions | |
|
Instances
data DeleteFile Source #
Delete file operation
DeleteFile | |
|
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
data WorkspaceEdit Source #
WorkspaceEdit | |
|
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 WorkspaceEditChangeAnnotationClientCapabilities Source #
WorkspaceEditChangeAnnotationClientCapabilities | |
|
Instances
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 WorkspaceSymbolTagClientCapabilities Source #
Instances
data WorkspaceSymbolClientCapabilities Source #
WorkspaceSymbolClientCapabilities | |
|
Instances
data WorkspaceSymbolOptions Source #
Instances
data WorkspaceSymbolRegistrationOptions Source #
Instances
data WorkspaceSymbolParams Source #
WorkspaceSymbolParams | |
|