Safe Haskell	None
Language	Haskell2010

Language.LSP.Types

Synopsis

data CallHierarchyClientCapabilities = CallHierarchyClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data CallHierarchyOptions = CallHierarchyOptions {
- _workDoneProgress :: (Maybe Bool)
}
data CallHierarchyRegistrationOptions = CallHierarchyRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
}
data CallHierarchyPrepareParams = CallHierarchyPrepareParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
}
data CallHierarchyItem = CallHierarchyItem {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe (List SymbolTag)
- _detail :: Maybe Text
- _uri :: Uri
- _range :: Range
- _selectionRange :: Range
- _xdata :: Maybe Value
}
data CallHierarchyIncomingCallsParams = CallHierarchyIncomingCallsParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _item :: CallHierarchyItem
}
data CallHierarchyIncomingCall = CallHierarchyIncomingCall {
- _from :: CallHierarchyItem
- _fromRanges :: List Range
}
data CallHierarchyOutgoingCallsParams = CallHierarchyOutgoingCallsParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _item :: CallHierarchyItem
}
data CallHierarchyOutgoingCall = CallHierarchyOutgoingCall {
- _to :: CallHierarchyItem
- _fromRanges :: List Range
}
data CancelParams = forall m. CancelParams {
- _id :: LspId m
}
data CodeActionKind
- = CodeActionEmpty
- | CodeActionQuickFix
- | CodeActionRefactor
- | CodeActionRefactorExtract
- | CodeActionRefactorInline
- | CodeActionRefactorRewrite
- | CodeActionSource
- | CodeActionSourceOrganizeImports
- | CodeActionUnknown Text
fromHierarchicalString :: Text -> CodeActionKind
toHierarchicalString :: CodeActionKind -> Text
codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool
specCodeActionKinds :: [CodeActionKind]
data CodeActionKindClientCapabilities = CodeActionKindClientCapabilities {
- _valueSet :: List CodeActionKind
}
data CodeActionLiteralSupport = CodeActionLiteralSupport {
- _codeActionKind :: CodeActionKindClientCapabilities
}
data CodeActionResolveClientCapabilities = CodeActionResolveClientCapabilities {
- _properties :: List Text
}
data CodeActionClientCapabilities = CodeActionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _codeActionLiteralSupport :: Maybe CodeActionLiteralSupport
- _isPreferredSupport :: Maybe Bool
- _disabledSupport :: Maybe Bool
- _dataSupport :: Maybe Bool
- _resolveSupport :: Maybe CodeActionResolveClientCapabilities
- _honorsChangeAnnotations :: Maybe Bool
}
data CodeActionOptions = CodeActionOptions {
- _workDoneProgress :: (Maybe Bool)
- _codeActionKinds :: (Maybe (List CodeActionKind))
- _resolveProvider :: (Maybe Bool)
}
data CodeActionRegistrationOptions = CodeActionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _codeActionKinds :: (Maybe (List CodeActionKind))
- _resolveProvider :: (Maybe Bool)
}
data CodeActionContext = CodeActionContext {
- _diagnostics :: List Diagnostic
- _only :: Maybe (List CodeActionKind)
}
data CodeActionParams = CodeActionParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _range :: Range
- _context :: CodeActionContext
}
newtype Reason = Reason {
- _reason :: Text
}
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 {
- _dynamicRegistration :: Maybe Bool
}
data CodeLensOptions = CodeLensOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
}
data CodeLensRegistrationOptions = CodeLensRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
}
data CodeLensParams = CodeLensParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
data CodeLens = CodeLens {
- _range :: Range
- _command :: Maybe Command
- _xdata :: Maybe Value
}
data ExecuteCommandClientCapabilities = ExecuteCommandClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data ExecuteCommandOptions = ExecuteCommandOptions {
- _workDoneProgress :: (Maybe Bool)
- _commands :: (List Text)
}
data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _commands :: (List Text)
}
data ExecuteCommandParams = ExecuteCommandParams {
- _workDoneToken :: (Maybe ProgressToken)
- _command :: Text
- _arguments :: (Maybe (List Value))
}
data Command = Command {
- _title :: Text
- _command :: Text
- _arguments :: Maybe (List Value)
}
data a |? b
- = InL a
- | InR b
toEither :: (a |? b) -> Either a b
newtype List a = List [a]
data Empty = Empty
data Int32
data UInt
data CompletionItemKind
- = CiText
- | CiMethod
- | CiFunction
- | CiConstructor
- | CiField
- | CiVariable
- | CiClass
- | CiInterface
- | CiModule
- | CiProperty
- | CiUnit
- | CiValue
- | CiEnum
- | CiKeyword
- | CiSnippet
- | CiColor
- | CiFile
- | CiReference
- | CiFolder
- | CiEnumMember
- | CiConstant
- | CiStruct
- | CiEvent
- | CiOperator
- | CiTypeParameter
data CompletionItemTag
- = CitDeprecated
- | CitUnknown Scientific
data CompletionItemTagsClientCapabilities = CompletionItemTagsClientCapabilities {
- _valueSet :: List CompletionItemTag
}
data CompletionItemResolveClientCapabilities = CompletionItemResolveClientCapabilities {
- _properties :: List Text
}
data InsertTextMode
- = AsIs
- | AdjustIndentation
data CompletionItemInsertTextModeClientCapabilities = CompletionItemInsertTextModeClientCapabilities {
- _valueSet :: List InsertTextMode
}
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 {
- _valueSet :: Maybe (List CompletionItemKind)
}
data CompletionClientCapabilities = CompletionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _completionItem :: Maybe CompletionItemClientCapabilities
- _completionItemKind :: Maybe CompletionItemKindClientCapabilities
- _contextSupport :: Maybe Bool
}
data InsertTextFormat
- = PlainText
- | Snippet
data CompletionDoc
- = CompletionDocString Text
- | CompletionDocMarkup MarkupContent
data InsertReplaceEdit = InsertReplaceEdit {
- _newText :: Text
- _insert :: Range
- _repalce :: Range
}
data CompletionEdit
- = CompletionEditText TextEdit
- | CompletionEditInsertReplace InsertReplaceEdit
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 {
- _isIncomplete :: Bool
- _items :: List CompletionItem
}
data CompletionTriggerKind
- = CtInvoked
- | CtTriggerCharacter
- | CtTriggerForIncompleteCompletions
- | CtUnknown Scientific
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 {
- _triggerKind :: CompletionTriggerKind
- _triggerCharacter :: Maybe Text
}
data CompletionParams = CompletionParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _context :: (Maybe CompletionContext)
}
data DidChangeConfigurationClientCapabilities = DidChangeConfigurationClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DidChangeConfigurationParams = DidChangeConfigurationParams {
- _settings :: Value
}
data ConfigurationItem = ConfigurationItem {
- _scopeUri :: Maybe Text
- _section :: Maybe Text
}
data ConfigurationParams = ConfigurationParams {
- _items :: List ConfigurationItem
}
data DeclarationClientCapabilities = DeclarationClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _linkSupport :: Maybe Bool
}
data DeclarationOptions = DeclarationOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DeclarationRegistrationOptions = DeclarationRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
}
data DeclarationParams = DeclarationParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
data DefinitionClientCapabilities = DefinitionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _linkSupport :: Maybe Bool
}
data DefinitionOptions = DefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DefinitionRegistrationOptions = DefinitionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data DefinitionParams = DefinitionParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
data DiagnosticSeverity
- = DsError
- | DsWarning
- | DsInfo
- | DsHint
data DiagnosticTag
- = DtUnnecessary
- | DtDeprecated
data DiagnosticRelatedInformation = DiagnosticRelatedInformation {
- _location :: Location
- _message :: Text
}
type DiagnosticSource = Text
data Diagnostic = Diagnostic {
- _range :: Range
- _severity :: Maybe DiagnosticSeverity
- _code :: Maybe (Int32 |? Text)
- _source :: Maybe DiagnosticSource
- _message :: Text
- _tags :: Maybe (List DiagnosticTag)
- _relatedInformation :: Maybe (List DiagnosticRelatedInformation)
}
data PublishDiagnosticsTagsClientCapabilities = PublishDiagnosticsTagsClientCapabilities {
- _valueSet :: List DiagnosticTag
}
data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {
- _relatedInformation :: Maybe Bool
- _tagSupport :: Maybe PublishDiagnosticsTagsClientCapabilities
- _versionSupport :: Maybe Bool
}
data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _version :: Maybe UInt
- _diagnostics :: List Diagnostic
}
data DocumentColorClientCapabilities = DocumentColorClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DocumentColorOptions = DocumentColorOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DocumentColorRegistrationOptions = DocumentColorRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
- _workDoneProgress :: (Maybe Bool)
}
data DocumentColorParams = DocumentColorParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
data Color = Color {
- _red :: Float
- _green :: Float
- _blue :: Float
- _alpha :: Float
}
data ColorInformation = ColorInformation {
- _range :: Range
- _color :: Color
}
data ColorPresentationParams = ColorPresentationParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _color :: Color
- _range :: Range
}
data ColorPresentation = ColorPresentation {
- _label :: Text
- _textEdit :: Maybe TextEdit
- _additionalTextEdits :: Maybe (List TextEdit)
}
data DocumentFilter = DocumentFilter {
- _language :: Maybe Text
- _scheme :: Maybe Text
- _pattern :: Maybe Text
}
type DocumentSelector = List DocumentFilter
data DocumentHighlightClientCapabilities = DocumentHighlightClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DocumentHighlightOptions = DocumentHighlightOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DocumentHighlightRegistrationOptions = DocumentHighlightRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data DocumentHighlightParams = DocumentHighlightParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
data DocumentHighlightKind
- = HkText
- | HkRead
- | HkWrite
data DocumentHighlight = DocumentHighlight {
- _range :: Range
- _kind :: Maybe DocumentHighlightKind
}
data DocumentLinkClientCapabilities = DocumentLinkClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _tooltipSupport :: Maybe Bool
}
data DocumentLinkOptions = DocumentLinkOptions {
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
}
data DocumentLinkRegistrationOptions = DocumentLinkRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _resolveProvider :: (Maybe Bool)
}
data DocumentLinkParams = DocumentLinkParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
data DocumentLink = DocumentLink {
- _range :: Range
- _target :: Maybe Uri
- _tooltip :: Maybe Text
- _xdata :: Maybe Value
}
data DocumentSymbolOptions = DocumentSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
- _label :: (Maybe Bool)
}
data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _label :: (Maybe Bool)
}
data DocumentSymbolParams = DocumentSymbolParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
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
- = StDeprecated
- | StUnknown Scientific
data DocumentSymbolKindClientCapabilities = DocumentSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
}
data DocumentSymbolTagClientCapabilities = DocumentSymbolTagClientCapabilities {
- _valueSet :: Maybe (List SymbolTag)
}
data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _symbolKind :: Maybe DocumentSymbolKindClientCapabilities
- _hierarchicalDocumentSymbolSupport :: Maybe Bool
- _tagSupport :: Maybe DocumentSymbolTagClientCapabilities
- _labelSupport :: Maybe Bool
}
data DocumentSymbol = DocumentSymbol {
- _name :: Text
- _detail :: Maybe Text
- _kind :: SymbolKind
- _tags :: Maybe (List SymbolTag)
- _deprecated :: Maybe Bool
- _range :: Range
- _selectionRange :: Range
- _children :: Maybe (List DocumentSymbol)
}
data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe (List SymbolTag)
- _deprecated :: Maybe Bool
- _location :: Location
- _containerName :: Maybe Text
}
data FoldingRangeClientCapabilities = FoldingRangeClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _rangeLimit :: Maybe UInt
- _lineFoldingOnly :: Maybe Bool
}
data FoldingRangeOptions = FoldingRangeOptions {
- _workDoneProgress :: (Maybe Bool)
}
data FoldingRangeRegistrationOptions = FoldingRangeRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
}
data FoldingRangeParams = FoldingRangeParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
data FoldingRangeKind
- = FoldingRangeComment
- | FoldingRangeImports
- | FoldingRangeRegion
- | FoldingRangeUnknown Text
data FoldingRange = FoldingRange {
- _startLine :: UInt
- _startCharacter :: Maybe UInt
- _endLine :: UInt
- _endCharacter :: Maybe UInt
- _kind :: Maybe FoldingRangeKind
}
data DocumentFormattingClientCapabilities = DocumentFormattingClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DocumentFormattingOptions = DocumentFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DocumentFormattingRegistrationOptions = DocumentFormattingRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data FormattingOptions = FormattingOptions {
- _tabSize :: UInt
- _insertSpaces :: Bool
- _trimTrailingWhitespace :: Maybe Bool
- _insertFinalNewline :: Maybe Bool
- _trimFinalNewlines :: Maybe Bool
}
data DocumentFormattingParams = DocumentFormattingParams {
- _workDoneToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _options :: FormattingOptions
}
data DocumentRangeFormattingClientCapabilities = DocumentRangeFormattingClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DocumentRangeFormattingOptions = DocumentRangeFormattingOptions {
- _workDoneProgress :: (Maybe Bool)
}
data DocumentRangeFormattingRegistrationOptions = DocumentRangeFormattingRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data DocumentRangeFormattingParams = DocumentRangeFormattingParams {
- _workDoneToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _range :: Range
- _options :: FormattingOptions
}
data DocumentOnTypeFormattingClientCapabilities = DocumentOnTypeFormattingClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {
- _firstTriggerCharacter :: Text
- _moreTriggerCharacter :: Maybe [Text]
}
data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _firstTriggerCharacter :: Text
- _moreTriggerCharacter :: (Maybe [Text])
}
data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _ch :: Text
- _options :: FormattingOptions
}
data HoverClientCapabilities = HoverClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _contentFormat :: Maybe (List MarkupKind)
}
data HoverOptions = HoverOptions {
- _workDoneProgress :: (Maybe Bool)
}
data HoverRegistrationOptions = HoverRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data HoverParams = HoverParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
}
data LanguageString = LanguageString {
- _language :: Text
- _value :: Text
}
data MarkedString
- = PlainString Text
- | CodeString LanguageString
data HoverContents
- = HoverContentsMS (List MarkedString)
- | HoverContents MarkupContent
toMarkupContent :: MarkedString -> MarkupContent
data Hover = Hover {
- _contents :: HoverContents
- _range :: Maybe Range
}
data ImplementationClientCapabilities = ImplementationClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _linkSupport :: Maybe Bool
}
data ImplementationOptions = ImplementationOptions {
- _workDoneProgress :: (Maybe Bool)
}
data ImplementationRegistrationOptions = ImplementationRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
}
data ImplementationParams = ImplementationParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
data Trace
- = TraceOff
- | TraceMessages
- | TraceVerbose
data ClientInfo = ClientInfo {
- _name :: Text
- _version :: Maybe Text
}
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 {
- _retry :: Bool
}
data ServerInfo = ServerInfo {
- _name :: Text
- _version :: Maybe Text
}
data InitializeResult = InitializeResult {
- _capabilities :: ServerCapabilities
- _serverInfo :: Maybe ServerInfo
}
data InitializedParams = InitializedParams {
}
data Position = Position {
- _line :: UInt
- _character :: UInt
}
data Range = Range {
- _start :: Position
- _end :: Position
}
data Location = Location {
- _uri :: Uri
- _range :: Range
}
data LocationLink = LocationLink {
- _originSelectionRange :: Maybe Range
- _targetUri :: Uri
- _targetRange :: Range
- _targetSelectionRange :: Range
}
mkRange :: UInt -> UInt -> UInt -> UInt -> Range
data LspId (m :: Method f Request)
- = IdInt !Int32
- | IdString !Text
data SomeLspId where
- SomeLspId :: !(LspId m) -> SomeLspId
data MarkupKind
- = MkPlainText
- | MkMarkdown
data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
}
markedUpContent :: Text -> Text -> MarkupContent
unmarkedUpContent :: Text -> MarkupContent
sectionSeparator :: Text
plainTextToMarkdown :: Text -> Text
data MarkdownClientCapabilities = MarkdownClientCapabilities {
- _parser :: Text
- _version :: Maybe Text
}
data From
- = FromServer
- | FromClient
data MethodType
- = Notification
- | Request
data Method (f :: From) (t :: MethodType) where
- Initialize :: Method FromClient Request
- Initialized :: Method FromClient Notification
- Shutdown :: Method FromClient Request
- Exit :: Method FromClient Notification
- WorkspaceDidChangeWorkspaceFolders :: Method FromClient Notification
- WorkspaceDidChangeConfiguration :: Method FromClient Notification
- WorkspaceDidChangeWatchedFiles :: Method FromClient Notification
- WorkspaceSymbol :: Method FromClient Request
- WorkspaceExecuteCommand :: Method FromClient Request
- TextDocumentDidOpen :: Method FromClient Notification
- TextDocumentDidChange :: Method FromClient Notification
- TextDocumentWillSave :: Method FromClient Notification
- TextDocumentWillSaveWaitUntil :: Method FromClient Request
- TextDocumentDidSave :: Method FromClient Notification
- TextDocumentDidClose :: Method FromClient Notification
- TextDocumentCompletion :: Method FromClient Request
- CompletionItemResolve :: Method FromClient Request
- TextDocumentHover :: Method FromClient Request
- TextDocumentSignatureHelp :: Method FromClient Request
- TextDocumentDeclaration :: Method FromClient Request
- TextDocumentDefinition :: Method FromClient Request
- TextDocumentTypeDefinition :: Method FromClient Request
- TextDocumentImplementation :: Method FromClient Request
- TextDocumentReferences :: Method FromClient Request
- TextDocumentDocumentHighlight :: Method FromClient Request
- TextDocumentDocumentSymbol :: Method FromClient Request
- TextDocumentCodeAction :: Method FromClient Request
- TextDocumentCodeLens :: Method FromClient Request
- CodeLensResolve :: Method FromClient Request
- TextDocumentDocumentLink :: Method FromClient Request
- DocumentLinkResolve :: Method FromClient Request
- TextDocumentDocumentColor :: Method FromClient Request
- TextDocumentColorPresentation :: Method FromClient Request
- TextDocumentFormatting :: Method FromClient Request
- TextDocumentRangeFormatting :: Method FromClient Request
- TextDocumentOnTypeFormatting :: Method FromClient Request
- TextDocumentRename :: Method FromClient Request
- TextDocumentPrepareRename :: Method FromClient Request
- TextDocumentFoldingRange :: Method FromClient Request
- TextDocumentSelectionRange :: Method FromClient Request
- TextDocumentPrepareCallHierarchy :: Method FromClient Request
- CallHierarchyIncomingCalls :: Method FromClient Request
- CallHierarchyOutgoingCalls :: Method FromClient Request
- TextDocumentSemanticTokens :: Method FromClient Request
- TextDocumentSemanticTokensFull :: Method FromClient Request
- TextDocumentSemanticTokensFullDelta :: Method FromClient Request
- TextDocumentSemanticTokensRange :: Method FromClient Request
- WorkspaceSemanticTokensRefresh :: Method FromClient Request
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowShowDocument :: Method FromServer Request
- WindowLogMessage :: Method FromServer Notification
- WindowWorkDoneProgressCancel :: Method FromClient Notification
- WindowWorkDoneProgressCreate :: Method FromServer Request
- Progress :: Method FromServer Notification
- TelemetryEvent :: Method FromServer Notification
- ClientRegisterCapability :: Method FromServer Request
- ClientUnregisterCapability :: Method FromServer Request
- WorkspaceWorkspaceFolders :: Method FromServer Request
- WorkspaceConfiguration :: Method FromServer Request
- WorkspaceApplyEdit :: Method FromServer Request
- TextDocumentPublishDiagnostics :: Method FromServer Notification
- CancelRequest :: Method f Notification
- CustomMethod :: Method f t
data SMethod (m :: Method f t) where
- SInitialize :: SMethod Initialize
- SInitialized :: SMethod Initialized
- SShutdown :: SMethod Shutdown
- SExit :: SMethod Exit
- SWorkspaceDidChangeWorkspaceFolders :: SMethod WorkspaceDidChangeWorkspaceFolders
- SWorkspaceDidChangeConfiguration :: SMethod WorkspaceDidChangeConfiguration
- SWorkspaceDidChangeWatchedFiles :: SMethod WorkspaceDidChangeWatchedFiles
- SWorkspaceSymbol :: SMethod WorkspaceSymbol
- SWorkspaceExecuteCommand :: SMethod WorkspaceExecuteCommand
- STextDocumentDidOpen :: SMethod TextDocumentDidOpen
- STextDocumentDidChange :: SMethod TextDocumentDidChange
- STextDocumentWillSave :: SMethod TextDocumentWillSave
- STextDocumentWillSaveWaitUntil :: SMethod TextDocumentWillSaveWaitUntil
- STextDocumentDidSave :: SMethod TextDocumentDidSave
- STextDocumentDidClose :: SMethod TextDocumentDidClose
- STextDocumentCompletion :: SMethod TextDocumentCompletion
- SCompletionItemResolve :: SMethod CompletionItemResolve
- STextDocumentHover :: SMethod TextDocumentHover
- STextDocumentSignatureHelp :: SMethod TextDocumentSignatureHelp
- STextDocumentDeclaration :: SMethod TextDocumentDeclaration
- STextDocumentDefinition :: SMethod TextDocumentDefinition
- STextDocumentTypeDefinition :: SMethod TextDocumentTypeDefinition
- STextDocumentImplementation :: SMethod TextDocumentImplementation
- STextDocumentReferences :: SMethod TextDocumentReferences
- STextDocumentDocumentHighlight :: SMethod TextDocumentDocumentHighlight
- STextDocumentDocumentSymbol :: SMethod TextDocumentDocumentSymbol
- STextDocumentCodeAction :: SMethod TextDocumentCodeAction
- STextDocumentCodeLens :: SMethod TextDocumentCodeLens
- SCodeLensResolve :: SMethod CodeLensResolve
- STextDocumentDocumentLink :: SMethod TextDocumentDocumentLink
- SDocumentLinkResolve :: SMethod DocumentLinkResolve
- STextDocumentDocumentColor :: SMethod TextDocumentDocumentColor
- STextDocumentColorPresentation :: SMethod TextDocumentColorPresentation
- STextDocumentFormatting :: SMethod TextDocumentFormatting
- STextDocumentRangeFormatting :: SMethod TextDocumentRangeFormatting
- STextDocumentOnTypeFormatting :: SMethod TextDocumentOnTypeFormatting
- STextDocumentRename :: SMethod TextDocumentRename
- STextDocumentPrepareRename :: SMethod TextDocumentPrepareRename
- STextDocumentFoldingRange :: SMethod TextDocumentFoldingRange
- STextDocumentSelectionRange :: SMethod TextDocumentSelectionRange
- STextDocumentPrepareCallHierarchy :: SMethod TextDocumentPrepareCallHierarchy
- SCallHierarchyIncomingCalls :: SMethod CallHierarchyIncomingCalls
- SCallHierarchyOutgoingCalls :: SMethod CallHierarchyOutgoingCalls
- STextDocumentSemanticTokens :: SMethod TextDocumentSemanticTokens
- STextDocumentSemanticTokensFull :: SMethod TextDocumentSemanticTokensFull
- STextDocumentSemanticTokensFullDelta :: SMethod TextDocumentSemanticTokensFullDelta
- STextDocumentSemanticTokensRange :: SMethod TextDocumentSemanticTokensRange
- SWorkspaceSemanticTokensRefresh :: SMethod WorkspaceSemanticTokensRefresh
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowShowDocument :: SMethod WindowShowDocument
- SWindowLogMessage :: SMethod WindowLogMessage
- SWindowWorkDoneProgressCreate :: SMethod WindowWorkDoneProgressCreate
- SWindowWorkDoneProgressCancel :: SMethod WindowWorkDoneProgressCancel
- SProgress :: SMethod Progress
- STelemetryEvent :: SMethod TelemetryEvent
- SClientRegisterCapability :: SMethod ClientRegisterCapability
- SClientUnregisterCapability :: SMethod ClientUnregisterCapability
- SWorkspaceWorkspaceFolders :: SMethod WorkspaceWorkspaceFolders
- SWorkspaceConfiguration :: SMethod WorkspaceConfiguration
- SWorkspaceApplyEdit :: SMethod WorkspaceApplyEdit
- STextDocumentPublishDiagnostics :: SMethod TextDocumentPublishDiagnostics
- SCancelRequest :: SMethod CancelRequest
- SCustomMethod :: Text -> SMethod CustomMethod
type SClientMethod (m :: Method FromClient t) = SMethod m
type SServerMethod (m :: Method FromServer t) = SMethod m
data SomeClientMethod = forall t (m :: Method FromClient t). SomeClientMethod (SMethod m)
data SomeServerMethod = forall t (m :: Method FromServer t). SomeServerMethod (SMethod m)
data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
type family MessageParams (m :: Method f t) :: Type where ...
type family ResponseResult (m :: Method f Request) :: Type where ...
data NotificationMessage (m :: Method f Notification) = NotificationMessage {
- _jsonrpc :: Text
- _method :: SMethod m
- _params :: MessageParams m
}
data RequestMessage (m :: Method f Request) = RequestMessage {
- _jsonrpc :: Text
- _id :: LspId m
- _method :: SMethod m
- _params :: MessageParams m
}
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
- = ParseError
- | InvalidRequest
- | MethodNotFound
- | InvalidParams
- | InternalError
- | ServerErrorStart
- | ServerErrorEnd
- | ServerNotInitialized
- | UnknownErrorCode
- | RequestCancelled
- | ContentModified
data ResponseError = ResponseError {
- _code :: ErrorCode
- _message :: Text
- _xdata :: Maybe Value
}
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
- = ProgressNumericToken Int32
- | ProgressTextToken Text
data ProgressParams t = ProgressParams {
- _token :: ProgressToken
- _value :: t
}
data WorkDoneProgressBeginParams = WorkDoneProgressBeginParams {
- _title :: Text
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe UInt
}
data WorkDoneProgressReportParams = WorkDoneProgressReportParams {
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe UInt
}
data WorkDoneProgressEndParams = WorkDoneProgressEndParams {
- _message :: Maybe Text
}
data WorkDoneProgressCancelParams = WorkDoneProgressCancelParams {
- _token :: ProgressToken
}
data WorkDoneProgressCreateParams = WorkDoneProgressCreateParams {
- _token :: ProgressToken
}
data WorkDoneProgressOptions = WorkDoneProgressOptions {
- _workDoneProgress :: Maybe Bool
}
data WorkDoneProgressParams = WorkDoneProgressParams {
- _workDoneToken :: Maybe ProgressToken
}
data SomeProgressParams
- = Begin WorkDoneProgressBeginParams
- | Report WorkDoneProgressReportParams
- | End WorkDoneProgressEndParams
data PartialResultParams = PartialResultParams {
- _partialResultToken :: Maybe ProgressToken
}
data ReferencesClientCapabilities = ReferencesClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data ReferenceOptions = ReferenceOptions {
- _workDoneProgress :: (Maybe Bool)
}
data ReferenceRegistrationOptions = ReferenceRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
}
data ReferenceContext = ReferenceContext {
- _includeDeclaration :: Bool
}
data ReferenceParams = ReferenceParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _context :: ReferenceContext
}
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 {
- _registrations :: List SomeRegistration
}
data Unregistration = Unregistration {
- _id :: Text
- _method :: SomeClientMethod
}
data UnregistrationParams = UnregistrationParams {
- _unregisterations :: List Unregistration
}
data PrepareSupportDefaultBehavior
- = PsIdentifier
- | PsUnknown Scientific
data RenameClientCapabilities = RenameClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _prepareSupport :: Maybe Bool
- prepareSupportDefaultBehavior :: Maybe PrepareSupportDefaultBehavior
- honorsChangeAnnotations :: Maybe Bool
}
data RenameOptions = RenameOptions {
- _workDoneProgress :: (Maybe Bool)
- _prepareProvider :: (Maybe Bool)
}
data RenameRegistrationOptions = RenameRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _prepareProvider :: (Maybe Bool)
}
data RenameParams = RenameParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _newName :: Text
}
data PrepareRenameParams = PrepareRenameParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
}
data RangeWithPlaceholder = RangeWithPlaceholder {
- _range :: Range
- _placeholder :: Text
}
data SignatureHelpParameterInformation = SignatureHelpParameterInformation {
- _labelOffsetSupport :: Maybe Bool
}
data SignatureHelpSignatureInformation = SignatureHelpSignatureInformation {
- _documentationFormat :: Maybe (List MarkupKind)
- _parameterInformation :: Maybe SignatureHelpParameterInformation
- _activeParameterSuport :: Maybe Bool
}
data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _signatureInformation :: Maybe SignatureHelpSignatureInformation
- _contextSupport :: Maybe Bool
}
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
- = SignatureHelpDocString Text
- | SignatureHelpDocMarkup MarkupContent
data ParameterLabel
- = ParameterLabelString Text
- | ParameterLabelOffset UInt UInt
data ParameterInformation = ParameterInformation {
- _label :: ParameterLabel
- _documentation :: Maybe SignatureHelpDoc
}
data SignatureInformation = SignatureInformation {
- _label :: Text
- _documentation :: Maybe SignatureHelpDoc
- _parameters :: Maybe (List ParameterInformation)
- _activeParameter :: Maybe UInt
}
data SignatureHelp = SignatureHelp {
- _signatures :: List SignatureInformation
- _activeSignature :: Maybe UInt
- _activeParameter :: Maybe UInt
}
data SignatureHelpTriggerKind
- = SHTKInvoked
- | SHTKTriggerCharacter
- | SHTKContentChange
data SignatureHelpContext = SignatureHelpContext {
- _triggerKind :: SignatureHelpTriggerKind
- _triggerCharacter :: Maybe Text
- _isRetrigger :: Bool
- _activeSignatureHelp :: Maybe SignatureHelp
}
data SignatureHelpParams = SignatureHelpParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _context :: (Maybe SignatureHelpContext)
}
data StaticRegistrationOptions = StaticRegistrationOptions {
- _id :: Maybe Text
}
data SelectionRangeClientCapabilities = SelectionRangeClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data SelectionRangeOptions = SelectionRangeOptions {
- _workDoneProgress :: (Maybe Bool)
}
data SelectionRangeRegistrationOptions = SelectionRangeRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
- _documentSelector :: (Maybe DocumentSelector)
- _id :: (Maybe Text)
}
data SelectionRangeParams = SelectionRangeParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _positions :: (List Position)
}
data SelectionRange = SelectionRange {
- _range :: Range
- _parent :: Maybe SelectionRange
}
data SemanticTokenTypes
- = SttType
- | SttClass
- | SttEnum
- | SttInterface
- | SttStruct
- | SttTypeParameter
- | SttParameter
- | SttVariable
- | SttProperty
- | SttEnumMember
- | SttEvent
- | SttFunction
- | SttMethod
- | SttMacro
- | SttKeyword
- | SttModifier
- | SttComment
- | SttString
- | SttNumber
- | SttRegexp
- | SttOperator
- | SttUnknown Text
knownSemanticTokenTypes :: [SemanticTokenTypes]
data SemanticTokenModifiers
- = StmDeclaration
- | StmDefinition
- | StmReadonly
- | StmStatic
- | StmDeprecated
- | StmAbstract
- | StmAsync
- | StmModification
- | StmDocumentation
- | StmDefaultLibrary
- | StmUnknown Text
knownSemanticTokenModifiers :: [SemanticTokenModifiers]
data TokenFormat = TokenFormatRelative
data SemanticTokensLegend = SemanticTokensLegend {
- _tokenTypes :: List SemanticTokenTypes
- _tokenModifiers :: List SemanticTokenModifiers
}
data SemanticTokensRangeClientCapabilities
- = SemanticTokensRangeBool Bool
- | SemanticTokensRangeObj Value
data SemanticTokensDeltaClientCapabilities = SemanticTokensDeltaClientCapabilities {
- _delta :: Maybe Bool
}
data SemanticTokensFullClientCapabilities
- = SemanticTokensFullBool Bool
- | SemanticTokensFullDelta SemanticTokensDeltaClientCapabilities
data SemanticTokensRequestsClientCapabilities = SemanticTokensRequestsClientCapabilities {
- _range :: Maybe SemanticTokensRangeClientCapabilities
- _full :: Maybe SemanticTokensFullClientCapabilities
}
data SemanticTokensClientCapabilities = SemanticTokensClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _requests :: SemanticTokensRequestsClientCapabilities
- _tokenTypes :: List SemanticTokenTypes
- _tokenModifiers :: List SemanticTokenModifiers
- _formats :: List TokenFormat
- _overlappingTokenSupport :: Maybe Bool
- _multilineTokenSupport :: Maybe Bool
}
data SemanticTokensOptions = SemanticTokensOptions {
- _workDoneProgress :: (Maybe Bool)
- _legend :: SemanticTokensLegend
- _range :: (Maybe SemanticTokensRangeClientCapabilities)
- _full :: (Maybe SemanticTokensFullClientCapabilities)
}
data SemanticTokensRegistrationOptions = SemanticTokensRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _legend :: SemanticTokensLegend
- _range :: (Maybe SemanticTokensRangeClientCapabilities)
- _full :: (Maybe SemanticTokensFullClientCapabilities)
- _id :: (Maybe Text)
}
data SemanticTokensParams = SemanticTokensParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
}
data SemanticTokens = SemanticTokens {
- _resultId :: Maybe Text
- _xdata :: List UInt
}
data SemanticTokensPartialResult = SemanticTokensPartialResult {
- _xdata :: List UInt
}
data SemanticTokensDeltaParams = SemanticTokensDeltaParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _previousResultId :: Text
}
data SemanticTokensEdit = SemanticTokensEdit {
- _start :: UInt
- _deleteCount :: UInt
- _xdata :: Maybe (List UInt)
}
data SemanticTokensDelta = SemanticTokensDelta {
- _resultId :: Maybe Text
- _edits :: List SemanticTokensEdit
}
data SemanticTokensDeltaPartialResult = SemantictokensDeltaPartialResult {
- _edits :: List SemanticTokensEdit
}
data SemanticTokensRangeParams = SemanticTokensRangeParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _textDocument :: TextDocumentIdentifier
- _range :: Range
}
data SemanticTokensWorkspaceClientCapabilities = SemanticTokensWorkspaceClientCapabilities {
- _refreshSupport :: Maybe Bool
}
data SemanticTokenAbsolute = SemanticTokenAbsolute {
- line :: UInt
- startChar :: UInt
- length :: UInt
- tokenType :: SemanticTokenTypes
- tokenModifiers :: [SemanticTokenModifiers]
}
data SemanticTokenRelative = SemanticTokenRelative {
- deltaLine :: UInt
- deltaStartChar :: UInt
- length :: UInt
- tokenType :: SemanticTokenTypes
- tokenModifiers :: [SemanticTokenModifiers]
}
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 {
- _uri :: Uri
}
type TextDocumentVersion = Maybe Int32
data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {
- _uri :: Uri
- _version :: TextDocumentVersion
}
data TextDocumentItem = TextDocumentItem {
- _uri :: Uri
- _languageId :: Text
- _version :: Int32
- _text :: Text
}
data TextDocumentPositionParams = TextDocumentPositionParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
}
data TextDocumentSyncClientCapabilities = TextDocumentSyncClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _willSave :: Maybe Bool
- _willSaveWaitUntil :: Maybe Bool
- _didSave :: Maybe Bool
}
data SaveOptions = SaveOptions {
- _includeText :: Maybe Bool
}
data TextDocumentSyncKind
- = TdSyncNone
- | TdSyncFull
- | TdSyncIncremental
data TextDocumentSyncOptions = TextDocumentSyncOptions {
- _openClose :: Maybe Bool
- _change :: Maybe TextDocumentSyncKind
- _willSave :: Maybe Bool
- _willSaveWaitUntil :: Maybe Bool
- _save :: Maybe (Bool |? SaveOptions)
}
data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {
- _documentSelector :: Maybe DocumentSelector
}
data DidOpenTextDocumentParams = DidOpenTextDocumentParams {
- _textDocument :: TextDocumentItem
}
data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _syncKind :: TextDocumentSyncKind
}
data TextDocumentContentChangeEvent = TextDocumentContentChangeEvent {
- _range :: Maybe Range
- _rangeLength :: Maybe UInt
- _text :: Text
}
data DidChangeTextDocumentParams = DidChangeTextDocumentParams {
- _textDocument :: VersionedTextDocumentIdentifier
- _contentChanges :: List TextDocumentContentChangeEvent
}
data TextDocumentSaveReason
- = SaveManual
- | SaveAfterDelay
- | SaveFocusOut
data WillSaveTextDocumentParams = WillSaveTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
- _reason :: TextDocumentSaveReason
}
data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _includeText :: (Maybe Bool)
}
data DidSaveTextDocumentParams = DidSaveTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
- _text :: Maybe Text
}
data DidCloseTextDocumentParams = DidCloseTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
}
data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _linkSupport :: Maybe Bool
}
data TypeDefinitionOptions = TypeDefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
}
data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
}
data TypeDefinitionParams = TypeDefinitionParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
newtype Uri = Uri {
- getUri :: Text
}
uriToFilePath :: Uri -> Maybe FilePath
filePathToUri :: FilePath -> Uri
data NormalizedUri = NormalizedUri !Int !Text
toNormalizedUri :: Uri -> NormalizedUri
fromNormalizedUri :: NormalizedUri -> Uri
data NormalizedFilePath
normalizedFilePath :: NormalizedUri -> FilePath -> NormalizedFilePath
toNormalizedFilePath :: FilePath -> NormalizedFilePath
fromNormalizedFilePath :: NormalizedFilePath -> FilePath
normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {
- _watchers :: List FileSystemWatcher
}
data FileSystemWatcher = FileSystemWatcher {
- _globPattern :: Text
- _kind :: Maybe WatchKind
}
data WatchKind = WatchKind {
- _watchCreate :: Bool
- _watchChange :: Bool
- _watchDelete :: Bool
}
data FileChangeType
- = FcCreated
- | FcChanged
- | FcDeleted
data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
}
data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {
- _changes :: List FileEvent
}
data MessageType
- = MtError
- | MtWarning
- | MtInfo
- | MtLog
data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
}
data MessageActionItem = MessageActionItem {
- _title :: Text
}
data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
}
data ShowDocumentParams = ShowDocumentParams {
- _uri :: Uri
- _external :: Maybe Bool
- _takeFocus :: Maybe Bool
- _selection :: Maybe Range
}
data ShowDocumentResult = ShowDocumentResult {
- _success :: Bool
}
data LogMessageParams = LogMessageParams {
- _xtype :: MessageType
- _message :: Text
}
data TextEdit = TextEdit {
- _range :: Range
- _newText :: Text
}
data ChangeAnnotation = ChangeAnnotation {
- _label :: Text
- _needsConfirmation :: Maybe Bool
- _description :: Maybe Text
}
newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifierId Text
data AnnotatedTextEdit = AnnotatedTextEdit {
- _range :: Range
- _newText :: Text
- _annotationId :: ChangeAnnotationIdentifier
}
data TextDocumentEdit = TextDocumentEdit {
- _textDocument :: VersionedTextDocumentIdentifier
- _edits :: List (TextEdit |? AnnotatedTextEdit)
}
data CreateFileOptions = CreateFileOptions {
- _overwrite :: Maybe Bool
- _ignoreIfExists :: Maybe Bool
}
data CreateFile = CreateFile {
- _uri :: Uri
- _options :: Maybe CreateFileOptions
- _annotationId :: Maybe ChangeAnnotationIdentifier
}
data RenameFileOptions = RenameFileOptions {
- _overwrite :: Maybe Bool
- _ignoreIfExists :: Maybe Bool
}
data RenameFile = RenameFile {
- _oldUri :: Uri
- _newUri :: Uri
- _options :: Maybe RenameFileOptions
- _annotationId :: Maybe ChangeAnnotationIdentifier
}
data DeleteFileOptions = DeleteFileOptions {
- _recursive :: Maybe Bool
- _ignoreIfNotExists :: Maybe Bool
}
data DeleteFile = DeleteFile {
- _uri :: Uri
- _options :: Maybe DeleteFileOptions
- _annotationId :: Maybe ChangeAnnotationIdentifier
}
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
type WorkspaceEditMap = HashMap Uri (List TextEdit)
type ChangeAnnotationMap = HashMap ChangeAnnotationIdentifier ChangeAnnotation
data WorkspaceEdit = WorkspaceEdit {
- _changes :: Maybe WorkspaceEditMap
- _documentChanges :: Maybe (List DocumentChange)
- _changeAnnotations :: Maybe ChangeAnnotationMap
}
data ResourceOperationKind
- = ResourceOperationCreate
- | ResourceOperationRename
- | ResourceOperationDelete
data FailureHandlingKind
- = FailureHandlingAbort
- | FailureHandlingTransactional
- | FailureHandlingTextOnlyTransactional
- | FailureHandlingUndo
data WorkspaceEditChangeAnnotationClientCapabilities = WorkspaceEditChangeAnnotationClientCapabilities {
- groupsOnLabel :: Maybe Bool
}
data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {
- _documentChanges :: Maybe Bool
- _resourceOperations :: Maybe (List ResourceOperationKind)
- _failureHandling :: Maybe FailureHandlingKind
- _normalizesLineEndings :: Maybe Bool
- _changeAnnotationSupport :: Maybe WorkspaceEditChangeAnnotationClientCapabilities
}
data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
}
data ApplyWorkspaceEditResponseBody = ApplyWorkspaceEditResponseBody {
- _applied :: Bool
- _failureReason :: Maybe Text
- _failedChange :: Maybe UInt
}
applyTextEdit :: TextEdit -> Text -> Text
editTextEdit :: TextEdit -> TextEdit -> TextEdit
data WorkspaceFolder = WorkspaceFolder {
- _uri :: Text
- _name :: Text
}
data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {
- _added :: List WorkspaceFolder
- _removed :: List WorkspaceFolder
}
data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {
- _event :: WorkspaceFoldersChangeEvent
}
data WorkspaceSymbolKindClientCapabilities = WorkspaceSymbolKindClientCapabilities {
- _valueSet :: Maybe (List SymbolKind)
}
data WorkspaceSymbolTagClientCapabilities = WorkspaceSymbolTagClientCapabilities {
- _valueSet :: Maybe (List SymbolTag)
}
data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _symbolKind :: Maybe WorkspaceSymbolKindClientCapabilities
- _tagSupport :: Maybe WorkspaceSymbolTagClientCapabilities
}
data WorkspaceSymbolOptions = WorkspaceSymbolOptions {
- _workDoneProgress :: (Maybe Bool)
}
data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {
- _workDoneProgress :: (Maybe Bool)
}
data WorkspaceSymbolParams = WorkspaceSymbolParams {
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
- _query :: Text
}

