Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.LSP.Types
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
- isSubrangeOf :: Range -> Range -> Bool
- positionInRange :: Position -> Range -> Bool
- 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
- 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
- WorkspaceSemanticTokensRefresh :: 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
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
- uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
- emptyNormalizedFilePath :: 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 #
Constructors
CallHierarchyClientCapabilities | |
Fields |
Instances
data CallHierarchyOptions Source #
Constructors
CallHierarchyOptions | |
Fields
|
Instances
data CallHierarchyRegistrationOptions Source #
Constructors
CallHierarchyRegistrationOptions | |
Fields
|
Instances
data CallHierarchyPrepareParams Source #
Constructors
CallHierarchyPrepareParams | |
Fields |
Instances
data CallHierarchyItem Source #
Constructors
CallHierarchyItem | |
Fields
|
Instances
data CallHierarchyIncomingCallsParams Source #
Constructors
CallHierarchyIncomingCallsParams | |
Fields |
Instances
data CallHierarchyIncomingCall Source #
Constructors
CallHierarchyIncomingCall | |
Fields
|
Instances
data CallHierarchyOutgoingCallsParams Source #
Constructors
CallHierarchyOutgoingCallsParams | |
Fields |
Instances
data CallHierarchyOutgoingCall Source #
Constructors
CallHierarchyOutgoingCall | |
Fields
|
Instances
data CancelParams Source #
Constructors
forall m. CancelParams | |
Instances
FromJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation | |
ToJSON CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding # | |
Read CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # | |
Show CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation Methods showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS # | |
Eq CancelParams Source # | |
Defined in Language.LSP.Types.Cancellation |
data CodeActionKind Source #
Constructors
CodeActionEmpty | Empty kind. |
CodeActionQuickFix | Base kind for quickfix actions: |
CodeActionRefactor | Base kind for refactoring actions: |
CodeActionRefactorExtract | Base kind for refactoring extraction actions:
|
CodeActionRefactorInline | Base kind for refactoring inline actions: Example inline actions:
|
CodeActionRefactorRewrite | Base kind for refactoring rewrite actions: Example rewrite actions:
|
CodeActionSource | Base kind for source actions: Source code actions apply to the entire file. |
CodeActionSourceOrganizeImports | Base kind for an organize imports source action: |
CodeActionUnknown Text |
Instances
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 #
Constructors
CodeActionKindClientCapabilities | |
Fields
|
Instances
data CodeActionLiteralSupport Source #
Constructors
CodeActionLiteralSupport | |
Fields
|
Instances
data CodeActionResolveClientCapabilities Source #
Constructors
CodeActionResolveClientCapabilities | |
Fields
|
Instances
data CodeActionClientCapabilities Source #
Constructors
CodeActionClientCapabilities | |
Fields
|
Instances
data CodeActionOptions Source #
Constructors
CodeActionOptions | |
Fields
|
Instances
data CodeActionRegistrationOptions Source #
Constructors
CodeActionRegistrationOptions | |
Fields
|
Instances
data CodeActionContext Source #
Contains additional diagnostic information about the context in which a code action is run.
Constructors
CodeActionContext | |
Fields
|
Instances
data CodeActionParams Source #
Constructors
CodeActionParams | |
Fields |
Instances
data CodeAction Source #
A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code.
A CodeAction must set either CodeAction
and/or a CodeAction
. If both are supplied,
the CodeAction
is applied first, then the CodeAction
is executed.
Constructors
CodeAction | |
Fields
|
Instances
data CodeLensClientCapabilities Source #
Constructors
CodeLensClientCapabilities | |
Fields
|
Instances
data CodeLensOptions Source #
Constructors
CodeLensOptions | |
Fields
|
Instances
data CodeLensRegistrationOptions Source #
Constructors
CodeLensRegistrationOptions | |
Fields
|
Instances
data CodeLensParams Source #
Constructors
CodeLensParams | |
Fields |
Instances
A code lens represents a command that should be shown along with source text, like the number of references, a way to run tests, etc.
A code lens is _unresolved_ when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.
Constructors
CodeLens | |
data ExecuteCommandClientCapabilities Source #
Constructors
ExecuteCommandClientCapabilities | |
Fields
|
Instances
data ExecuteCommandOptions Source #
Constructors
ExecuteCommandOptions | |
Instances
data ExecuteCommandRegistrationOptions Source #
Constructors
ExecuteCommandRegistrationOptions | |
Instances
data ExecuteCommandParams Source #
Constructors
ExecuteCommandParams | |
Fields
|
Instances
Constructors
Command | |
Instances
FromJSON Command Source # | |
ToJSON Command Source # | |
Defined in Language.LSP.Types.Command | |
Read Command Source # | |
Show Command Source # | |
Eq Command Source # | |
HasCommand Command Text Source # | |
HasTitle Command Text Source # | |
HasArguments Command (Maybe (List Value)) Source # | |
HasCommand CodeAction (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens | |
HasCommand CodeLens (Maybe Command) Source # | |
HasCommand CompletionItem (Maybe Command) Source # | |
Defined in Language.LSP.Types.Lens |
A terser, isomorphic data type for Either
, that does not get tagged when
converting to and from JSON.
Instances
All LSP types representing a list **must** use this type rather than '[]'.
In particular this is necessary to change the FromJSON
instance to be compatible
with Elisp (where empty lists show up as null
)
Constructors
List [a] |
Instances
Constructors
Empty |
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 #
Constructors
Instances
data CompletionItemTag Source #
Constructors
CitDeprecated | Render a completion as obsolete, usually using a strike-out. |
CitUnknown Scientific |
Instances
data CompletionItemTagsClientCapabilities Source #
Constructors
CompletionItemTagsClientCapabilities | |
Fields
|
Instances
data CompletionItemResolveClientCapabilities Source #
Constructors
CompletionItemResolveClientCapabilities | |
Fields
|
Instances
data InsertTextMode Source #
How whitespace and indentation is handled during completion item insertion.
Since: 3.16.0
Constructors
AsIs | The insertion or replace strings is taken as it is. If the value is multi line the lines below the cursor will be inserted using the indentation defined in the string value. The client will not apply any kind of adjustments to the string. |
AdjustIndentation | The editor adjusts leading whitespace of new lines so that they match the indentation up to the cursor of the line for which the item is accepted. Consider a line like this: 2tabscursor3tabsfoo. Accepting a multi line completion item is indented using 2 tabs and all following lines inserted will be indented using 2 tabs as well. |
Instances
data CompletionItemInsertTextModeClientCapabilities Source #
Constructors
CompletionItemInsertTextModeClientCapabilities | |
Fields |
Instances
data CompletionItemClientCapabilities Source #
Constructors
CompletionItemClientCapabilities | |
Fields
|
Instances
data CompletionItemKindClientCapabilities Source #
Constructors
CompletionItemKindClientCapabilities | |
Fields
|
Instances
data CompletionClientCapabilities Source #
Constructors
CompletionClientCapabilities | |
Fields
|
Instances
data InsertTextFormat Source #
Constructors
PlainText | The primary text to be inserted is treated as a plain string. |
Snippet | The primary text to be inserted is treated as a snippet. A snippet can define tab stops and placeholders with `$1`, `$2` and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end of the snippet. Placeholders with equal identifiers are linked, that is typing in one will update others too. See also: https://github.com/Microsoft/vscode/blob/master/src/vs/editor/contrib/snippet/common/snippet.md |
Instances
data CompletionDoc Source #
Constructors
CompletionDocString Text | |
CompletionDocMarkup MarkupContent |
Instances
data InsertReplaceEdit Source #
Constructors
InsertReplaceEdit | |
Instances
data CompletionEdit Source #
Instances
data CompletionItem Source #
Constructors
CompletionItem | |
Fields
|
Instances
data CompletionList Source #
Represents a collection of CompletionItem
s to be presented in the editor.
Constructors
CompletionList | |
Fields
|
Instances
data CompletionTriggerKind Source #
How a completion was triggered
Constructors
CtInvoked | Completion was triggered by typing an identifier (24x7 code complete), manual invocation (e.g Ctrl+Space) or via API. |
CtTriggerCharacter | Completion was triggered by a trigger character specified by
the |
CtTriggerForIncompleteCompletions | Completion was re-triggered as the current completion list is incomplete. |
CtUnknown Scientific | An unknown |
Instances
data CompletionOptions Source #
Constructors
CompletionOptions | |
Fields
|
Instances
data CompletionRegistrationOptions Source #
Constructors
CompletionRegistrationOptions | |
Fields
|
Instances
data CompletionContext Source #
Constructors
CompletionContext | |
Fields
|
Instances
data CompletionParams Source #
Constructors
CompletionParams | |
Fields |
Instances
data DidChangeConfigurationClientCapabilities Source #
Constructors
DidChangeConfigurationClientCapabilities | |
Fields
|
Instances
data DidChangeConfigurationParams Source #
Constructors
DidChangeConfigurationParams | |
Instances
data ConfigurationItem Source #
Constructors
ConfigurationItem | |
Instances
data ConfigurationParams Source #
Constructors
ConfigurationParams | |
Fields |
Instances
data DeclarationClientCapabilities Source #
Constructors
DeclarationClientCapabilities | |
Fields
|
Instances
data DeclarationOptions Source #
Constructors
DeclarationOptions | |
Fields
|
Instances
data DeclarationRegistrationOptions Source #
Constructors
DeclarationRegistrationOptions | |
Fields
|
Instances
data DeclarationParams Source #
Constructors
DeclarationParams | |
Fields |
Instances
data DefinitionClientCapabilities Source #
Constructors
DefinitionClientCapabilities | |
Fields
|
Instances
data DefinitionOptions Source #
Constructors
DefinitionOptions | |
Fields
|
Instances
data DefinitionRegistrationOptions Source #
Constructors
DefinitionRegistrationOptions | |
Fields |
Instances
data DefinitionParams Source #
Constructors
DefinitionParams | |
Fields |
Instances
data DiagnosticSeverity Source #
Instances
data DiagnosticTag Source #
Constructors
DtUnnecessary | Unused or unnecessary code. Clients are allowed to render diagnostics with this tag faded out instead of having an error squiggle. |
DtDeprecated | Deprecated or obsolete code. Clients are allowed to rendered diagnostics with this tag strike through. |
Instances
data DiagnosticRelatedInformation Source #
Constructors
DiagnosticRelatedInformation | |
Instances
type DiagnosticSource = Text Source #
data Diagnostic Source #
Constructors
Diagnostic | |
Fields
|
Instances
data PublishDiagnosticsTagsClientCapabilities Source #
Constructors
PublishDiagnosticsTagsClientCapabilities | |
Fields
|
Instances
data PublishDiagnosticsClientCapabilities Source #
Constructors
PublishDiagnosticsClientCapabilities | |
Fields
|
Instances
data PublishDiagnosticsParams Source #
Constructors
PublishDiagnosticsParams | |
Fields
|
Instances
data DocumentColorClientCapabilities Source #
Constructors
DocumentColorClientCapabilities | |
Fields
|
Instances
data DocumentColorOptions Source #
Constructors
DocumentColorOptions | |
Fields
|
Instances
data DocumentColorRegistrationOptions Source #
Constructors
DocumentColorRegistrationOptions | |
Fields
|
Instances
data DocumentColorParams Source #
Constructors
DocumentColorParams | |
Fields |
Instances
Represents a color in RGBA space.
Constructors
Color | |
Instances
FromJSON Color Source # | |
ToJSON Color Source # | |
Defined in Language.LSP.Types.DocumentColor | |
Read Color Source # | |
Show Color Source # | |
Eq Color Source # | |
HasAlpha Color Float Source # | |
HasBlue Color Float Source # | |
HasColor ColorInformation Color Source # | |
Defined in Language.LSP.Types.Lens | |
HasColor ColorPresentationParams Color Source # | |
Defined in Language.LSP.Types.Lens | |
HasGreen Color Float Source # | |
HasRed Color Float Source # | |
data ColorInformation Source #
Constructors
ColorInformation | |
Instances
data ColorPresentationParams Source #
Constructors
ColorPresentationParams | |
Fields |
Instances
data ColorPresentation Source #
Constructors
ColorPresentation | |
Fields
|
Instances
data DocumentFilter Source #
Constructors
DocumentFilter | |
Fields
|
Instances
type DocumentSelector = List DocumentFilter Source #
data DocumentHighlightClientCapabilities Source #
Constructors
DocumentHighlightClientCapabilities | |
Fields
|
Instances
data DocumentHighlightOptions Source #
Constructors
DocumentHighlightOptions | |
Fields
|
Instances
data DocumentHighlightRegistrationOptions Source #
Constructors
DocumentHighlightRegistrationOptions | |
Fields |
Instances
data DocumentHighlightParams Source #
Constructors
DocumentHighlightParams | |
Fields |
Instances
data DocumentHighlightKind Source #
Constructors
HkText | A textual occurrence. |
HkRead | Read-access of a symbol, like reading a variable. |
HkWrite | Write-access of a symbol, like writing to a variable. |
Instances
data DocumentHighlight Source #
A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.
Constructors
DocumentHighlight | |
Instances
data DocumentLinkClientCapabilities Source #
Constructors
DocumentLinkClientCapabilities | |
Fields
|
Instances
data DocumentLinkOptions Source #
Constructors
DocumentLinkOptions | |
Fields
|
Instances
data DocumentLinkRegistrationOptions Source #
Constructors
DocumentLinkRegistrationOptions | |
Fields
|
Instances
data DocumentLinkParams Source #
Constructors
DocumentLinkParams | |
Fields |
Instances
data DocumentLink Source #
A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.
Constructors
DocumentLink | |
Fields
|
Instances
data DocumentSymbolOptions Source #
Constructors
DocumentSymbolOptions | |
Instances
data DocumentSymbolRegistrationOptions Source #
Constructors
DocumentSymbolRegistrationOptions | |
Fields
|
Instances
data DocumentSymbolParams Source #
Constructors
DocumentSymbolParams | |
Fields |
Instances
data SymbolKind Source #
Constructors
Instances
Symbol tags are extra annotations that tweak the rendering of a symbol.
Since: 3.16.0
Constructors
StDeprecated | Render a symbol as obsolete, usually using a strike-out. |
StUnknown Scientific |
Instances
FromJSON SymbolTag Source # | |
ToJSON SymbolTag Source # | |
Defined in Language.LSP.Types.DocumentSymbol | |
Read SymbolTag Source # | |
Show SymbolTag Source # | |
Eq SymbolTag Source # | |
HasTags CallHierarchyItem (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasTags DocumentSymbol (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasTags SymbolInformation (Maybe (List SymbolTag)) Source # | |
Defined in Language.LSP.Types.Lens |
data DocumentSymbolKindClientCapabilities Source #
Constructors
DocumentSymbolKindClientCapabilities | |
Fields
|
Instances
data DocumentSymbolTagClientCapabilities Source #
Constructors
DocumentSymbolTagClientCapabilities | |
Instances
data DocumentSymbolClientCapabilities Source #
Constructors
DocumentSymbolClientCapabilities | |
Fields
|
Instances
data DocumentSymbol Source #
Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.
Constructors
DocumentSymbol | |
Fields
|
Instances
data SymbolInformation Source #
Represents information about programming constructs like variables, classes, interfaces etc.
Constructors
SymbolInformation | |
Fields
|
Instances
data FoldingRangeClientCapabilities Source #
Constructors
FoldingRangeClientCapabilities | |
Fields
|
Instances
data FoldingRangeOptions Source #
Constructors
FoldingRangeOptions | |
Fields
|
Instances
data FoldingRangeRegistrationOptions Source #
Constructors
FoldingRangeRegistrationOptions | |
Fields
|
Instances
data FoldingRangeParams Source #
Constructors
FoldingRangeParams | |
Fields |
Instances
data FoldingRangeKind Source #
Enum of known range kinds
Constructors
FoldingRangeComment | Folding range for a comment |
FoldingRangeImports | Folding range for a imports or includes |
FoldingRangeRegion | Folding range for a region (e.g. #region) |
FoldingRangeUnknown Text | Folding range that haskell-lsp-types does not yet support |
Instances
data FoldingRange Source #
Represents a folding range.
Constructors
FoldingRange | |
Fields
|
Instances
data DocumentFormattingClientCapabilities Source #
Constructors
DocumentFormattingClientCapabilities | |
Fields
|
Instances
data DocumentFormattingOptions Source #
Constructors
DocumentFormattingOptions | |
Fields
|
Instances
data DocumentFormattingRegistrationOptions Source #
Constructors
DocumentFormattingRegistrationOptions | |
Fields |
Instances
data FormattingOptions Source #
Value-object describing what options formatting should use.
Constructors
FormattingOptions | |
Fields
|
Instances
data DocumentFormattingParams Source #
Constructors
DocumentFormattingParams | |
Fields |
Instances
data DocumentRangeFormattingClientCapabilities Source #
Constructors
DocumentRangeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentRangeFormattingOptions Source #
Constructors
DocumentRangeFormattingOptions | |
Fields
|
Instances
data DocumentRangeFormattingRegistrationOptions Source #
Constructors
DocumentRangeFormattingRegistrationOptions | |
Fields |
Instances
data DocumentRangeFormattingParams Source #
Constructors
DocumentRangeFormattingParams | |
Fields |
Instances
data DocumentOnTypeFormattingClientCapabilities Source #
Constructors
DocumentOnTypeFormattingClientCapabilities | |
Fields
|
Instances
data DocumentOnTypeFormattingOptions Source #
Constructors
DocumentOnTypeFormattingOptions | |
Fields
|
Instances
data DocumentOnTypeFormattingRegistrationOptions Source #
Constructors
DocumentOnTypeFormattingRegistrationOptions | |
Fields |
Instances
data DocumentOnTypeFormattingParams Source #
Constructors
DocumentOnTypeFormattingParams | |
Fields |
Instances
data HoverClientCapabilities Source #
Constructors
HoverClientCapabilities | |
Fields |
Instances
data HoverOptions Source #
Constructors
HoverOptions | |
Fields
|
Instances
data HoverRegistrationOptions Source #
Constructors
HoverRegistrationOptions | |
Fields |
Instances
data HoverParams Source #
Constructors
HoverParams | |
Fields |
Instances
data LanguageString Source #
Constructors
LanguageString | |
Instances
data MarkedString Source #
Deprecated: Use MarkupContent instead, since 3.3.0 (11242017)
Constructors
PlainString Text | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
CodeString LanguageString | Deprecated: Use MarkupContent instead, since 3.3.0 (11242017) |
Instances
FromJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover | |
ToJSON MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods toJSON :: MarkedString -> Value # toEncoding :: MarkedString -> Encoding # toJSONList :: [MarkedString] -> Value # toEncodingList :: [MarkedString] -> Encoding # | |
Read MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods readsPrec :: Int -> ReadS MarkedString # readList :: ReadS [MarkedString] # | |
Show MarkedString Source # | |
Defined in Language.LSP.Types.Hover Methods showsPrec :: Int -> MarkedString -> ShowS # show :: MarkedString -> String # showList :: [MarkedString] -> ShowS # | |
Eq MarkedString Source # | |
Defined in Language.LSP.Types.Hover |
data HoverContents Source #
Constructors
HoverContentsMS (List MarkedString) | |
HoverContents MarkupContent |
Instances
data ImplementationClientCapabilities Source #
Constructors
ImplementationClientCapabilities | |
Fields
|
Instances
data ImplementationOptions Source #
Constructors
ImplementationOptions | |
Fields
|
Instances
data ImplementationRegistrationOptions Source #
Constructors
ImplementationRegistrationOptions | |
Fields
|
Instances
data ImplementationParams Source #
Constructors
ImplementationParams | |
Fields |
Instances
Constructors
TraceOff | |
TraceMessages | |
TraceVerbose |
data ClientInfo Source #
Constructors
ClientInfo | |
Instances
data InitializeParams Source #
Constructors
InitializeParams | |
Fields
|
Instances
data InitializeError Source #
Constructors
InitializeError | |
Instances
data ServerInfo Source #
Constructors
ServerInfo | |
Instances
data InitializeResult Source #
Constructors
InitializeResult | |
Fields
|
Instances
data InitializedParams Source #
Constructors
InitializedParams | |
Instances
A position in a document. Note that the character offsets in a line are given in UTF-16 code units, *not* Unicode code points.
Constructors
Position | |
Fields
|
Instances
Constructors
Range | |
Fields
|
Instances
Instances
data LocationLink Source #
Represents a link between a source and a target location.
Constructors
LocationLink | |
Fields
|
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')
isSubrangeOf :: Range -> Range -> Bool Source #
isSubrangeOf
returns true if for every Position
in the first Range
, it's also in the second Range
.
positionInRange :: Position -> Range -> Bool Source #
positionInRange
returns true if the given Position
is in the Range
.
data LspId (m :: Method f Request) Source #
Id used for a request, Can be either a String or an Int
Instances
FromJSON (LspId m) Source # | |
ToJSON (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
Read (LspId m) Source # | |
Show (LspId m) Source # | |
Eq (LspId m) Source # | |
Ord (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
Hashable (LspId m) Source # | |
Defined in Language.LSP.Types.LspId | |
IxOrd (LspId :: Method f 'Request -> Type) Source # | |
HasId (ResponseMessage m) (Maybe (LspId m)) Source # | |
Defined in Language.LSP.Types.Lens | |
HasId (RequestMessage m) (LspId m) Source # | |
Defined in Language.LSP.Types.Lens | |
type Base (LspId :: Method f 'Request -> Type) Source # | |
Instances
Show SomeLspId Source # | |
Eq SomeLspId Source # | |
Ord SomeLspId Source # | |
Hashable SomeLspId Source # | |
Defined in Language.LSP.Types.LspId |
data MarkupKind Source #
Describes the content type that a client supports in various
result literals like Hover
, ParameterInfo
or CompletionItem
.
Constructors
MkPlainText | Plain text is supported as a content format |
MkMarkdown | Markdown is supported as a content format |
Instances
data MarkupContent Source #
A MarkupContent
literal represents a string value which content is interpreted base on its
| kind flag. Currently the protocol supports plaintext
and markdown
as markup kinds.
|
| If the kind is markdown
then the value can contain fenced code blocks like in GitHub issues.
| See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting
|
| Here is an example how such a string can be constructed using JavaScript / TypeScript:
| ```ts
| let markdown: MarkdownContent = {
| kind: MarkupKind.Markdown,
| value: [
| '# Header',
| 'Some text',
| '``typescript
,
| 'someCode();',
| '```'
| ].join('n')
| };
| ```
|
| *Please Note* that clients might sanitize the return markdown. A client could decide to
| remove HTML from the markdown to avoid script execution.
Constructors
MarkupContent | |
Fields
|
Instances
markedUpContent :: Text -> Text -> MarkupContent Source #
Create a MarkupContent
containing a quoted language string only.
unmarkedUpContent :: Text -> MarkupContent Source #
Create a MarkupContent
containing unquoted text
sectionSeparator :: Text Source #
Markdown for a section separator in Markdown, being a horizontal line
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
Constructors
FromServer | |
FromClient |
data MethodType Source #
Constructors
Notification | |
Request |
data Method (f :: From) (t :: MethodType) where Source #
Constructors
data SMethod (m :: Method f t) where Source #
Constructors
Instances
type SClientMethod (m :: Method FromClient t) = SMethod m Source #
type SServerMethod (m :: Method FromServer t) = SMethod m Source #
data SomeClientMethod Source #
Constructors
forall t (m :: Method FromClient t). SomeClientMethod (SMethod m) |
Instances
data SomeServerMethod Source #
Constructors
forall t (m :: Method FromServer t). SomeServerMethod (SMethod m) |
Instances
data SomeMethod where Source #
Constructors
SomeMethod :: forall m. SMethod m -> SomeMethod |
Instances
FromJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method | |
ToJSON SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods toJSON :: SomeMethod -> Value # toEncoding :: SomeMethod -> Encoding # toJSONList :: [SomeMethod] -> Value # toEncodingList :: [SomeMethod] -> Encoding # | |
Show SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods showsPrec :: Int -> SomeMethod -> ShowS # show :: SomeMethod -> String # showList :: [SomeMethod] -> ShowS # | |
Eq SomeMethod Source # | |
Defined in Language.LSP.Types.Method | |
Ord SomeMethod Source # | |
Defined in Language.LSP.Types.Method Methods compare :: SomeMethod -> SomeMethod -> Ordering # (<) :: SomeMethod -> SomeMethod -> Bool # (<=) :: SomeMethod -> SomeMethod -> Bool # (>) :: SomeMethod -> SomeMethod -> Bool # (>=) :: SomeMethod -> SomeMethod -> Bool # max :: SomeMethod -> SomeMethod -> SomeMethod # min :: SomeMethod -> SomeMethod -> SomeMethod # |
type family MessageParams (m :: Method f t) :: Type where ... Source #
Map a method to the message payload type
Equations
type family ResponseResult (m :: Method f Request) :: Type where ... Source #
Map a request method to the response payload type
Equations
data NotificationMessage (m :: Method f Notification) Source #
Constructors
NotificationMessage | |
Instances
data RequestMessage (m :: Method f Request) Source #
Constructors
RequestMessage | |
Instances
addNullField :: 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!
Constructors
ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request | |
NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification |
Instances
FromJSON (CustomMessage p 'Notification) Source # | |
Defined in Language.LSP.Types.Message Methods parseJSON :: Value -> Parser (CustomMessage p 'Notification) # parseJSONList :: Value -> Parser [CustomMessage p 'Notification] # | |
FromJSON (CustomMessage p 'Request) Source # | |
Defined in Language.LSP.Types.Message Methods parseJSON :: Value -> Parser (CustomMessage p 'Request) # parseJSONList :: Value -> Parser [CustomMessage p 'Request] # | |
ToJSON (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message Methods toJSON :: CustomMessage p t -> Value # toEncoding :: CustomMessage p t -> Encoding # toJSONList :: [CustomMessage p t] -> Value # toEncodingList :: [CustomMessage p t] -> Encoding # | |
Show (CustomMessage p t) Source # | |
Defined in Language.LSP.Types.Message Methods showsPrec :: Int -> CustomMessage p t -> ShowS # show :: CustomMessage p t -> String # showList :: [CustomMessage p t] -> ShowS # |
Constructors
ParseError | |
InvalidRequest | |
MethodNotFound | |
InvalidParams | |
InternalError | |
ServerErrorStart | |
ServerErrorEnd | |
ServerNotInitialized | |
UnknownErrorCode | |
RequestCancelled | |
ContentModified | |
ServerCancelled | |
RequestFailed | |
ErrorCodeCustom Int32 | Note: server error codes are reserved from -32099 to -32000 |
data ResponseError Source #
Instances
data ResponseMessage (m :: Method f Request) Source #
Either result or error must be Just.
Constructors
ResponseMessage | |
Fields
|
Instances
type family Message (m :: Method f t) :: Type where ... Source #
Map a method to the Request/Notification type with the correct payload
Equations
Message (CustomMethod :: Method f t) = CustomMessage f t | |
Message (m :: Method f Request) = RequestMessage m | |
Message (m :: Method f Notification) = NotificationMessage m |
type ClientMessage (m :: Method FromClient t) = Message m Source #
type ServerMessage (m :: Method FromServer t) = Message m Source #
data FromServerMessage' a where Source #
Constructors
FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a | |
FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a |
Instances
ToJSON FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding # | |
Show FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
Eq FromServerMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # |
fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage Source #
fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage Source #
data FromClientMessage' a where Source #
Constructors
FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a | |
FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a |
Instances
ToJSON FromClientMessage Source # | |
Defined in Language.LSP.Types.Parsing Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding # |
fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage Source #
fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage Source #
parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a) Source #
parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a) Source #
clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x Source #
clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x Source #
serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x Source #
data ClientNotOrReq (m :: Method FromClient t) where Source #
Constructors
IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification) | |
IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m | |
IsClientEither :: ClientNotOrReq CustomMethod |
data ServerNotOrReq (m :: Method FromServer t) where Source #
Constructors
IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification) | |
IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m | |
IsServerEither :: ServerNotOrReq CustomMethod |
splitClientMethod :: SClientMethod m -> ClientNotOrReq m Source #
splitServerMethod :: SServerMethod m -> ServerNotOrReq m Source #
data CustomEq m1 m2 where Source #
Given a witness that two custom methods are of the same type, produce a witness that the methods are the same
Constructors
CustomEq | |
Fields
|
runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2) Source #
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #
Heterogeneous equality on singleton server methods
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #
Heterogeneous equality on singleton client methods
data ProgressToken Source #
A token used to report progress back or return partial results for a specific request. @since 0.17.0.0
Constructors
ProgressNumericToken Int32 | |
ProgressTextToken Text |
Instances
data ProgressParams t Source #
Parameters for a $/progress notification.
Constructors
ProgressParams | |
Fields
|
Instances
data WorkDoneProgressBeginParams Source #
Parameters for WorkDoneProgressBeginNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressBeginParams | |
Fields
|
Instances
data WorkDoneProgressReportParams Source #
Parameters for WorkDoneProgressReportNotification
Since: 0.10.0.0
Constructors
WorkDoneProgressReportParams | |
Fields
|
Instances
data WorkDoneProgressEndParams Source #
Parameters for WorkDoneProgressEndNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressEndParams | |
Instances
data WorkDoneProgressCancelParams Source #
Parameters for WorkDoneProgressCancelNotification
.
Since: 0.10.0.0
Constructors
WorkDoneProgressCancelParams | |
Fields
|
Instances
data WorkDoneProgressCreateParams Source #
Constructors
WorkDoneProgressCreateParams | |
Fields |
Instances
data WorkDoneProgressOptions Source #
Constructors
WorkDoneProgressOptions | |
Fields |
Instances
data WorkDoneProgressParams Source #
Constructors
WorkDoneProgressParams | |
Fields
|
Instances
data SomeProgressParams Source #
Constructors
Begin WorkDoneProgressBeginParams | |
Report WorkDoneProgressReportParams | |
End WorkDoneProgressEndParams |
Instances
FromJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods parseJSON :: Value -> Parser SomeProgressParams # parseJSONList :: Value -> Parser [SomeProgressParams] # | |
ToJSON SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods toJSON :: SomeProgressParams -> Value # toEncoding :: SomeProgressParams -> Encoding # toJSONList :: [SomeProgressParams] -> Value # toEncodingList :: [SomeProgressParams] -> Encoding # | |
Eq SomeProgressParams Source # | |
Defined in Language.LSP.Types.Progress Methods (==) :: SomeProgressParams -> SomeProgressParams -> Bool # (/=) :: SomeProgressParams -> SomeProgressParams -> Bool # |
data PartialResultParams Source #
Constructors
PartialResultParams | |
Fields
|
Instances
data ReferencesClientCapabilities Source #
Constructors
ReferencesClientCapabilities | |
Fields
|
Instances
data ReferenceOptions Source #
Constructors
ReferenceOptions | |
Fields
|
Instances
data ReferenceRegistrationOptions Source #
Constructors
ReferenceRegistrationOptions | |
Fields |
Instances
data ReferenceContext Source #
Constructors
ReferenceContext | |
Fields
|
Instances
data ReferenceParams Source #
Constructors
ReferenceParams | |
Instances
type family RegistrationOptions (m :: Method FromClient t) :: Type where ... Source #
Matches up the registration options for a specific method
Equations
data Registration (m :: Method FromClient t) Source #
Constructors
Registration | |
Fields
|
Instances
regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x Source #
data SomeRegistration Source #
Constructors
forall t (m :: Method FromClient t). SomeRegistration (Registration m) |
Instances
data RegistrationParams Source #
Constructors
RegistrationParams | |
Fields |
Instances
data Unregistration Source #
General parameters to unregister a capability.
Constructors
Unregistration | |
Fields
|
Instances
data UnregistrationParams Source #
Constructors
UnregistrationParams | |
Fields
|
Instances
data PrepareSupportDefaultBehavior Source #
Constructors
PsIdentifier | |
PsUnknown Scientific |
Instances
FromJSON PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods parseJSON :: Value -> Parser PrepareSupportDefaultBehavior # parseJSONList :: Value -> Parser [PrepareSupportDefaultBehavior] # | |
ToJSON PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods toJSON :: PrepareSupportDefaultBehavior -> Value # toEncoding :: PrepareSupportDefaultBehavior -> Encoding # toJSONList :: [PrepareSupportDefaultBehavior] -> Value # toEncodingList :: [PrepareSupportDefaultBehavior] -> Encoding # | |
Read PrepareSupportDefaultBehavior Source # | |
Show PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename Methods showsPrec :: Int -> PrepareSupportDefaultBehavior -> ShowS # show :: PrepareSupportDefaultBehavior -> String # showList :: [PrepareSupportDefaultBehavior] -> ShowS # | |
Eq PrepareSupportDefaultBehavior Source # | |
Defined in Language.LSP.Types.Rename |
data RenameClientCapabilities Source #
Constructors
RenameClientCapabilities | |
Fields
|
Instances
data RenameOptions Source #
Constructors
RenameOptions | |
Fields
|
Instances
data RenameRegistrationOptions Source #
Constructors
RenameRegistrationOptions | |
Fields
|
Instances
data RenameParams Source #
Constructors
RenameParams | |
Fields |
Instances
data PrepareRenameParams Source #
Constructors
PrepareRenameParams | |
Fields |
Instances
data RangeWithPlaceholder Source #
Constructors
RangeWithPlaceholder | |
Fields
|
Instances
FromJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods parseJSON :: Value -> Parser RangeWithPlaceholder # parseJSONList :: Value -> Parser [RangeWithPlaceholder] # | |
ToJSON RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods toJSON :: RangeWithPlaceholder -> Value # toEncoding :: RangeWithPlaceholder -> Encoding # toJSONList :: [RangeWithPlaceholder] -> Value # toEncodingList :: [RangeWithPlaceholder] -> Encoding # | |
Eq RangeWithPlaceholder Source # | |
Defined in Language.LSP.Types.Rename Methods (==) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # (/=) :: RangeWithPlaceholder -> RangeWithPlaceholder -> Bool # | |
HasPlaceholder RangeWithPlaceholder Text Source # | |
Defined in Language.LSP.Types.Lens Methods | |
HasRange RangeWithPlaceholder Range Source # | |
Defined in Language.LSP.Types.Lens |
data SignatureHelpParameterInformation Source #
Constructors
SignatureHelpParameterInformation | |
Fields
|
Instances
data SignatureHelpSignatureInformation Source #
Constructors
SignatureHelpSignatureInformation | |
Fields
|
Instances
data SignatureHelpClientCapabilities Source #
Constructors
SignatureHelpClientCapabilities | |
Fields
|
Instances
data SignatureHelpOptions Source #
Constructors
SignatureHelpOptions | |
Fields
|
Instances
data SignatureHelpRegistrationOptions Source #
Constructors
SignatureHelpRegistrationOptions | |
Fields
|
Instances
data SignatureHelpDoc Source #
Instances
data ParameterLabel Source #
Constructors
ParameterLabelString Text | |
ParameterLabelOffset UInt UInt |
Instances
data ParameterInformation Source #
Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.
Constructors
ParameterInformation | |
Fields
|
Instances
data SignatureInformation Source #
Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.
Constructors
SignatureInformation | |
Fields
|
Instances
data SignatureHelp Source #
Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.
Constructors
SignatureHelp | |
Fields
|
Instances
data SignatureHelpTriggerKind Source #
How a signature help was triggered.
Since: 3.15.0
Constructors
SHTKInvoked | Signature help was invoked manually by the user or by a command. |
SHTKTriggerCharacter | Signature help was triggered by a trigger character. |
SHTKContentChange | Signature help was triggered by the cursor moving or by the document content changing. |
Instances
data SignatureHelpContext Source #
Additional information about the context in which a signature help request was triggered.
Since: 3.15.0
Constructors
SignatureHelpContext | |
Fields
|
Instances
data SignatureHelpParams Source #
Constructors
SignatureHelpParams | |
Fields |
Instances
data StaticRegistrationOptions Source #
Constructors
StaticRegistrationOptions | |
Instances
data SelectionRangeClientCapabilities Source #
Constructors
SelectionRangeClientCapabilities | |
Fields
|
Instances
data SelectionRangeOptions Source #
Constructors
SelectionRangeOptions | |
Fields
|
Instances
data SelectionRangeRegistrationOptions Source #
Constructors
SelectionRangeRegistrationOptions | |
Fields
|
Instances
data SelectionRangeParams Source #
Constructors
SelectionRangeParams | |
Fields |
Instances
data SelectionRange Source #
Constructors
SelectionRange | |
Fields
|
Instances
data SemanticTokenTypes Source #
Constructors
Instances
knownSemanticTokenTypes :: [SemanticTokenTypes] Source #
The set of semantic token types which are "known" (i.e. listed in the LSP spec).
data SemanticTokenModifiers Source #
Constructors
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 #
Constructors
TokenFormatRelative |
Instances
FromJSON TokenFormat Source # | |
Defined in Language.LSP.Types.SemanticTokens | |
ToJSON TokenFormat Source # | |
Defined in Language.LSP.Types.SemanticTokens Methods toJSON :: TokenFormat -> Value # toEncoding :: TokenFormat -> Encoding # toJSONList :: [TokenFormat] -> Value # toEncodingList :: [TokenFormat] -> Encoding # | |
Read TokenFormat Source # | |
Defined in Language.LSP.Types.SemanticTokens Methods readsPrec :: Int -> ReadS TokenFormat # readList :: ReadS [TokenFormat] # readPrec :: ReadPrec TokenFormat # readListPrec :: ReadPrec [TokenFormat] # | |
Show TokenFormat Source # | |
Defined in Language.LSP.Types.SemanticTokens Methods showsPrec :: Int -> TokenFormat -> ShowS # show :: TokenFormat -> String # showList :: [TokenFormat] -> ShowS # | |
Eq TokenFormat Source # | |
Defined in Language.LSP.Types.SemanticTokens | |
HasFormats SemanticTokensClientCapabilities (List TokenFormat) Source # | |
Defined in Language.LSP.Types.Lens Methods formats :: Lens' SemanticTokensClientCapabilities (List TokenFormat) Source # |
data SemanticTokensLegend Source #
Constructors
SemanticTokensLegend | |
Fields
|
Instances
data SemanticTokensRangeClientCapabilities Source #
Constructors
SemanticTokensRangeBool Bool | |
SemanticTokensRangeObj Value |
Instances
data SemanticTokensDeltaClientCapabilities Source #
Constructors
SemanticTokensDeltaClientCapabilities | |
Instances
data SemanticTokensFullClientCapabilities Source #
Constructors
SemanticTokensFullBool Bool | |
SemanticTokensFullDelta SemanticTokensDeltaClientCapabilities |
Instances
data SemanticTokensRequestsClientCapabilities Source #
Constructors
SemanticTokensRequestsClientCapabilities | |
Fields
|
Instances
data SemanticTokensClientCapabilities Source #
Constructors
SemanticTokensClientCapabilities | |
Fields
|
Instances
data SemanticTokensOptions Source #
Constructors
SemanticTokensOptions | |
Instances
data SemanticTokensRegistrationOptions Source #
Constructors
SemanticTokensRegistrationOptions | |
Fields |
Instances
data SemanticTokensParams Source #
Constructors
SemanticTokensParams | |
Fields |
Instances
data SemanticTokens Source #
Constructors
SemanticTokens | |
Instances
data SemanticTokensPartialResult Source #
Constructors
SemanticTokensPartialResult | |
Instances
FromJSON SemanticTokensPartialResult Source # | |
Defined in Language.LSP.Types.SemanticTokens Methods parseJSON :: Value -> Parser SemanticTokensPartialResult # parseJSONList :: Value -> Parser [SemanticTokensPartialResult] # | |
ToJSON SemanticTokensPartialResult Source # | |
Defined in Language.LSP.Types.SemanticTokens Methods toJSON :: SemanticTokensPartialResult -> Value # toEncoding :: SemanticTokensPartialResult -> Encoding # toJSONList :: [SemanticTokensPartialResult] -> Value # toEncodingList :: [SemanticTokensPartialResult] -> Encoding # | |
HasXdata SemanticTokensPartialResult (List UInt) Source # | |
Defined in Language.LSP.Types.Lens |
data SemanticTokensDeltaParams Source #
Constructors
SemanticTokensDeltaParams | |
Instances
data SemanticTokensEdit Source #
Constructors
SemanticTokensEdit | |
Instances
data SemanticTokensDelta Source #
Constructors
SemanticTokensDelta | |
Instances
data SemanticTokensDeltaPartialResult Source #
Constructors
SemantictokensDeltaPartialResult | |
Fields |
Instances
data SemanticTokensRangeParams Source #
Constructors
SemanticTokensRangeParams | |
Fields |
Instances
data SemanticTokensWorkspaceClientCapabilities Source #
Constructors
SemanticTokensWorkspaceClientCapabilities | |
Fields
|
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.
Constructors
SemanticTokenAbsolute | |
Fields
|
Instances
data SemanticTokenRelative Source #
A single 'semantic token' as described in the LSP specification, using relative positions.
Constructors
SemanticTokenRelative | |
Fields
|
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.
Constructors
Edit | |
Fields
|
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 #
Constructors
TextDocumentIdentifier | |
Instances
type TextDocumentVersion = Maybe Int32 Source #
data VersionedTextDocumentIdentifier Source #
Constructors
VersionedTextDocumentIdentifier | |
Fields
|
Instances
data TextDocumentItem Source #
Constructors
TextDocumentItem | |
Instances
data TextDocumentPositionParams Source #
Constructors
TextDocumentPositionParams | |
Fields
|
Instances
data TextDocumentSyncClientCapabilities Source #
Constructors
TextDocumentSyncClientCapabilities | |
Fields
|
Instances
data SaveOptions Source #
Constructors
SaveOptions | |
Fields
|
Instances
data TextDocumentSyncKind Source #
Defines how the host (editor) should sync document changes to the language server.
Constructors
TdSyncNone | Documents should not be synced at all. |
TdSyncFull | Documents are synced by always sending the full content of the document. |
TdSyncIncremental | Documents are synced by sending the full content on open. After that only incremental updates to the document are send. |
Instances
data TextDocumentSyncOptions Source #
Constructors
TextDocumentSyncOptions | |
Fields
|
Instances
data TextDocumentRegistrationOptions Source #
Constructors
TextDocumentRegistrationOptions | |
Fields |
Instances
data DidOpenTextDocumentParams Source #
Constructors
DidOpenTextDocumentParams | |
Fields
|
Instances
data TextDocumentChangeRegistrationOptions Source #
Constructors
TextDocumentChangeRegistrationOptions | |
Fields |
Instances
data TextDocumentContentChangeEvent Source #
Constructors
TextDocumentContentChangeEvent | |
Instances
data DidChangeTextDocumentParams Source #
Constructors
DidChangeTextDocumentParams | |
Fields
|
Instances
data TextDocumentSaveReason Source #
Constructors
SaveManual | Manually triggered, e.g. by the user pressing save, by starting debugging, or by an API call. |
SaveAfterDelay | Automatic after a delay |
SaveFocusOut | When the editor lost focus |
Instances
data WillSaveTextDocumentParams Source #
Constructors
WillSaveTextDocumentParams | |
Fields
|
Instances
data TextDocumentSaveRegistrationOptions Source #
Constructors
TextDocumentSaveRegistrationOptions | |
Fields
|
Instances
data DidSaveTextDocumentParams Source #
Constructors
DidSaveTextDocumentParams | |
Fields
|
Instances
data DidCloseTextDocumentParams Source #
Constructors
DidCloseTextDocumentParams | |
Fields
|
Instances
data TypeDefinitionClientCapabilities Source #
Constructors
TypeDefinitionClientCapabilities | |
Fields
|
Instances
data TypeDefinitionOptions Source #
Constructors
TypeDefinitionOptions | |
Fields
|
Instances
data TypeDefinitionRegistrationOptions Source #
Constructors
TypeDefinitionRegistrationOptions | |
Fields
|
Instances
data TypeDefinitionParams Source #
Constructors
TypeDefinitionParams | |
Fields |
Instances
Instances
filePathToUri :: FilePath -> Uri Source #
data NormalizedUri Source #
Constructors
NormalizedUri !Int !Text |
Instances
toNormalizedUri :: Uri -> NormalizedUri Source #
fromNormalizedUri :: NormalizedUri -> Uri Source #
data NormalizedFilePath Source #
A file path that is already normalized.
The NormalizedUri
is 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 HLS, do not modify it without profiling.
Adoption Plan of OsPath
Currently we store Text
. We may change it to OsPath in the future if
the following steps are executed.
- In the client codebase, use
osPathToNormalizedFilePath
andnormalizedFilePathToOsPath
instead offromNormalizedFilePath
andtoNormalizedFilePath
. For HLS, we could wait until GHC 9.6 becomes the oldest GHC we support, then changeFilePath
to OsPath everywhere in the codebase. - Deprecate and remove
fromNormalizedFilePath
andtoNormalizedFilePath
. - Change
Text
to OsPath and benchmark it to make sure performance doesn't go down. Don't forget to check Windows, as OsPath on Windows uses UTF-16, which may consume more memory.
Instances
fromNormalizedFilePath :: NormalizedFilePath -> FilePath Source #
Extracts FilePath
from NormalizedFilePath
.
emptyNormalizedFilePath :: NormalizedFilePath Source #
NormalizedFilePath
that contains an empty file path
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath Source #
Warning: This function is considered private. Use normalizedFilePathToUri instead.
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri Source #
Warning: This function is considered private. Use normalizedUriToFilePath instead.
data DidChangeWatchedFilesClientCapabilities Source #
Constructors
DidChangeWatchedFilesClientCapabilities | |
Fields
|
Instances
data DidChangeWatchedFilesRegistrationOptions Source #
Describe options to be used when registering for file system change events.
Constructors
DidChangeWatchedFilesRegistrationOptions | |
Fields
|
Instances
data FileSystemWatcher Source #
Constructors
FileSystemWatcher | |
Fields
|
Instances
Constructors
WatchKind | |
Fields
|
Instances
FromJSON WatchKind Source # | |
ToJSON WatchKind Source # | |
Defined in Language.LSP.Types.WatchedFiles | |
Read WatchKind Source # | |
Show WatchKind Source # | |
Eq WatchKind Source # | |
HasWatchChange WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchCreate WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasWatchDelete WatchKind Bool Source # | |
Defined in Language.LSP.Types.Lens | |
HasKind FileSystemWatcher (Maybe WatchKind) Source # | |
Defined in Language.LSP.Types.Lens |
data FileChangeType Source #
The file event type.
Constructors
FcCreated | The file got created. |
FcChanged | The file got changed. |
FcDeleted | The file got deleted. |
Instances
An event describing a file change.
Constructors
FileEvent | |
Fields
|
Instances
data DidChangeWatchedFilesParams Source #
Constructors
DidChangeWatchedFilesParams | |
Instances
data MessageType Source #
Instances
data ShowMessageParams Source #
Constructors
ShowMessageParams | |
Fields
|
Instances
data MessageActionItem Source #
Constructors
MessageActionItem | |
Instances
data ShowMessageRequestParams Source #
Constructors
ShowMessageRequestParams | |
Fields
|
Instances
data ShowDocumentParams Source #
Params to show a document.
Since: 3.16.0
Constructors
ShowDocumentParams | |
Fields
|
Instances
data ShowDocumentResult Source #
The result of an show document request.
Since: 3.16.0
Constructors
ShowDocumentResult | |
Instances
data LogMessageParams Source #
Constructors
LogMessageParams | |
Fields
|
Instances
Instances
data ChangeAnnotation Source #
Additional information that describes document changes.
Since: 3.16.0
Constructors
ChangeAnnotation | |
Fields
|
Instances
newtype ChangeAnnotationIdentifier Source #
An identifier referring to a change annotation managed by a workspace edit.
Since: 3.16.0
Constructors
ChangeAnnotationIdentifierId Text |
Instances
data AnnotatedTextEdit Source #
Constructors
AnnotatedTextEdit | |
Fields |
Instances
data TextDocumentEdit Source #
Constructors
TextDocumentEdit | |
Instances
data CreateFileOptions Source #
Options to create a file.
Constructors
CreateFileOptions | |
Fields
|
Instances
data CreateFile Source #
Create file operation
Constructors
CreateFile | |
Fields
|
Instances
data RenameFileOptions Source #
Constructors
RenameFileOptions | |
Fields
|
Instances
data RenameFile Source #
Rename file operation
Constructors
RenameFile | |
Fields
|
Instances
data DeleteFileOptions Source #
Constructors
DeleteFileOptions | |
Fields
|
Instances
data DeleteFile Source #
Delete file operation
Constructors
DeleteFile | |
Fields
|
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) Source #
`TextDocumentEdit |? CreateFile |? RenameFile |? DeleteFile` is a bit mouthful, here's the synonym
data WorkspaceEdit Source #
Constructors
WorkspaceEdit | |
Fields
|
Instances
data ResourceOperationKind Source #
Constructors
ResourceOperationCreate | Supports creating new files and folders. |
ResourceOperationRename | Supports renaming existing files and folders. |
ResourceOperationDelete | Supports deleting existing files and folders. |
Instances
data FailureHandlingKind Source #
Constructors
FailureHandlingAbort | Applying the workspace change is simply aborted if one of the changes provided fails. All operations executed before the failing operation stay executed. |
FailureHandlingTransactional | All operations are executed transactional. That means they either all succeed or no changes at all are applied to the workspace. |
FailureHandlingTextOnlyTransactional | If the workspace edit contains only textual file changes they are executed transactional. If resource changes (create, rename or delete file) are part of the change the failure handling strategy is abort. |
FailureHandlingUndo | The client tries to undo the operations already executed. But there is no guarantee that this is succeeding. |
Instances
data WorkspaceEditChangeAnnotationClientCapabilities Source #
Constructors
WorkspaceEditChangeAnnotationClientCapabilities | |
Fields
|
Instances
data WorkspaceEditClientCapabilities Source #
Constructors
WorkspaceEditClientCapabilities | |
Fields
|
Instances
data ApplyWorkspaceEditParams Source #
Constructors
ApplyWorkspaceEditParams | |
Fields
|
Instances
data ApplyWorkspaceEditResponseBody Source #
Constructors
ApplyWorkspaceEditResponseBody | |
Fields
|
Instances
editTextEdit :: TextEdit -> TextEdit -> TextEdit Source #
editTextEdit
outer
inner
applies inner
to the text inside outer
.
data WorkspaceFolder Source #
Constructors
WorkspaceFolder | |
Instances
data WorkspaceFoldersChangeEvent Source #
The workspace folder change event.
Constructors
WorkspaceFoldersChangeEvent | |
Fields
|
Instances
data DidChangeWorkspaceFoldersParams Source #
Constructors
DidChangeWorkspaceFoldersParams | |
Fields
|
Instances
data WorkspaceSymbolKindClientCapabilities Source #
Constructors
WorkspaceSymbolKindClientCapabilities | |
Fields
|
Instances
data WorkspaceSymbolTagClientCapabilities Source #
Constructors
WorkspaceSymbolTagClientCapabilities | |
Instances
data WorkspaceSymbolClientCapabilities Source #
Constructors
WorkspaceSymbolClientCapabilities | |
Fields
|
Instances
data WorkspaceSymbolOptions Source #
Constructors
WorkspaceSymbolOptions | |
Fields
|
Instances
data WorkspaceSymbolRegistrationOptions Source #
Constructors
WorkspaceSymbolRegistrationOptions | |
Fields
|
Instances
data WorkspaceSymbolParams Source #
Constructors
WorkspaceSymbolParams | |
Fields
|