Documentation

data CallHierarchyClientCapabilities Source #

Constructors

CallHierarchyClientCapabilities
Fields _dynamicRegistration :: Maybe Bool

Instances

Instances details

Eq CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyClientCapabilities -> CallHierarchyClientCapabilities -> Bool # (/=) :: CallHierarchyClientCapabilities -> CallHierarchyClientCapabilities -> Bool #
Read CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyClientCapabilities # readList :: ReadS [CallHierarchyClientCapabilities] # readPrec :: ReadPrec CallHierarchyClientCapabilities # readListPrec :: ReadPrec [CallHierarchyClientCapabilities] #
Show CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyClientCapabilities -> ShowS # show :: CallHierarchyClientCapabilities -> String # showList :: [CallHierarchyClientCapabilities] -> ShowS #
ToJSON CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyClientCapabilities -> Value # toEncoding :: CallHierarchyClientCapabilities -> Encoding # toJSONList :: [CallHierarchyClientCapabilities] -> Value # toEncodingList :: [CallHierarchyClientCapabilities] -> Encoding #
FromJSON CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyClientCapabilities # parseJSONList :: Value -> Parser [CallHierarchyClientCapabilities] #
HasDynamicRegistration CallHierarchyClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' CallHierarchyClientCapabilities (Maybe Bool) Source #
HasCallHierarchy TextDocumentClientCapabilities (Maybe CallHierarchyClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchy :: Lens' TextDocumentClientCapabilities (Maybe CallHierarchyClientCapabilities) Source #

data CallHierarchyOptions Source #

Constructors

CallHierarchyOptions
Fields _workDoneProgress :: (Maybe Bool)

Instances

Instances details

Eq CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOptions -> CallHierarchyOptions -> Bool # (/=) :: CallHierarchyOptions -> CallHierarchyOptions -> Bool #
Read CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyOptions # readList :: ReadS [CallHierarchyOptions] # readPrec :: ReadPrec CallHierarchyOptions # readListPrec :: ReadPrec [CallHierarchyOptions] #
Show CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyOptions -> ShowS # show :: CallHierarchyOptions -> String # showList :: [CallHierarchyOptions] -> ShowS #
ToJSON CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOptions -> Value # toEncoding :: CallHierarchyOptions -> Encoding # toJSONList :: [CallHierarchyOptions] -> Value # toEncodingList :: [CallHierarchyOptions] -> Encoding #
FromJSON CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOptions # parseJSONList :: Value -> Parser [CallHierarchyOptions] #
HasWorkDoneProgress CallHierarchyOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CallHierarchyOptions (Maybe Bool) Source #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #

data CallHierarchyRegistrationOptions Source #

Constructors

CallHierarchyRegistrationOptions
Fields _documentSelector :: (Maybe DocumentSelector) _workDoneProgress :: (Maybe Bool) _id :: (Maybe Text)

Instances

Instances details

Eq CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyRegistrationOptions -> CallHierarchyRegistrationOptions -> Bool # (/=) :: CallHierarchyRegistrationOptions -> CallHierarchyRegistrationOptions -> Bool #
Read CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyRegistrationOptions # readList :: ReadS [CallHierarchyRegistrationOptions] # readPrec :: ReadPrec CallHierarchyRegistrationOptions # readListPrec :: ReadPrec [CallHierarchyRegistrationOptions] #
Show CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyRegistrationOptions -> ShowS # show :: CallHierarchyRegistrationOptions -> String # showList :: [CallHierarchyRegistrationOptions] -> ShowS #
ToJSON CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyRegistrationOptions -> Value # toEncoding :: CallHierarchyRegistrationOptions -> Encoding # toJSONList :: [CallHierarchyRegistrationOptions] -> Value # toEncodingList :: [CallHierarchyRegistrationOptions] -> Encoding #
FromJSON CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyRegistrationOptions # parseJSONList :: Value -> Parser [CallHierarchyRegistrationOptions] #
HasWorkDoneProgress CallHierarchyRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CallHierarchyRegistrationOptions (Maybe Bool) Source #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasId CallHierarchyRegistrationOptions (Maybe Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods id :: Lens' CallHierarchyRegistrationOptions (Maybe Text) Source #
HasDocumentSelector CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #

data CallHierarchyPrepareParams Source #

Constructors

CallHierarchyPrepareParams
Fields _textDocument :: TextDocumentIdentifier _position :: Position _workDoneToken :: (Maybe ProgressToken)

Instances

Instances details

Eq CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyPrepareParams -> CallHierarchyPrepareParams -> Bool # (/=) :: CallHierarchyPrepareParams -> CallHierarchyPrepareParams -> Bool #
Read CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyPrepareParams # readList :: ReadS [CallHierarchyPrepareParams] # readPrec :: ReadPrec CallHierarchyPrepareParams # readListPrec :: ReadPrec [CallHierarchyPrepareParams] #
Show CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyPrepareParams -> ShowS # show :: CallHierarchyPrepareParams -> String # showList :: [CallHierarchyPrepareParams] -> ShowS #
ToJSON CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyPrepareParams -> Value # toEncoding :: CallHierarchyPrepareParams -> Encoding # toJSONList :: [CallHierarchyPrepareParams] -> Value # toEncodingList :: [CallHierarchyPrepareParams] -> Encoding #
FromJSON CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyPrepareParams # parseJSONList :: Value -> Parser [CallHierarchyPrepareParams] #
HasTextDocument CallHierarchyPrepareParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CallHierarchyPrepareParams TextDocumentIdentifier Source #
HasPosition CallHierarchyPrepareParams Position Source #
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' CallHierarchyPrepareParams Position Source #
HasWorkDoneToken CallHierarchyPrepareParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CallHierarchyPrepareParams (Maybe ProgressToken) Source #

data CallHierarchyItem Source #

Constructors

CallHierarchyItem

Fields

_name :: Text
_kind :: SymbolKind
_tags :: Maybe (List SymbolTag)
_detail :: Maybe Text
More detail for this item, e.g. the signature of a function.
_uri :: Uri
_range :: Range
_selectionRange :: Range
The range that should be selected and revealed when this symbol is being picked, e.g. the name of a function. Must be contained by the _range.
_xdata :: Maybe Value
A data entry field that is preserved between a call hierarchy prepare and incoming calls or outgoing calls requests.

Instances

Instances details

Eq CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyItem -> CallHierarchyItem -> Bool # (/=) :: CallHierarchyItem -> CallHierarchyItem -> Bool #
Read CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyItem # readList :: ReadS [CallHierarchyItem] # readPrec :: ReadPrec CallHierarchyItem # readListPrec :: ReadPrec [CallHierarchyItem] #
Show CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyItem -> ShowS # show :: CallHierarchyItem -> String # showList :: [CallHierarchyItem] -> ShowS #
ToJSON CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyItem -> Value # toEncoding :: CallHierarchyItem -> Encoding # toJSONList :: [CallHierarchyItem] -> Value # toEncodingList :: [CallHierarchyItem] -> Encoding #
FromJSON CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyItem # parseJSONList :: Value -> Parser [CallHierarchyItem] #
HasName CallHierarchyItem Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods name :: Lens' CallHierarchyItem Text Source #
HasKind CallHierarchyItem SymbolKind Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CallHierarchyItem SymbolKind Source #
HasUri CallHierarchyItem Uri Source #
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' CallHierarchyItem Uri Source #
HasRange CallHierarchyItem Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CallHierarchyItem Range Source #
HasSelectionRange CallHierarchyItem Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods selectionRange :: Lens' CallHierarchyItem Range Source #
HasItem CallHierarchyIncomingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyIncomingCallsParams CallHierarchyItem Source #
HasItem CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
HasFrom CallHierarchyIncomingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods from :: Lens' CallHierarchyIncomingCall CallHierarchyItem Source #
HasTo CallHierarchyOutgoingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods to :: Lens' CallHierarchyOutgoingCall CallHierarchyItem Source #
HasXdata CallHierarchyItem (Maybe Value) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' CallHierarchyItem (Maybe Value) Source #
HasTags CallHierarchyItem (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CallHierarchyItem (Maybe (List SymbolTag)) Source #
HasDetail CallHierarchyItem (Maybe Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods detail :: Lens' CallHierarchyItem (Maybe Text) Source #

data CallHierarchyIncomingCallsParams Source #

Constructors

CallHierarchyIncomingCallsParams
Fields _workDoneToken :: (Maybe ProgressToken) _partialResultToken :: (Maybe ProgressToken) _item :: CallHierarchyItem

Instances

Instances details

Eq CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyIncomingCallsParams -> CallHierarchyIncomingCallsParams -> Bool # (/=) :: CallHierarchyIncomingCallsParams -> CallHierarchyIncomingCallsParams -> Bool #
Read CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyIncomingCallsParams # readList :: ReadS [CallHierarchyIncomingCallsParams] # readPrec :: ReadPrec CallHierarchyIncomingCallsParams # readListPrec :: ReadPrec [CallHierarchyIncomingCallsParams] #
Show CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyIncomingCallsParams -> ShowS # show :: CallHierarchyIncomingCallsParams -> String # showList :: [CallHierarchyIncomingCallsParams] -> ShowS #
ToJSON CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyIncomingCallsParams -> Value # toEncoding :: CallHierarchyIncomingCallsParams -> Encoding # toJSONList :: [CallHierarchyIncomingCallsParams] -> Value # toEncodingList :: [CallHierarchyIncomingCallsParams] -> Encoding #
FromJSON CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyIncomingCallsParams # parseJSONList :: Value -> Parser [CallHierarchyIncomingCallsParams] #
HasItem CallHierarchyIncomingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyIncomingCallsParams CallHierarchyItem Source #
HasWorkDoneToken CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
HasPartialResultToken CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #

data CallHierarchyIncomingCall Source #

Constructors

CallHierarchyIncomingCall
Fields _from :: CallHierarchyItem The item that makes the call. _fromRanges :: List Range The ranges at which the calls appear. This is relative to the caller denoted by `_from`.

Instances

Instances details

Eq CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyIncomingCall -> CallHierarchyIncomingCall -> Bool # (/=) :: CallHierarchyIncomingCall -> CallHierarchyIncomingCall -> Bool #
Read CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyIncomingCall # readList :: ReadS [CallHierarchyIncomingCall] # readPrec :: ReadPrec CallHierarchyIncomingCall # readListPrec :: ReadPrec [CallHierarchyIncomingCall] #
Show CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyIncomingCall -> ShowS # show :: CallHierarchyIncomingCall -> String # showList :: [CallHierarchyIncomingCall] -> ShowS #
ToJSON CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyIncomingCall -> Value # toEncoding :: CallHierarchyIncomingCall -> Encoding # toJSONList :: [CallHierarchyIncomingCall] -> Value # toEncodingList :: [CallHierarchyIncomingCall] -> Encoding #
FromJSON CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyIncomingCall # parseJSONList :: Value -> Parser [CallHierarchyIncomingCall] #
HasFrom CallHierarchyIncomingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods from :: Lens' CallHierarchyIncomingCall CallHierarchyItem Source #
HasFromRanges CallHierarchyIncomingCall (List Range) Source #
Instance details Defined in Language.LSP.Types.Lens Methods fromRanges :: Lens' CallHierarchyIncomingCall (List Range) Source #

data CallHierarchyOutgoingCallsParams Source #

Constructors

CallHierarchyOutgoingCallsParams
Fields _workDoneToken :: (Maybe ProgressToken) _partialResultToken :: (Maybe ProgressToken) _item :: CallHierarchyItem

Instances

Instances details

Eq CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOutgoingCallsParams -> CallHierarchyOutgoingCallsParams -> Bool # (/=) :: CallHierarchyOutgoingCallsParams -> CallHierarchyOutgoingCallsParams -> Bool #
Read CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyOutgoingCallsParams # readList :: ReadS [CallHierarchyOutgoingCallsParams] # readPrec :: ReadPrec CallHierarchyOutgoingCallsParams # readListPrec :: ReadPrec [CallHierarchyOutgoingCallsParams] #
Show CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyOutgoingCallsParams -> ShowS # show :: CallHierarchyOutgoingCallsParams -> String # showList :: [CallHierarchyOutgoingCallsParams] -> ShowS #
ToJSON CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOutgoingCallsParams -> Value # toEncoding :: CallHierarchyOutgoingCallsParams -> Encoding # toJSONList :: [CallHierarchyOutgoingCallsParams] -> Value # toEncodingList :: [CallHierarchyOutgoingCallsParams] -> Encoding #
FromJSON CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOutgoingCallsParams # parseJSONList :: Value -> Parser [CallHierarchyOutgoingCallsParams] #
HasItem CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
HasWorkDoneToken CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
HasPartialResultToken CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #

data CallHierarchyOutgoingCall Source #

Constructors

CallHierarchyOutgoingCall
Fields _to :: CallHierarchyItem The item that is called. _fromRanges :: List Range The range at which this item is called. THis is the range relative to the caller, e.g the item passed to `callHierarchy/outgoingCalls` request.

Instances

Instances details

Eq CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOutgoingCall -> CallHierarchyOutgoingCall -> Bool # (/=) :: CallHierarchyOutgoingCall -> CallHierarchyOutgoingCall -> Bool #
Read CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods readsPrec :: Int -> ReadS CallHierarchyOutgoingCall # readList :: ReadS [CallHierarchyOutgoingCall] # readPrec :: ReadPrec CallHierarchyOutgoingCall # readListPrec :: ReadPrec [CallHierarchyOutgoingCall] #
Show CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods showsPrec :: Int -> CallHierarchyOutgoingCall -> ShowS # show :: CallHierarchyOutgoingCall -> String # showList :: [CallHierarchyOutgoingCall] -> ShowS #
ToJSON CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOutgoingCall -> Value # toEncoding :: CallHierarchyOutgoingCall -> Encoding # toJSONList :: [CallHierarchyOutgoingCall] -> Value # toEncodingList :: [CallHierarchyOutgoingCall] -> Encoding #
FromJSON CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOutgoingCall # parseJSONList :: Value -> Parser [CallHierarchyOutgoingCall] #
HasTo CallHierarchyOutgoingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods to :: Lens' CallHierarchyOutgoingCall CallHierarchyItem Source #
HasFromRanges CallHierarchyOutgoingCall (List Range) Source #
Instance details Defined in Language.LSP.Types.Lens Methods fromRanges :: Lens' CallHierarchyOutgoingCall (List Range) Source #

data CancelParams Source #

Constructors

forall m. CancelParams
Fields _id :: LspId m The request id to cancel.

Instances

Instances details

Eq CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods (==) :: CancelParams -> CancelParams -> Bool # (/=) :: CancelParams -> CancelParams -> Bool #
Read CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods readsPrec :: Int -> ReadS CancelParams # readList :: ReadS [CancelParams] # readPrec :: ReadPrec CancelParams # readListPrec :: ReadPrec [CancelParams] #
Show CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods showsPrec :: Int -> CancelParams -> ShowS # show :: CancelParams -> String # showList :: [CancelParams] -> ShowS #
ToJSON CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding #
FromJSON CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods parseJSON :: Value -> Parser CancelParams # parseJSONList :: Value -> Parser [CancelParams] #

data CodeActionKind Source #

Constructors

CodeActionEmpty	Empty kind.
CodeActionQuickFix	Base kind for quickfix actions: `quickfix`.
CodeActionRefactor	Base kind for refactoring actions: `refactor`.
CodeActionRefactorExtract	Base kind for refactoring extraction actions: `refactor.extract`. Example extract actions: Extract method Extract function Extract variable Extract interface from class ...
CodeActionRefactorInline	Base kind for refactoring inline actions: `refactor.inline`. Example inline actions: Inline function Inline variable Inline constant ...
CodeActionRefactorRewrite	Base kind for refactoring rewrite actions: `refactor.rewrite`. Example rewrite actions: Convert JavaScript function to class Add or remove parameter Encapsulate field Make method static Move method to base class ...
CodeActionSource	Base kind for source actions: `source`. Source code actions apply to the entire file.
CodeActionSourceOrganizeImports	Base kind for an organize imports source action: `source.organizeImports`.
CodeActionUnknown Text

Instances

Instances details

Eq CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionKind -> CodeActionKind -> Bool # (/=) :: CodeActionKind -> CodeActionKind -> Bool #
Read CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionKind # readList :: ReadS [CodeActionKind] # readPrec :: ReadPrec CodeActionKind # readListPrec :: ReadPrec [CodeActionKind] #
Show CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionKind -> ShowS # show :: CodeActionKind -> String # showList :: [CodeActionKind] -> ShowS #
IsString CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods fromString :: String -> CodeActionKind #
ToJSON CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionKind -> Value # toEncoding :: CodeActionKind -> Encoding # toJSONList :: [CodeActionKind] -> Value # toEncodingList :: [CodeActionKind] -> Encoding #
FromJSON CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionKind # parseJSONList :: Value -> Parser [CodeActionKind] #
HasKind CodeAction (Maybe CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CodeAction (Maybe CodeActionKind) Source #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (List CodeActionKind) Source #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) Source #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #

fromHierarchicalString :: Text -> CodeActionKind Source #

toHierarchicalString :: CodeActionKind -> Text Source #

codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool Source #

Does the first CodeActionKind subsume the other one, hierarchically. Reflexive.

specCodeActionKinds :: [CodeActionKind] Source #

The CodeActionKinds listed in the LSP spec specifically.

data CodeActionKindClientCapabilities Source #

Constructors

CodeActionKindClientCapabilities
Fields _valueSet :: List CodeActionKind The code action kind values the client supports. When this property exists the client also guarantees that it will handle values outside its set gracefully and falls back to a default value when unknown.

Instances

Instances details

Eq CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionKindClientCapabilities -> CodeActionKindClientCapabilities -> Bool # (/=) :: CodeActionKindClientCapabilities -> CodeActionKindClientCapabilities -> Bool #
Read CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionKindClientCapabilities # readList :: ReadS [CodeActionKindClientCapabilities] # readPrec :: ReadPrec CodeActionKindClientCapabilities # readListPrec :: ReadPrec [CodeActionKindClientCapabilities] #
Show CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionKindClientCapabilities -> ShowS # show :: CodeActionKindClientCapabilities -> String # showList :: [CodeActionKindClientCapabilities] -> ShowS #
ToJSON CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionKindClientCapabilities -> Value # toEncoding :: CodeActionKindClientCapabilities -> Encoding # toJSONList :: [CodeActionKindClientCapabilities] -> Value # toEncodingList :: [CodeActionKindClientCapabilities] -> Encoding #
FromJSON CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionKindClientCapabilities # parseJSONList :: Value -> Parser [CodeActionKindClientCapabilities] #
Default CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods def :: CodeActionKindClientCapabilities #
HasCodeActionKind CodeActionLiteralSupport CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKind :: Lens' CodeActionLiteralSupport CodeActionKindClientCapabilities Source #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (List CodeActionKind) Source #

data CodeActionLiteralSupport Source #

Constructors

CodeActionLiteralSupport
Fields _codeActionKind :: CodeActionKindClientCapabilities The code action kind is support with the following value set.

Instances

Instances details

Eq CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionLiteralSupport -> CodeActionLiteralSupport -> Bool # (/=) :: CodeActionLiteralSupport -> CodeActionLiteralSupport -> Bool #
Read CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionLiteralSupport # readList :: ReadS [CodeActionLiteralSupport] # readPrec :: ReadPrec CodeActionLiteralSupport # readListPrec :: ReadPrec [CodeActionLiteralSupport] #
Show CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionLiteralSupport -> ShowS # show :: CodeActionLiteralSupport -> String # showList :: [CodeActionLiteralSupport] -> ShowS #
ToJSON CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionLiteralSupport -> Value # toEncoding :: CodeActionLiteralSupport -> Encoding # toJSONList :: [CodeActionLiteralSupport] -> Value # toEncodingList :: [CodeActionLiteralSupport] -> Encoding #
FromJSON CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionLiteralSupport # parseJSONList :: Value -> Parser [CodeActionLiteralSupport] #
HasCodeActionKind CodeActionLiteralSupport CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKind :: Lens' CodeActionLiteralSupport CodeActionKindClientCapabilities Source #
HasCodeActionLiteralSupport CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionLiteralSupport :: Lens' CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #

data CodeActionResolveClientCapabilities Source #

Constructors

CodeActionResolveClientCapabilities
Fields _properties :: List Text The properties that a client can resolve lazily.

Instances

Instances details

Eq CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionResolveClientCapabilities -> CodeActionResolveClientCapabilities -> Bool # (/=) :: CodeActionResolveClientCapabilities -> CodeActionResolveClientCapabilities -> Bool #
Read CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionResolveClientCapabilities # readList :: ReadS [CodeActionResolveClientCapabilities] # readPrec :: ReadPrec CodeActionResolveClientCapabilities # readListPrec :: ReadPrec [CodeActionResolveClientCapabilities] #
Show CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionResolveClientCapabilities -> ShowS # show :: CodeActionResolveClientCapabilities -> String # showList :: [CodeActionResolveClientCapabilities] -> ShowS #
ToJSON CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionResolveClientCapabilities -> Value # toEncoding :: CodeActionResolveClientCapabilities -> Encoding # toJSONList :: [CodeActionResolveClientCapabilities] -> Value # toEncodingList :: [CodeActionResolveClientCapabilities] -> Encoding #
FromJSON CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionResolveClientCapabilities # parseJSONList :: Value -> Parser [CodeActionResolveClientCapabilities] #
HasProperties CodeActionResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CodeActionResolveClientCapabilities (List Text) Source #
HasResolveSupport CodeActionClientCapabilities (Maybe CodeActionResolveClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveSupport :: Lens' CodeActionClientCapabilities (Maybe CodeActionResolveClientCapabilities) Source #

data CodeActionClientCapabilities Source #

Constructors

CodeActionClientCapabilities

Fields

_dynamicRegistration :: Maybe Bool
Whether code action supports dynamic registration.
_codeActionLiteralSupport :: Maybe CodeActionLiteralSupport
The client support code action literals as a valid response of the `textDocument/codeAction` request. Since 3.8.0
_isPreferredSupport :: Maybe Bool
Whether code action supports the isPreferred property. Since LSP 3.15.0
_disabledSupport :: Maybe Bool
Whether code action supports the disabled property.
Since: 3.16.0
_dataSupport :: Maybe Bool
Whether code action supports the `data` property which is preserved between a `textDocument/codeAction` and a `codeAction/resolve` request.
Since: 3.16.0
_resolveSupport :: Maybe CodeActionResolveClientCapabilities
Whether the client supports resolving additional code action properties via a separate `codeAction/resolve` request.
Since: 3.16.0
_honorsChangeAnnotations :: Maybe Bool
Whether the client honors the change annotations in text edits and resource operations returned via the `CodeAction#edit` property by for example presenting the workspace edit in the user interface and asking for confirmation.
Since: 3.16.0

Instances

Instances details

Eq CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionClientCapabilities -> CodeActionClientCapabilities -> Bool # (/=) :: CodeActionClientCapabilities -> CodeActionClientCapabilities -> Bool #
Read CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionClientCapabilities # readList :: ReadS [CodeActionClientCapabilities] # readPrec :: ReadPrec CodeActionClientCapabilities # readListPrec :: ReadPrec [CodeActionClientCapabilities] #
Show CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionClientCapabilities -> ShowS # show :: CodeActionClientCapabilities -> String # showList :: [CodeActionClientCapabilities] -> ShowS #
ToJSON CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionClientCapabilities -> Value # toEncoding :: CodeActionClientCapabilities -> Encoding # toJSONList :: [CodeActionClientCapabilities] -> Value # toEncodingList :: [CodeActionClientCapabilities] -> Encoding #
FromJSON CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionClientCapabilities # parseJSONList :: Value -> Parser [CodeActionClientCapabilities] #
HasDynamicRegistration CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' CodeActionClientCapabilities (Maybe Bool) Source #
HasResolveSupport CodeActionClientCapabilities (Maybe CodeActionResolveClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveSupport :: Lens' CodeActionClientCapabilities (Maybe CodeActionResolveClientCapabilities) Source #
HasIsPreferredSupport CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods isPreferredSupport :: Lens' CodeActionClientCapabilities (Maybe Bool) Source #
HasHonorsChangeAnnotations CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods honorsChangeAnnotations :: Lens' CodeActionClientCapabilities (Maybe Bool) Source #
HasDisabledSupport CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods disabledSupport :: Lens' CodeActionClientCapabilities (Maybe Bool) Source #
HasDataSupport CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dataSupport :: Lens' CodeActionClientCapabilities (Maybe Bool) Source #
HasCodeActionLiteralSupport CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionLiteralSupport :: Lens' CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #
HasCodeAction TextDocumentClientCapabilities (Maybe CodeActionClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeAction :: Lens' TextDocumentClientCapabilities (Maybe CodeActionClientCapabilities) Source #

data CodeActionOptions Source #

Constructors

CodeActionOptions
Fields _workDoneProgress :: (Maybe Bool) _codeActionKinds :: (Maybe (List CodeActionKind)) _resolveProvider :: (Maybe Bool)

Instances

Instances details

Eq CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionOptions -> CodeActionOptions -> Bool # (/=) :: CodeActionOptions -> CodeActionOptions -> Bool #
Read CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionOptions # readList :: ReadS [CodeActionOptions] # readPrec :: ReadPrec CodeActionOptions # readListPrec :: ReadPrec [CodeActionOptions] #
Show CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionOptions -> ShowS # show :: CodeActionOptions -> String # showList :: [CodeActionOptions] -> ShowS #
ToJSON CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionOptions -> Value # toEncoding :: CodeActionOptions -> Encoding # toJSONList :: [CodeActionOptions] -> Value # toEncodingList :: [CodeActionOptions] -> Encoding #
FromJSON CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionOptions # parseJSONList :: Value -> Parser [CodeActionOptions] #
HasWorkDoneProgress CodeActionOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeActionOptions (Maybe Bool) Source #
HasCodeActionProvider ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
HasResolveProvider CodeActionOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeActionOptions (Maybe Bool) Source #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) Source #

data CodeActionRegistrationOptions Source #

Constructors

CodeActionRegistrationOptions
Fields _documentSelector :: (Maybe DocumentSelector) _workDoneProgress :: (Maybe Bool) _codeActionKinds :: (Maybe (List CodeActionKind)) _resolveProvider :: (Maybe Bool)

Instances

Instances details

Eq CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionRegistrationOptions -> CodeActionRegistrationOptions -> Bool # (/=) :: CodeActionRegistrationOptions -> CodeActionRegistrationOptions -> Bool #
Read CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionRegistrationOptions # readList :: ReadS [CodeActionRegistrationOptions] # readPrec :: ReadPrec CodeActionRegistrationOptions # readListPrec :: ReadPrec [CodeActionRegistrationOptions] #
Show CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionRegistrationOptions -> ShowS # show :: CodeActionRegistrationOptions -> String # showList :: [CodeActionRegistrationOptions] -> ShowS #
ToJSON CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionRegistrationOptions -> Value # toEncoding :: CodeActionRegistrationOptions -> Encoding # toJSONList :: [CodeActionRegistrationOptions] -> Value # toEncodingList :: [CodeActionRegistrationOptions] -> Encoding #
FromJSON CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionRegistrationOptions # parseJSONList :: Value -> Parser [CodeActionRegistrationOptions] #
HasWorkDoneProgress CodeActionRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeActionRegistrationOptions (Maybe Bool) Source #
HasResolveProvider CodeActionRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeActionRegistrationOptions (Maybe Bool) Source #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #

data CodeActionContext Source #

Contains additional diagnostic information about the context in which a code action is run.

Constructors

CodeActionContext

Fields

_diagnostics :: List Diagnostic
An array of diagnostics known on the client side overlapping the range provided to the textDocument/codeAction request. They are provided so that the server knows which errors are currently presented to the user for the given range. There is no guarantee that these accurately reflect the error state of the resource. The primary parameter to compute code actions is the provided range.
_only :: Maybe (List CodeActionKind)
Requested kind of actions to return.
Actions not of this kind are filtered out by the client before being shown. So servers can omit computing them.

Instances

Instances details

Eq CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionContext -> CodeActionContext -> Bool # (/=) :: CodeActionContext -> CodeActionContext -> Bool #
Read CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionContext # readList :: ReadS [CodeActionContext] # readPrec :: ReadPrec CodeActionContext # readListPrec :: ReadPrec [CodeActionContext] #
Show CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionContext -> ShowS # show :: CodeActionContext -> String # showList :: [CodeActionContext] -> ShowS #
ToJSON CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionContext -> Value # toEncoding :: CodeActionContext -> Encoding # toJSONList :: [CodeActionContext] -> Value # toEncodingList :: [CodeActionContext] -> Encoding #
FromJSON CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionContext # parseJSONList :: Value -> Parser [CodeActionContext] #
HasContext CodeActionParams CodeActionContext Source #
Instance details Defined in Language.LSP.Types.Lens Methods context :: Lens' CodeActionParams CodeActionContext Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #
HasDiagnostics CodeActionContext (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) Source #

data CodeActionParams Source #

Constructors

CodeActionParams
Fields _workDoneToken :: (Maybe ProgressToken) _partialResultToken :: (Maybe ProgressToken) _textDocument :: TextDocumentIdentifier _range :: Range _context :: CodeActionContext

Instances

Instances details

Eq CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionParams -> CodeActionParams -> Bool # (/=) :: CodeActionParams -> CodeActionParams -> Bool #
Read CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeActionParams # readList :: ReadS [CodeActionParams] # readPrec :: ReadPrec CodeActionParams # readListPrec :: ReadPrec [CodeActionParams] #
Show CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeActionParams -> ShowS # show :: CodeActionParams -> String # showList :: [CodeActionParams] -> ShowS #
ToJSON CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionParams -> Value # toEncoding :: CodeActionParams -> Encoding # toJSONList :: [CodeActionParams] -> Value # toEncodingList :: [CodeActionParams] -> Encoding #
FromJSON CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionParams # parseJSONList :: Value -> Parser [CodeActionParams] #
HasTextDocument CodeActionParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CodeActionParams TextDocumentIdentifier Source #
HasRange CodeActionParams Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeActionParams Range Source #
HasContext CodeActionParams CodeActionContext Source #
Instance details Defined in Language.LSP.Types.Lens Methods context :: Lens' CodeActionParams CodeActionContext Source #
HasWorkDoneToken CodeActionParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CodeActionParams (Maybe ProgressToken) Source #
HasPartialResultToken CodeActionParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CodeActionParams (Maybe ProgressToken) Source #

newtype Reason Source #

Constructors

Reason
Fields _reason :: Text

Instances

Instances details

Eq Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: Reason -> Reason -> Bool # (/=) :: Reason -> Reason -> Bool #
Read Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS Reason # readList :: ReadS [Reason] # readPrec :: ReadPrec Reason # readListPrec :: ReadPrec [Reason] #
Show Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> Reason -> ShowS # show :: Reason -> String # showList :: [Reason] -> ShowS #
ToJSON Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: Reason -> Value # toEncoding :: Reason -> Encoding # toJSONList :: [Reason] -> Value # toEncodingList :: [Reason] -> Encoding #
FromJSON Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser Reason # parseJSONList :: Value -> Parser [Reason] #
HasDisabled CodeAction (Maybe Reason) Source #
Instance details Defined in Language.LSP.Types.Lens Methods disabled :: Lens' CodeAction (Maybe Reason) Source #

data CodeAction Source #

A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code.

A CodeAction must set either $sel:_edit:CodeAction and/or a $sel:_command:CodeAction. If both are supplied, the $sel:_edit:CodeAction is applied first, then the $sel:_command:CodeAction is executed.

Constructors

CodeAction

Fields

_title :: Text
A short, human-readable, title for this code action.
_kind :: Maybe CodeActionKind
The kind of the code action. Used to filter code actions.
_diagnostics :: Maybe (List Diagnostic)
The diagnostics that this code action resolves.
_isPreferred :: Maybe Bool
Marks this as a preferred action. Preferred actions are used by the `auto fix` command and can be targeted by keybindings.
A quick fix should be marked preferred if it properly addresses the underlying error. A refactoring should be marked preferred if it is the most reasonable choice of actions to take.
Since LSP 3.15.0
_disabled :: Maybe Reason
Marks that the code action cannot currently be applied. | The workspace edit this code action performs.
_edit :: Maybe WorkspaceEdit
_command :: Maybe Command
A command this code action executes. If a code action provides an edit and a command, first the edit is executed and then the command.
_xdata :: Maybe Value
A data entry field that is preserved on a code action between a `textDocumentcodeAction` and a `codeActionresolve` request.
Since: 3.16.0

Instances

Instances details

Eq CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeAction -> CodeAction -> Bool # (/=) :: CodeAction -> CodeAction -> Bool #
Read CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods readsPrec :: Int -> ReadS CodeAction # readList :: ReadS [CodeAction] # readPrec :: ReadPrec CodeAction # readListPrec :: ReadPrec [CodeAction] #
Show CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods showsPrec :: Int -> CodeAction -> ShowS # show :: CodeAction -> String # showList :: [CodeAction] -> ShowS #
ToJSON CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeAction -> Value # toEncoding :: CodeAction -> Encoding # toJSONList :: [CodeAction] -> Value # toEncodingList :: [CodeAction] -> Encoding #
FromJSON CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeAction # parseJSONList :: Value -> Parser [CodeAction] #
HasTitle CodeAction Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods title :: Lens' CodeAction Text Source #
HasEdit CodeAction (Maybe WorkspaceEdit) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edit :: Lens' CodeAction (Maybe WorkspaceEdit) Source #
HasKind CodeAction (Maybe CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CodeAction (Maybe CodeActionKind) Source #
HasXdata CodeAction (Maybe Value) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' CodeAction (Maybe Value) Source #
HasCommand CodeAction (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeAction (Maybe Command) Source #
HasDiagnostics CodeAction (Maybe (List Diagnostic)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) Source #
HasIsPreferred CodeAction (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods isPreferred :: Lens' CodeAction (Maybe Bool) Source #
HasDisabled CodeAction (Maybe Reason) Source #
Instance details Defined in Language.LSP.Types.Lens Methods disabled :: Lens' CodeAction (Maybe Reason) Source #

data CodeLensClientCapabilities Source #

Constructors

CodeLensClientCapabilities
Fields _dynamicRegistration :: Maybe Bool Whether code lens supports dynamic registration.

Instances

Instances details

Eq CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensClientCapabilities -> CodeLensClientCapabilities -> Bool # (/=) :: CodeLensClientCapabilities -> CodeLensClientCapabilities -> Bool #
Read CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods readsPrec :: Int -> ReadS CodeLensClientCapabilities # readList :: ReadS [CodeLensClientCapabilities] # readPrec :: ReadPrec CodeLensClientCapabilities # readListPrec :: ReadPrec [CodeLensClientCapabilities] #
Show CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods showsPrec :: Int -> CodeLensClientCapabilities -> ShowS # show :: CodeLensClientCapabilities -> String # showList :: [CodeLensClientCapabilities] -> ShowS #
ToJSON CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensClientCapabilities -> Value # toEncoding :: CodeLensClientCapabilities -> Encoding # toJSONList :: [CodeLensClientCapabilities] -> Value # toEncodingList :: [CodeLensClientCapabilities] -> Encoding #
FromJSON CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensClientCapabilities # parseJSONList :: Value -> Parser [CodeLensClientCapabilities] #
HasDynamicRegistration CodeLensClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' CodeLensClientCapabilities (Maybe Bool) Source #
HasCodeLens TextDocumentClientCapabilities (Maybe CodeLensClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeLens :: Lens' TextDocumentClientCapabilities (Maybe CodeLensClientCapabilities) Source #

data CodeLensOptions Source #

Constructors

CodeLensOptions
Fields _workDoneProgress :: (Maybe Bool) _resolveProvider :: (Maybe Bool)

Instances

Instances details

Eq CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensOptions -> CodeLensOptions -> Bool # (/=) :: CodeLensOptions -> CodeLensOptions -> Bool #
Read CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods readsPrec :: Int -> ReadS CodeLensOptions # readList :: ReadS [CodeLensOptions] # readPrec :: ReadPrec CodeLensOptions # readListPrec :: ReadPrec [CodeLensOptions] #
Show CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods showsPrec :: Int -> CodeLensOptions -> ShowS # show :: CodeLensOptions -> String # showList :: [CodeLensOptions] -> ShowS #
ToJSON CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensOptions -> Value # toEncoding :: CodeLensOptions -> Encoding # toJSONList :: [CodeLensOptions] -> Value # toEncodingList :: [CodeLensOptions] -> Encoding #
FromJSON CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensOptions # parseJSONList :: Value -> Parser [CodeLensOptions] #
HasWorkDoneProgress CodeLensOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeLensOptions (Maybe Bool) Source #
HasCodeLensProvider ServerCapabilities (Maybe CodeLensOptions) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeLensProvider :: Lens' ServerCapabilities (Maybe CodeLensOptions) Source #
HasResolveProvider CodeLensOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeLensOptions (Maybe Bool) Source #

data CodeLensRegistrationOptions Source #

Constructors

CodeLensRegistrationOptions
Fields _documentSelector :: (Maybe DocumentSelector) _workDoneProgress :: (Maybe Bool) _resolveProvider :: (Maybe Bool)

Instances

Instances details

Eq CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensRegistrationOptions -> CodeLensRegistrationOptions -> Bool # (/=) :: CodeLensRegistrationOptions -> CodeLensRegistrationOptions -> Bool #
Read CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods readsPrec :: Int -> ReadS CodeLensRegistrationOptions # readList :: ReadS [CodeLensRegistrationOptions] # readPrec :: ReadPrec CodeLensRegistrationOptions # readListPrec :: ReadPrec [CodeLensRegistrationOptions] #
Show CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods showsPrec :: Int -> CodeLensRegistrationOptions -> ShowS # show :: CodeLensRegistrationOptions -> String # showList :: [CodeLensRegistrationOptions] -> ShowS #
ToJSON CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensRegistrationOptions -> Value # toEncoding :: CodeLensRegistrationOptions -> Encoding # toJSONList :: [CodeLensRegistrationOptions] -> Value # toEncodingList :: [CodeLensRegistrationOptions] -> Encoding #
FromJSON CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensRegistrationOptions # parseJSONList :: Value -> Parser [CodeLensRegistrationOptions] #
HasWorkDoneProgress CodeLensRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeLensRegistrationOptions (Maybe Bool) Source #
HasResolveProvider CodeLensRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeLensRegistrationOptions (Maybe Bool) Source #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) Source #

data CodeLensParams Source #

Constructors

CodeLensParams
Fields _workDoneToken :: (Maybe ProgressToken) _partialResultToken :: (Maybe ProgressToken) _textDocument :: TextDocumentIdentifier

Instances

Instances details

Eq CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensParams -> CodeLensParams -> Bool # (/=) :: CodeLensParams -> CodeLensParams -> Bool #
Read CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods readsPrec :: Int -> ReadS CodeLensParams # readList :: ReadS [CodeLensParams] # readPrec :: ReadPrec CodeLensParams # readListPrec :: ReadPrec [CodeLensParams] #
Show CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods showsPrec :: Int -> CodeLensParams -> ShowS # show :: CodeLensParams -> String # showList :: [CodeLensParams] -> ShowS #
ToJSON CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensParams -> Value # toEncoding :: CodeLensParams -> Encoding # toJSONList :: [CodeLensParams] -> Value # toEncodingList :: [CodeLensParams] -> Encoding #
FromJSON CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensParams # parseJSONList :: Value -> Parser [CodeLensParams] #
HasTextDocument CodeLensParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CodeLensParams TextDocumentIdentifier Source #
HasWorkDoneToken CodeLensParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CodeLensParams (Maybe ProgressToken) Source #
HasPartialResultToken CodeLensParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CodeLensParams (Maybe ProgressToken) Source #

data CodeLens Source #

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
Fields _range :: Range The range in which this code lens is valid. Should only span a single line. _command :: Maybe Command The command this code lens represents. _xdata :: Maybe Value A data entry field that is preserved on a code lens item between a code lens and a code lens resolve request.

Instances

Instances details

Eq CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLens -> CodeLens -> Bool # (/=) :: CodeLens -> CodeLens -> Bool #
Read CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods readsPrec :: Int -> ReadS CodeLens # readList :: ReadS [CodeLens] # readPrec :: ReadPrec CodeLens # readListPrec :: ReadPrec [CodeLens] #
Show CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods showsPrec :: Int -> CodeLens -> ShowS # show :: CodeLens -> String # showList :: [CodeLens] -> ShowS #
ToJSON CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLens -> Value # toEncoding :: CodeLens -> Encoding # toJSONList :: [CodeLens] -> Value # toEncodingList :: [CodeLens] -> Encoding #
FromJSON CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLens # parseJSONList :: Value -> Parser [CodeLens] #
HasRange CodeLens Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeLens Range Source #
HasXdata CodeLens (Maybe Value) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' CodeLens (Maybe Value) Source #
HasCommand CodeLens (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeLens (Maybe Command) Source #

data ExecuteCommandClientCapabilities Source #

Constructors

ExecuteCommandClientCapabilities
Fields _dynamicRegistration :: Maybe Bool Execute command supports dynamic registration.

Instances

Instances details

Eq ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandClientCapabilities -> ExecuteCommandClientCapabilities -> Bool # (/=) :: ExecuteCommandClientCapabilities -> ExecuteCommandClientCapabilities -> Bool #
Read ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods readsPrec :: Int -> ReadS ExecuteCommandClientCapabilities # readList :: ReadS [ExecuteCommandClientCapabilities] # readPrec :: ReadPrec ExecuteCommandClientCapabilities # readListPrec :: ReadPrec [ExecuteCommandClientCapabilities] #
Show ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods showsPrec :: Int -> ExecuteCommandClientCapabilities -> ShowS # show :: ExecuteCommandClientCapabilities -> String # showList :: [ExecuteCommandClientCapabilities] -> ShowS #
ToJSON ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandClientCapabilities -> Value # toEncoding :: ExecuteCommandClientCapabilities -> Encoding # toJSONList :: [ExecuteCommandClientCapabilities] -> Value # toEncodingList :: [ExecuteCommandClientCapabilities] -> Encoding #
FromJSON ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandClientCapabilities # parseJSONList :: Value -> Parser [ExecuteCommandClientCapabilities] #
HasExecuteCommand WorkspaceClientCapabilities (Maybe ExecuteCommandClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods executeCommand :: Lens' WorkspaceClientCapabilities (Maybe ExecuteCommandClientCapabilities) Source #
HasDynamicRegistration ExecuteCommandClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' ExecuteCommandClientCapabilities (Maybe Bool) Source #

data ExecuteCommandOptions Source #

Constructors

ExecuteCommandOptions
Fields _workDoneProgress :: (Maybe Bool) _commands :: (List Text)

Instances

Instances details

Eq ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandOptions -> ExecuteCommandOptions -> Bool # (/=) :: ExecuteCommandOptions -> ExecuteCommandOptions -> Bool #
Read ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods readsPrec :: Int -> ReadS ExecuteCommandOptions # readList :: ReadS [ExecuteCommandOptions] # readPrec :: ReadPrec ExecuteCommandOptions # readListPrec :: ReadPrec [ExecuteCommandOptions] #
Show ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods showsPrec :: Int -> ExecuteCommandOptions -> ShowS # show :: ExecuteCommandOptions -> String # showList :: [ExecuteCommandOptions] -> ShowS #
ToJSON ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandOptions -> Value # toEncoding :: ExecuteCommandOptions -> Encoding # toJSONList :: [ExecuteCommandOptions] -> Value # toEncodingList :: [ExecuteCommandOptions] -> Encoding #
FromJSON ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandOptions # parseJSONList :: Value -> Parser [ExecuteCommandOptions] #
HasWorkDoneProgress ExecuteCommandOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' ExecuteCommandOptions (Maybe Bool) Source #
HasExecuteCommandProvider ServerCapabilities (Maybe ExecuteCommandOptions) Source #
Instance details Defined in Language.LSP.Types.Lens Methods executeCommandProvider :: Lens' ServerCapabilities (Maybe ExecuteCommandOptions) Source #
HasCommands ExecuteCommandOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandOptions (List Text) Source #

data ExecuteCommandRegistrationOptions Source #

Constructors

ExecuteCommandRegistrationOptions
Fields _workDoneProgress :: (Maybe Bool) _commands :: (List Text)

Instances

Instances details

Eq ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandRegistrationOptions -> ExecuteCommandRegistrationOptions -> Bool # (/=) :: ExecuteCommandRegistrationOptions -> ExecuteCommandRegistrationOptions -> Bool #
Read ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods readsPrec :: Int -> ReadS ExecuteCommandRegistrationOptions # readList :: ReadS [ExecuteCommandRegistrationOptions] # readPrec :: ReadPrec ExecuteCommandRegistrationOptions # readListPrec :: ReadPrec [ExecuteCommandRegistrationOptions] #
Show ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods showsPrec :: Int -> ExecuteCommandRegistrationOptions -> ShowS # show :: ExecuteCommandRegistrationOptions -> String # showList :: [ExecuteCommandRegistrationOptions] -> ShowS #
ToJSON ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandRegistrationOptions -> Value # toEncoding :: ExecuteCommandRegistrationOptions -> Encoding # toJSONList :: [ExecuteCommandRegistrationOptions] -> Value # toEncodingList :: [ExecuteCommandRegistrationOptions] -> Encoding #
FromJSON ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandRegistrationOptions # parseJSONList :: Value -> Parser [ExecuteCommandRegistrationOptions] #
HasWorkDoneProgress ExecuteCommandRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' ExecuteCommandRegistrationOptions (Maybe Bool) Source #
HasCommands ExecuteCommandRegistrationOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandRegistrationOptions (List Text) Source #

data ExecuteCommandParams Source #

Constructors

ExecuteCommandParams
Fields _workDoneToken :: (Maybe ProgressToken) _command :: Text _arguments :: (Maybe (List Value))

Instances

Instances details

Eq ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandParams -> ExecuteCommandParams -> Bool # (/=) :: ExecuteCommandParams -> ExecuteCommandParams -> Bool #
Read ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods readsPrec :: Int -> ReadS ExecuteCommandParams # readList :: ReadS [ExecuteCommandParams] # readPrec :: ReadPrec ExecuteCommandParams # readListPrec :: ReadPrec [ExecuteCommandParams] #
Show ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods showsPrec :: Int -> ExecuteCommandParams -> ShowS # show :: ExecuteCommandParams -> String # showList :: [ExecuteCommandParams] -> ShowS #
ToJSON ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandParams -> Value # toEncoding :: ExecuteCommandParams -> Encoding # toJSONList :: [ExecuteCommandParams] -> Value # toEncodingList :: [ExecuteCommandParams] -> Encoding #
FromJSON ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandParams # parseJSONList :: Value -> Parser [ExecuteCommandParams] #
HasCommand ExecuteCommandParams Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' ExecuteCommandParams Text Source #
HasWorkDoneToken ExecuteCommandParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' ExecuteCommandParams (Maybe ProgressToken) Source #
HasArguments ExecuteCommandParams (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' ExecuteCommandParams (Maybe (List Value)) Source #

data Command Source #

Constructors

Command
Fields _title :: Text Title of the command, like `save`. _command :: Text The identifier of the actual command handler. _arguments :: Maybe (List Value) Arguments that the command handler should be invoked with.

Instances

Instances details

Eq Command Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Read Command Source #
Instance details Defined in Language.LSP.Types.Command Methods readsPrec :: Int -> ReadS Command # readList :: ReadS [Command] # readPrec :: ReadPrec Command # readListPrec :: ReadPrec [Command] #
Show Command Source #
Instance details Defined in Language.LSP.Types.Command Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
ToJSON Command Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: Command -> Value # toEncoding :: Command -> Encoding # toJSONList :: [Command] -> Value # toEncodingList :: [Command] -> Encoding #
FromJSON Command Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser Command # parseJSONList :: Value -> Parser [Command] #
HasCommand Command Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' Command Text Source #
HasTitle Command Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods title :: Lens' Command Text Source #
HasCommand CodeLens (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeLens (Maybe Command) Source #
HasCommand CompletionItem (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CompletionItem (Maybe Command) Source #
HasCommand CodeAction (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeAction (Maybe Command) Source #
HasArguments Command (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' Command (Maybe (List Value)) Source #

data a |? b infixr 9 Source #

A terser, isomorphic data type for Either, that does not get tagged when converting to and from JSON.

Constructors

InL a
InR b

Instances

Instances details

HasChangeNotifications WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changeNotifications :: Lens' WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
HasTypeDefinitionProvider ServerCapabilities (Maybe (Bool \|? (TypeDefinitionOptions \|? TypeDefinitionRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods typeDefinitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (TypeDefinitionOptions \|? TypeDefinitionRegistrationOptions))) Source #
HasTextDocumentSync ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocumentSync :: Lens' ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
HasSemanticTokensProvider ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods semanticTokensProvider :: Lens' ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
HasSelectionRangeProvider ServerCapabilities (Maybe (Bool \|? (SelectionRangeOptions \|? SelectionRangeRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods selectionRangeProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (SelectionRangeOptions \|? SelectionRangeRegistrationOptions))) Source #
HasRenameProvider ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods renameProvider :: Lens' ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
HasReferencesProvider ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods referencesProvider :: Lens' ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
HasImplementationProvider ServerCapabilities (Maybe (Bool \|? (ImplementationOptions \|? ImplementationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods implementationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (ImplementationOptions \|? ImplementationRegistrationOptions))) Source #
HasHoverProvider ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods hoverProvider :: Lens' ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
HasFoldingRangeProvider ServerCapabilities (Maybe (Bool \|? (FoldingRangeOptions \|? FoldingRangeRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods foldingRangeProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (FoldingRangeOptions \|? FoldingRangeRegistrationOptions))) Source #
HasDocumentSymbolProvider ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
HasDocumentRangeFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentRangeFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
HasDocumentHighlightProvider ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentHighlightProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
HasDocumentFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
HasDefinitionProvider ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods definitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
HasDeclarationProvider ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods declarationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
HasColorProvider ServerCapabilities (Maybe (Bool \|? (DocumentColorOptions \|? DocumentColorRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods colorProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DocumentColorOptions \|? DocumentColorRegistrationOptions))) Source #
HasCodeActionProvider ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasCode Diagnostic (Maybe (Int32 \|? Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods code :: Lens' Diagnostic (Maybe (Int32 \|? Text)) Source #
HasSave TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods save :: Lens' TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
(Eq a, Eq b) => Eq (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods (==) :: (a \|? b) -> (a \|? b) -> Bool # (/=) :: (a \|? b) -> (a \|? b) -> Bool #
(Ord a, Ord b) => Ord (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods compare :: (a \|? b) -> (a \|? b) -> Ordering # (<) :: (a \|? b) -> (a \|? b) -> Bool # (<=) :: (a \|? b) -> (a \|? b) -> Bool # (>) :: (a \|? b) -> (a \|? b) -> Bool # (>=) :: (a \|? b) -> (a \|? b) -> Bool # max :: (a \|? b) -> (a \|? b) -> a \|? b # min :: (a \|? b) -> (a \|? b) -> a \|? b #
(Read a, Read b) => Read (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods readsPrec :: Int -> ReadS (a \|? b) # readList :: ReadS [a \|? b] # readPrec :: ReadPrec (a \|? b) # readListPrec :: ReadPrec [a \|? b] #
(Show a, Show b) => Show (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods showsPrec :: Int -> (a \|? b) -> ShowS # show :: (a \|? b) -> String # showList :: [a \|? b] -> ShowS #
Generic (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Associated Types type Rep (a \|? b) :: Type -> Type # Methods from :: (a \|? b) -> Rep (a \|? b) x # to :: Rep (a \|? b) x -> a \|? b #
(ToJSON a, ToJSON b) => ToJSON (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods toJSON :: (a \|? b) -> Value # toEncoding :: (a \|? b) -> Encoding # toJSONList :: [a \|? b] -> Value # toEncodingList :: [a \|? b] -> Encoding #
(FromJSON a, FromJSON b) => FromJSON (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods parseJSON :: Value -> Parser (a \|? b) # parseJSONList :: Value -> Parser [a \|? b] #
(NFData a, NFData b) => NFData (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods rnf :: (a \|? b) -> () #
type Rep (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common type Rep (a \|? b) = D1 ('MetaData "\|?" "Language.LSP.Types.Common" "lsp-types-1.4.0.1-KW8pkLIxjnNFzCuasTl1z8" 'False) (C1 ('MetaCons "InL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "InR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b)))

toEither :: (a |? b) -> Either a b Source #

newtype List a Source #

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

Instances details

Functor List Source #
Instance details Defined in Language.LSP.Types.Common Methods fmap :: (a -> b) -> List a -> List b # (<$) :: a -> List b -> List a #
Foldable List Source #
Instance details Defined in Language.LSP.Types.Common Methods fold :: Monoid m => List m -> m # foldMap :: Monoid m => (a -> m) -> List a -> m # foldMap' :: Monoid m => (a -> m) -> List a -> m # foldr :: (a -> b -> b) -> b -> List a -> b # foldr' :: (a -> b -> b) -> b -> List a -> b # foldl :: (b -> a -> b) -> b -> List a -> b # foldl' :: (b -> a -> b) -> b -> List a -> b # foldr1 :: (a -> a -> a) -> List a -> a # foldl1 :: (a -> a -> a) -> List a -> a # toList :: List a -> [a] # null :: List a -> Bool # length :: List a -> Int # elem :: Eq a => a -> List a -> Bool # maximum :: Ord a => List a -> a # minimum :: Ord a => List a -> a # sum :: Num a => List a -> a # product :: Num a => List a -> a #
Traversable List Source #
Instance details Defined in Language.LSP.Types.Common Methods traverse :: Applicative f => (a -> f b) -> List a -> f (List b) # sequenceA :: Applicative f => List (f a) -> f (List a) # mapM :: Monad m => (a -> m b) -> List a -> m (List b) # sequence :: Monad m => List (m a) -> m (List a) #
HasRetryOnContentModified StaleRequestClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods retryOnContentModified :: Lens' StaleRequestClientCapabilities (List Text) Source #
HasWorkspaceFolders InitializeParams (Maybe (List WorkspaceFolder)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workspaceFolders :: Lens' InitializeParams (Maybe (List WorkspaceFolder)) Source #
HasRegistrations RegistrationParams (List SomeRegistration) Source #
Instance details Defined in Language.LSP.Types.Lens Methods registrations :: Lens' RegistrationParams (List SomeRegistration) Source #
HasUnregisterations UnregistrationParams (List Unregistration) Source #
Instance details Defined in Language.LSP.Types.Lens Methods unregisterations :: Lens' UnregistrationParams (List Unregistration) Source #
HasParameters SignatureInformation (Maybe (List ParameterInformation)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods parameters :: Lens' SignatureInformation (Maybe (List ParameterInformation)) Source #
HasItems ConfigurationParams (List ConfigurationItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' ConfigurationParams (List ConfigurationItem) Source #
HasItems CompletionList (List CompletionItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' CompletionList (List CompletionItem) Source #
HasWatchers DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher) Source #
Instance details Defined in Language.LSP.Types.Lens Methods watchers :: Lens' DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher) Source #
HasChanges DidChangeWatchedFilesParams (List FileEvent) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' DidChangeWatchedFilesParams (List FileEvent) Source #
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' WorkspaceEdit (Maybe WorkspaceEditMap) Source #
HasValueSet DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
HasValueSet PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag) Source #
HasValueSet CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
HasValueSet CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
HasValueSet CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (List CodeActionKind) Source #
HasValueSet WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
HasXdata SemanticTokens (List UInt) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' SemanticTokens (List UInt) Source #
HasXdata SemanticTokensPartialResult (List UInt) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' SemanticTokensPartialResult (List UInt) Source #
HasXdata SemanticTokensEdit (Maybe (List UInt)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' SemanticTokensEdit (Maybe (List UInt)) Source #
HasTags DocumentSymbol (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' DocumentSymbol (Maybe (List SymbolTag)) Source #
HasTags SymbolInformation (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' SymbolInformation (Maybe (List SymbolTag)) Source #
HasTags Diagnostic (Maybe (List DiagnosticTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' Diagnostic (Maybe (List DiagnosticTag)) Source #
HasTags CallHierarchyItem (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CallHierarchyItem (Maybe (List SymbolTag)) Source #
HasTags CompletionItem (Maybe (List CompletionItemTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CompletionItem (Maybe (List CompletionItemTag)) Source #
HasCommitCharacters CompletionItem (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commitCharacters :: Lens' CompletionItem (Maybe (List Text)) Source #
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' ColorPresentation (Maybe (List TextEdit)) Source #
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' CompletionItem (Maybe (List TextEdit)) Source #
HasTriggerCharacters SignatureHelpOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpOptions (Maybe (List Text)) Source #
HasTriggerCharacters SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentSaveRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentSaveRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TypeDefinitionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TypeDefinitionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector RenameRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' RenameRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector HoverRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' HoverRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CompletionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
HasProperties CompletionItemResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CompletionItemResolveClientCapabilities (List Text) Source #
HasProperties CodeActionResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CodeActionResolveClientCapabilities (List Text) Source #
HasDocumentationFormat SignatureHelpSignatureInformation (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' SignatureHelpSignatureInformation (Maybe (List MarkupKind)) Source #
HasDocumentationFormat CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) Source #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' PublishDiagnosticsParams (List Diagnostic) Source #
HasDiagnostics CodeActionContext (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) Source #
HasDiagnostics CodeAction (Maybe (List Diagnostic)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) Source #
HasPositions SelectionRangeParams (List Position) Source #
Instance details Defined in Language.LSP.Types.Lens Methods positions :: Lens' SelectionRangeParams (List Position) Source #
HasChildren DocumentSymbol (Maybe (List DocumentSymbol)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods children :: Lens' DocumentSymbol (Maybe (List DocumentSymbol)) Source #
HasEdits SemanticTokensDelta (List SemanticTokensEdit) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' SemanticTokensDelta (List SemanticTokensEdit) Source #
HasEdits SemanticTokensDeltaPartialResult (List SemanticTokensEdit) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' SemanticTokensDeltaPartialResult (List SemanticTokensEdit) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasResourceOperations WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resourceOperations :: Lens' WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
HasRemoved WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
Instance details Defined in Language.LSP.Types.Lens Methods removed ::

HasChangeNotifications WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changeNotifications :: Lens' WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
HasTypeDefinitionProvider ServerCapabilities (Maybe (Bool \|? (TypeDefinitionOptions \|? TypeDefinitionRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods typeDefinitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (TypeDefinitionOptions \|? TypeDefinitionRegistrationOptions))) Source #
HasTextDocumentSync ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocumentSync :: Lens' ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
HasSemanticTokensProvider ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods semanticTokensProvider :: Lens' ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
HasSelectionRangeProvider ServerCapabilities (Maybe (Bool \|? (SelectionRangeOptions \|? SelectionRangeRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods selectionRangeProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (SelectionRangeOptions \|? SelectionRangeRegistrationOptions))) Source #
HasRenameProvider ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods renameProvider :: Lens' ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
HasReferencesProvider ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods referencesProvider :: Lens' ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
HasImplementationProvider ServerCapabilities (Maybe (Bool \|? (ImplementationOptions \|? ImplementationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods implementationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (ImplementationOptions \|? ImplementationRegistrationOptions))) Source #
HasHoverProvider ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods hoverProvider :: Lens' ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
HasFoldingRangeProvider ServerCapabilities (Maybe (Bool \|? (FoldingRangeOptions \|? FoldingRangeRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods foldingRangeProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (FoldingRangeOptions \|? FoldingRangeRegistrationOptions))) Source #
HasDocumentSymbolProvider ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
HasDocumentRangeFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentRangeFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
HasDocumentHighlightProvider ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentHighlightProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
HasDocumentFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
HasDefinitionProvider ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods definitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
HasDeclarationProvider ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods declarationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
HasColorProvider ServerCapabilities (Maybe (Bool \|? (DocumentColorOptions \|? DocumentColorRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods colorProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DocumentColorOptions \|? DocumentColorRegistrationOptions))) Source #
HasCodeActionProvider ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasCode Diagnostic (Maybe (Int32 \|? Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods code :: Lens' Diagnostic (Maybe (Int32 \|? Text)) Source #
HasSave TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods save :: Lens' TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
(Eq a, Eq b) => Eq (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods (==) :: (a \|? b) -> (a \|? b) -> Bool # (/=) :: (a \|? b) -> (a \|? b) -> Bool #
(Ord a, Ord b) => Ord (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods compare :: (a \|? b) -> (a \|? b) -> Ordering # (<) :: (a \|? b) -> (a \|? b) -> Bool # (<=) :: (a \|? b) -> (a \|? b) -> Bool # (>) :: (a \|? b) -> (a \|? b) -> Bool # (>=) :: (a \|? b) -> (a \|? b) -> Bool # max :: (a \|? b) -> (a \|? b) -> a \|? b # min :: (a \|? b) -> (a \|? b) -> a \|? b #
(Read a, Read b) => Read (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods readsPrec :: Int -> ReadS (a \|? b) # readList :: ReadS [a \|? b] # readPrec :: ReadPrec (a \|? b) # readListPrec :: ReadPrec [a \|? b] #
(Show a, Show b) => Show (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods showsPrec :: Int -> (a \|? b) -> ShowS # show :: (a \|? b) -> String # showList :: [a \|? b] -> ShowS #
Generic (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Associated Types type Rep (a \|? b) :: Type -> Type # Methods from :: (a \|? b) -> Rep (a \|? b) x # to :: Rep (a \|? b) x -> a \|? b #
(ToJSON a, ToJSON b) => ToJSON (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods toJSON :: (a \|? b) -> Value # toEncoding :: (a \|? b) -> Encoding # toJSONList :: [a \|? b] -> Value # toEncodingList :: [a \|? b] -> Encoding #
(FromJSON a, FromJSON b) => FromJSON (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods parseJSON :: Value -> Parser (a \|? b) # parseJSONList :: Value -> Parser [a \|? b] #
(NFData a, NFData b) => NFData (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods rnf :: (a \|? b) -> () #
type Rep (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common type Rep (a \|? b) = D1 ('MetaData "\|?" "Language.LSP.Types.Common" "lsp-types-1.4.0.1-KW8pkLIxjnNFzCuasTl1z8" 'False) (C1 ('MetaCons "InL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "InR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 b)))