Safe Haskell	Safe-Inferred
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
isSubrangeOf :: Range -> Range -> Bool
positionInRange :: Position -> Range -> Bool
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
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowShowDocument :: Method FromServer Request
- WindowLogMessage :: Method FromServer Notification
- WindowWorkDoneProgressCancel :: Method FromClient Notification
- WindowWorkDoneProgressCreate :: Method FromServer Request
- Progress :: Method FromServer Notification
- TelemetryEvent :: Method FromServer Notification
- ClientRegisterCapability :: Method FromServer Request
- ClientUnregisterCapability :: Method FromServer Request
- WorkspaceWorkspaceFolders :: Method FromServer Request
- WorkspaceConfiguration :: Method FromServer Request
- WorkspaceApplyEdit :: Method FromServer Request
- WorkspaceSemanticTokensRefresh :: Method FromServer Request
- TextDocumentPublishDiagnostics :: Method FromServer Notification
- CancelRequest :: Method f Notification
- CustomMethod :: Method f t
data SMethod (m :: Method f t) where
- SInitialize :: SMethod Initialize
- SInitialized :: SMethod Initialized
- SShutdown :: SMethod Shutdown
- SExit :: SMethod Exit
- SWorkspaceDidChangeWorkspaceFolders :: SMethod WorkspaceDidChangeWorkspaceFolders
- SWorkspaceDidChangeConfiguration :: SMethod WorkspaceDidChangeConfiguration
- SWorkspaceDidChangeWatchedFiles :: SMethod WorkspaceDidChangeWatchedFiles
- SWorkspaceSymbol :: SMethod WorkspaceSymbol
- SWorkspaceExecuteCommand :: SMethod WorkspaceExecuteCommand
- STextDocumentDidOpen :: SMethod TextDocumentDidOpen
- STextDocumentDidChange :: SMethod TextDocumentDidChange
- STextDocumentWillSave :: SMethod TextDocumentWillSave
- STextDocumentWillSaveWaitUntil :: SMethod TextDocumentWillSaveWaitUntil
- STextDocumentDidSave :: SMethod TextDocumentDidSave
- STextDocumentDidClose :: SMethod TextDocumentDidClose
- STextDocumentCompletion :: SMethod TextDocumentCompletion
- SCompletionItemResolve :: SMethod CompletionItemResolve
- STextDocumentHover :: SMethod TextDocumentHover
- STextDocumentSignatureHelp :: SMethod TextDocumentSignatureHelp
- STextDocumentDeclaration :: SMethod TextDocumentDeclaration
- STextDocumentDefinition :: SMethod TextDocumentDefinition
- STextDocumentTypeDefinition :: SMethod TextDocumentTypeDefinition
- STextDocumentImplementation :: SMethod TextDocumentImplementation
- STextDocumentReferences :: SMethod TextDocumentReferences
- STextDocumentDocumentHighlight :: SMethod TextDocumentDocumentHighlight
- STextDocumentDocumentSymbol :: SMethod TextDocumentDocumentSymbol
- STextDocumentCodeAction :: SMethod TextDocumentCodeAction
- STextDocumentCodeLens :: SMethod TextDocumentCodeLens
- SCodeLensResolve :: SMethod CodeLensResolve
- STextDocumentDocumentLink :: SMethod TextDocumentDocumentLink
- SDocumentLinkResolve :: SMethod DocumentLinkResolve
- STextDocumentDocumentColor :: SMethod TextDocumentDocumentColor
- STextDocumentColorPresentation :: SMethod TextDocumentColorPresentation
- STextDocumentFormatting :: SMethod TextDocumentFormatting
- STextDocumentRangeFormatting :: SMethod TextDocumentRangeFormatting
- STextDocumentOnTypeFormatting :: SMethod TextDocumentOnTypeFormatting
- STextDocumentRename :: SMethod TextDocumentRename
- STextDocumentPrepareRename :: SMethod TextDocumentPrepareRename
- STextDocumentFoldingRange :: SMethod TextDocumentFoldingRange
- STextDocumentSelectionRange :: SMethod TextDocumentSelectionRange
- STextDocumentPrepareCallHierarchy :: SMethod TextDocumentPrepareCallHierarchy
- SCallHierarchyIncomingCalls :: SMethod CallHierarchyIncomingCalls
- SCallHierarchyOutgoingCalls :: SMethod CallHierarchyOutgoingCalls
- STextDocumentSemanticTokens :: SMethod TextDocumentSemanticTokens
- STextDocumentSemanticTokensFull :: SMethod TextDocumentSemanticTokensFull
- STextDocumentSemanticTokensFullDelta :: SMethod TextDocumentSemanticTokensFullDelta
- STextDocumentSemanticTokensRange :: SMethod TextDocumentSemanticTokensRange
- SWorkspaceSemanticTokensRefresh :: SMethod WorkspaceSemanticTokensRefresh
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowShowDocument :: SMethod WindowShowDocument
- SWindowLogMessage :: SMethod WindowLogMessage
- SWindowWorkDoneProgressCreate :: SMethod WindowWorkDoneProgressCreate
- SWindowWorkDoneProgressCancel :: SMethod WindowWorkDoneProgressCancel
- SProgress :: SMethod Progress
- STelemetryEvent :: SMethod TelemetryEvent
- SClientRegisterCapability :: SMethod ClientRegisterCapability
- SClientUnregisterCapability :: SMethod ClientUnregisterCapability
- SWorkspaceWorkspaceFolders :: SMethod WorkspaceWorkspaceFolders
- SWorkspaceConfiguration :: SMethod WorkspaceConfiguration
- SWorkspaceApplyEdit :: SMethod WorkspaceApplyEdit
- STextDocumentPublishDiagnostics :: SMethod TextDocumentPublishDiagnostics
- SCancelRequest :: SMethod CancelRequest
- SCustomMethod :: Text -> SMethod CustomMethod
type SClientMethod (m :: Method FromClient t) = SMethod m
type SServerMethod (m :: Method FromServer t) = SMethod m
data SomeClientMethod = forall t (m :: Method FromClient t). SomeClientMethod (SMethod m)
data SomeServerMethod = forall t (m :: Method FromServer t). SomeServerMethod (SMethod m)
data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
type family MessageParams (m :: Method f t) :: Type where ...
type family ResponseResult (m :: Method f Request) :: Type where ...
data NotificationMessage (m :: Method f Notification) = NotificationMessage {
- _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
- | ServerCancelled
- | RequestFailed
- | ErrorCodeCustom Int32
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
- = SttNamespace
- | 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
toNormalizedFilePath :: FilePath -> NormalizedFilePath
fromNormalizedFilePath :: NormalizedFilePath -> FilePath
normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
emptyNormalizedFilePath :: NormalizedFilePath
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {
- _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

FromJSON CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyClientCapabilities # parseJSONList :: Value -> Parser [CallHierarchyClientCapabilities] #
ToJSON CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyClientCapabilities -> Value # toEncoding :: CallHierarchyClientCapabilities -> Encoding # toJSONList :: [CallHierarchyClientCapabilities] -> Value # toEncodingList :: [CallHierarchyClientCapabilities] -> Encoding #
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 #
Eq CallHierarchyClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyClientCapabilities -> CallHierarchyClientCapabilities -> Bool # (/=) :: CallHierarchyClientCapabilities -> CallHierarchyClientCapabilities -> Bool #
HasCallHierarchy TextDocumentClientCapabilities (Maybe CallHierarchyClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchy :: Lens' TextDocumentClientCapabilities (Maybe CallHierarchyClientCapabilities) Source #
HasDynamicRegistration CallHierarchyClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' CallHierarchyClientCapabilities (Maybe Bool) Source #

data CallHierarchyOptions Source #

Constructors

CallHierarchyOptions
Fields _workDoneProgress :: (Maybe Bool)

Instances

Instances details

FromJSON CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOptions # parseJSONList :: Value -> Parser [CallHierarchyOptions] #
ToJSON CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOptions -> Value # toEncoding :: CallHierarchyOptions -> Encoding # toJSONList :: [CallHierarchyOptions] -> Value # toEncodingList :: [CallHierarchyOptions] -> Encoding #
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 #
Eq CallHierarchyOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOptions -> CallHierarchyOptions -> Bool # (/=) :: CallHierarchyOptions -> CallHierarchyOptions -> Bool #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasWorkDoneProgress CallHierarchyOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CallHierarchyOptions (Maybe Bool) Source #

data CallHierarchyRegistrationOptions Source #

Constructors

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

Instances

Instances details

FromJSON CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyRegistrationOptions # parseJSONList :: Value -> Parser [CallHierarchyRegistrationOptions] #
ToJSON CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyRegistrationOptions -> Value # toEncoding :: CallHierarchyRegistrationOptions -> Encoding # toJSONList :: [CallHierarchyRegistrationOptions] -> Value # toEncodingList :: [CallHierarchyRegistrationOptions] -> Encoding #
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 #
Eq CallHierarchyRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyRegistrationOptions -> CallHierarchyRegistrationOptions -> Bool # (/=) :: CallHierarchyRegistrationOptions -> CallHierarchyRegistrationOptions -> Bool #
HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasDocumentSelector CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
HasId CallHierarchyRegistrationOptions (Maybe Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods id :: Lens' CallHierarchyRegistrationOptions (Maybe Text) Source #
HasWorkDoneProgress CallHierarchyRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CallHierarchyRegistrationOptions (Maybe Bool) Source #

data CallHierarchyPrepareParams Source #

Constructors

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

Instances

Instances details

FromJSON CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyPrepareParams # parseJSONList :: Value -> Parser [CallHierarchyPrepareParams] #
ToJSON CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyPrepareParams -> Value # toEncoding :: CallHierarchyPrepareParams -> Encoding # toJSONList :: [CallHierarchyPrepareParams] -> Value # toEncodingList :: [CallHierarchyPrepareParams] -> Encoding #
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 #
Eq CallHierarchyPrepareParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyPrepareParams -> CallHierarchyPrepareParams -> Bool # (/=) :: CallHierarchyPrepareParams -> CallHierarchyPrepareParams -> Bool #
HasPosition CallHierarchyPrepareParams Position Source #
Instance details Defined in Language.LSP.Types.Lens Methods position :: Lens' CallHierarchyPrepareParams Position Source #
HasTextDocument CallHierarchyPrepareParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CallHierarchyPrepareParams TextDocumentIdentifier 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

FromJSON CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyItem # parseJSONList :: Value -> Parser [CallHierarchyItem] #
ToJSON CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyItem -> Value # toEncoding :: CallHierarchyItem -> Encoding # toJSONList :: [CallHierarchyItem] -> Value # toEncodingList :: [CallHierarchyItem] -> Encoding #
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 #
Eq CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyItem -> CallHierarchyItem -> Bool # (/=) :: CallHierarchyItem -> CallHierarchyItem -> Bool #
HasFrom CallHierarchyIncomingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods from :: Lens' CallHierarchyIncomingCall CallHierarchyItem 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 #
HasKind CallHierarchyItem SymbolKind Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CallHierarchyItem SymbolKind Source #
HasName CallHierarchyItem Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods name :: Lens' CallHierarchyItem Text 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 #
HasTo CallHierarchyOutgoingCall CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods to :: Lens' CallHierarchyOutgoingCall CallHierarchyItem Source #
HasUri CallHierarchyItem Uri Source #
Instance details Defined in Language.LSP.Types.Lens Methods uri :: Lens' CallHierarchyItem Uri Source #
HasDetail CallHierarchyItem (Maybe Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods detail :: Lens' CallHierarchyItem (Maybe Text) Source #
HasTags CallHierarchyItem (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CallHierarchyItem (Maybe (List SymbolTag)) Source #
HasXdata CallHierarchyItem (Maybe Value) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' CallHierarchyItem (Maybe Value) Source #

data CallHierarchyIncomingCallsParams Source #

Constructors

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

Instances

Instances details

FromJSON CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyIncomingCallsParams # parseJSONList :: Value -> Parser [CallHierarchyIncomingCallsParams] #
ToJSON CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyIncomingCallsParams -> Value # toEncoding :: CallHierarchyIncomingCallsParams -> Encoding # toJSONList :: [CallHierarchyIncomingCallsParams] -> Value # toEncodingList :: [CallHierarchyIncomingCallsParams] -> Encoding #
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 #
Eq CallHierarchyIncomingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyIncomingCallsParams -> CallHierarchyIncomingCallsParams -> Bool # (/=) :: CallHierarchyIncomingCallsParams -> CallHierarchyIncomingCallsParams -> Bool #
HasItem CallHierarchyIncomingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyIncomingCallsParams CallHierarchyItem Source #
HasPartialResultToken CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
HasWorkDoneToken CallHierarchyIncomingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: 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

FromJSON CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyIncomingCall # parseJSONList :: Value -> Parser [CallHierarchyIncomingCall] #
ToJSON CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyIncomingCall -> Value # toEncoding :: CallHierarchyIncomingCall -> Encoding # toJSONList :: [CallHierarchyIncomingCall] -> Value # toEncodingList :: [CallHierarchyIncomingCall] -> Encoding #
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 #
Eq CallHierarchyIncomingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyIncomingCall -> CallHierarchyIncomingCall -> Bool # (/=) :: CallHierarchyIncomingCall -> CallHierarchyIncomingCall -> Bool #
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

FromJSON CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOutgoingCallsParams # parseJSONList :: Value -> Parser [CallHierarchyOutgoingCallsParams] #
ToJSON CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOutgoingCallsParams -> Value # toEncoding :: CallHierarchyOutgoingCallsParams -> Encoding # toJSONList :: [CallHierarchyOutgoingCallsParams] -> Value # toEncodingList :: [CallHierarchyOutgoingCallsParams] -> Encoding #
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 #
Eq CallHierarchyOutgoingCallsParams Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOutgoingCallsParams -> CallHierarchyOutgoingCallsParams -> Bool # (/=) :: CallHierarchyOutgoingCallsParams -> CallHierarchyOutgoingCallsParams -> Bool #
HasItem CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
Instance details Defined in Language.LSP.Types.Lens Methods item :: Lens' CallHierarchyOutgoingCallsParams CallHierarchyItem Source #
HasPartialResultToken CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
HasWorkDoneToken CallHierarchyOutgoingCallsParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: 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

FromJSON CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods parseJSON :: Value -> Parser CallHierarchyOutgoingCall # parseJSONList :: Value -> Parser [CallHierarchyOutgoingCall] #
ToJSON CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods toJSON :: CallHierarchyOutgoingCall -> Value # toEncoding :: CallHierarchyOutgoingCall -> Encoding # toJSONList :: [CallHierarchyOutgoingCall] -> Value # toEncodingList :: [CallHierarchyOutgoingCall] -> Encoding #
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 #
Eq CallHierarchyOutgoingCall Source #
Instance details Defined in Language.LSP.Types.CallHierarchy Methods (==) :: CallHierarchyOutgoingCall -> CallHierarchyOutgoingCall -> Bool # (/=) :: CallHierarchyOutgoingCall -> CallHierarchyOutgoingCall -> Bool #
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

FromJSON CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods parseJSON :: Value -> Parser CancelParams # parseJSONList :: Value -> Parser [CancelParams] #
ToJSON CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods toJSON :: CancelParams -> Value # toEncoding :: CancelParams -> Encoding # toJSONList :: [CancelParams] -> Value # toEncodingList :: [CancelParams] -> Encoding #
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 #
Eq CancelParams Source #
Instance details Defined in Language.LSP.Types.Cancellation Methods (==) :: CancelParams -> CancelParams -> Bool # (/=) :: CancelParams -> CancelParams -> Bool #

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

FromJSON CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionKind # parseJSONList :: Value -> Parser [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 #
IsString CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods fromString :: String -> CodeActionKind #
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 #
Eq CodeActionKind Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionKind -> CodeActionKind -> Bool # (/=) :: CodeActionKind -> CodeActionKind -> Bool #
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 #
HasKind CodeAction (Maybe CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CodeAction (Maybe CodeActionKind) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (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

FromJSON CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionKindClientCapabilities # parseJSONList :: Value -> Parser [CodeActionKindClientCapabilities] #
ToJSON CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionKindClientCapabilities -> Value # toEncoding :: CodeActionKindClientCapabilities -> Encoding # toJSONList :: [CodeActionKindClientCapabilities] -> Value # toEncodingList :: [CodeActionKindClientCapabilities] -> Encoding #
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 #
Default CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods def :: CodeActionKindClientCapabilities #
Eq CodeActionKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionKindClientCapabilities -> CodeActionKindClientCapabilities -> Bool # (/=) :: CodeActionKindClientCapabilities -> CodeActionKindClientCapabilities -> Bool #
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

FromJSON CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionLiteralSupport # parseJSONList :: Value -> Parser [CodeActionLiteralSupport] #
ToJSON CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionLiteralSupport -> Value # toEncoding :: CodeActionLiteralSupport -> Encoding # toJSONList :: [CodeActionLiteralSupport] -> Value # toEncodingList :: [CodeActionLiteralSupport] -> Encoding #
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 #
Eq CodeActionLiteralSupport Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionLiteralSupport -> CodeActionLiteralSupport -> Bool # (/=) :: CodeActionLiteralSupport -> CodeActionLiteralSupport -> Bool #
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

FromJSON CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionResolveClientCapabilities # parseJSONList :: Value -> Parser [CodeActionResolveClientCapabilities] #
ToJSON CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionResolveClientCapabilities -> Value # toEncoding :: CodeActionResolveClientCapabilities -> Encoding # toJSONList :: [CodeActionResolveClientCapabilities] -> Value # toEncodingList :: [CodeActionResolveClientCapabilities] -> Encoding #
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 #
Eq CodeActionResolveClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionResolveClientCapabilities -> CodeActionResolveClientCapabilities -> Bool # (/=) :: CodeActionResolveClientCapabilities -> CodeActionResolveClientCapabilities -> Bool #
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

FromJSON CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionClientCapabilities # parseJSONList :: Value -> Parser [CodeActionClientCapabilities] #
ToJSON CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionClientCapabilities -> Value # toEncoding :: CodeActionClientCapabilities -> Encoding # toJSONList :: [CodeActionClientCapabilities] -> Value # toEncodingList :: [CodeActionClientCapabilities] -> Encoding #
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 #
Eq CodeActionClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionClientCapabilities -> CodeActionClientCapabilities -> Bool # (/=) :: CodeActionClientCapabilities -> CodeActionClientCapabilities -> Bool #
HasCodeAction TextDocumentClientCapabilities (Maybe CodeActionClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeAction :: Lens' TextDocumentClientCapabilities (Maybe CodeActionClientCapabilities) Source #
HasCodeActionLiteralSupport CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionLiteralSupport :: Lens' CodeActionClientCapabilities (Maybe CodeActionLiteralSupport) Source #
HasDataSupport CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dataSupport :: 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 #
HasDynamicRegistration CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: 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 #
HasIsPreferredSupport CodeActionClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods isPreferredSupport :: 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 #

data CodeActionOptions Source #

Constructors

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

Instances

Instances details

FromJSON CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionOptions # parseJSONList :: Value -> Parser [CodeActionOptions] #
ToJSON CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionOptions -> Value # toEncoding :: CodeActionOptions -> Encoding # toJSONList :: [CodeActionOptions] -> Value # toEncodingList :: [CodeActionOptions] -> Encoding #
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 #
Eq CodeActionOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionOptions -> CodeActionOptions -> Bool # (/=) :: CodeActionOptions -> CodeActionOptions -> Bool #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) 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 #
HasWorkDoneProgress CodeActionOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeActionOptions (Maybe Bool) Source #

data CodeActionRegistrationOptions Source #

Constructors

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

Instances

Instances details

FromJSON CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionRegistrationOptions # parseJSONList :: Value -> Parser [CodeActionRegistrationOptions] #
ToJSON CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionRegistrationOptions -> Value # toEncoding :: CodeActionRegistrationOptions -> Encoding # toJSONList :: [CodeActionRegistrationOptions] -> Value # toEncodingList :: [CodeActionRegistrationOptions] -> Encoding #
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 #
Eq CodeActionRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionRegistrationOptions -> CodeActionRegistrationOptions -> Bool # (/=) :: CodeActionRegistrationOptions -> CodeActionRegistrationOptions -> Bool #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
HasResolveProvider CodeActionRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeActionRegistrationOptions (Maybe Bool) Source #
HasWorkDoneProgress CodeActionRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeActionRegistrationOptions (Maybe Bool) 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

FromJSON CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionContext # parseJSONList :: Value -> Parser [CodeActionContext] #
ToJSON CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionContext -> Value # toEncoding :: CodeActionContext -> Encoding # toJSONList :: [CodeActionContext] -> Value # toEncodingList :: [CodeActionContext] -> Encoding #
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 #
Eq CodeActionContext Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionContext -> CodeActionContext -> Bool # (/=) :: CodeActionContext -> CodeActionContext -> Bool #
HasContext CodeActionParams CodeActionContext Source #
Instance details Defined in Language.LSP.Types.Lens Methods context :: Lens' CodeActionParams CodeActionContext Source #
HasDiagnostics CodeActionContext (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #

data CodeActionParams Source #

Constructors

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

Instances

Instances details

FromJSON CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeActionParams # parseJSONList :: Value -> Parser [CodeActionParams] #
ToJSON CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeActionParams -> Value # toEncoding :: CodeActionParams -> Encoding # toJSONList :: [CodeActionParams] -> Value # toEncodingList :: [CodeActionParams] -> Encoding #
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 #
Eq CodeActionParams Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeActionParams -> CodeActionParams -> Bool # (/=) :: CodeActionParams -> CodeActionParams -> Bool #
HasContext CodeActionParams CodeActionContext Source #
Instance details Defined in Language.LSP.Types.Lens Methods context :: Lens' CodeActionParams CodeActionContext Source #
HasRange CodeActionParams Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeActionParams Range Source #
HasTextDocument CodeActionParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CodeActionParams TextDocumentIdentifier Source #
HasPartialResultToken CodeActionParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CodeActionParams (Maybe ProgressToken) Source #
HasWorkDoneToken CodeActionParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' CodeActionParams (Maybe ProgressToken) Source #

newtype Reason Source #

Constructors

Reason
Fields _reason :: Text

Instances

Instances details

FromJSON Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser Reason # parseJSONList :: Value -> Parser [Reason] #
ToJSON Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: Reason -> Value # toEncoding :: Reason -> Encoding # toJSONList :: [Reason] -> Value # toEncodingList :: [Reason] -> Encoding #
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 #
Eq Reason Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: Reason -> Reason -> Bool # (/=) :: Reason -> Reason -> Bool #
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 CodeAction and/or a CodeAction. If both are supplied, the CodeAction is applied first, then the 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

FromJSON CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods parseJSON :: Value -> Parser CodeAction # parseJSONList :: Value -> Parser [CodeAction] #
ToJSON CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods toJSON :: CodeAction -> Value # toEncoding :: CodeAction -> Encoding # toJSONList :: [CodeAction] -> Value # toEncodingList :: [CodeAction] -> Encoding #
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 #
Eq CodeAction Source #
Instance details Defined in Language.LSP.Types.CodeAction Methods (==) :: CodeAction -> CodeAction -> Bool # (/=) :: CodeAction -> CodeAction -> Bool #
HasTitle CodeAction Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods title :: Lens' CodeAction Text 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 #
HasDisabled CodeAction (Maybe Reason) Source #
Instance details Defined in Language.LSP.Types.Lens Methods disabled :: Lens' CodeAction (Maybe Reason) Source #
HasEdit CodeAction (Maybe WorkspaceEdit) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edit :: Lens' CodeAction (Maybe WorkspaceEdit) Source #
HasIsPreferred CodeAction (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods isPreferred :: Lens' CodeAction (Maybe Bool) 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 #

data CodeLensClientCapabilities Source #

Constructors

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

Instances

Instances details

FromJSON CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensClientCapabilities # parseJSONList :: Value -> Parser [CodeLensClientCapabilities] #
ToJSON CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensClientCapabilities -> Value # toEncoding :: CodeLensClientCapabilities -> Encoding # toJSONList :: [CodeLensClientCapabilities] -> Value # toEncodingList :: [CodeLensClientCapabilities] -> Encoding #
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 #
Eq CodeLensClientCapabilities Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensClientCapabilities -> CodeLensClientCapabilities -> Bool # (/=) :: CodeLensClientCapabilities -> CodeLensClientCapabilities -> Bool #
HasCodeLens TextDocumentClientCapabilities (Maybe CodeLensClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeLens :: Lens' TextDocumentClientCapabilities (Maybe CodeLensClientCapabilities) Source #
HasDynamicRegistration CodeLensClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' CodeLensClientCapabilities (Maybe Bool) Source #

data CodeLensOptions Source #

Constructors

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

Instances

Instances details

FromJSON CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensOptions # parseJSONList :: Value -> Parser [CodeLensOptions] #
ToJSON CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensOptions -> Value # toEncoding :: CodeLensOptions -> Encoding # toJSONList :: [CodeLensOptions] -> Value # toEncodingList :: [CodeLensOptions] -> Encoding #
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 #
Eq CodeLensOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensOptions -> CodeLensOptions -> Bool # (/=) :: CodeLensOptions -> CodeLensOptions -> Bool #
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 #
HasWorkDoneProgress CodeLensOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeLensOptions (Maybe Bool) Source #

data CodeLensRegistrationOptions Source #

Constructors

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

Instances

Instances details

FromJSON CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensRegistrationOptions # parseJSONList :: Value -> Parser [CodeLensRegistrationOptions] #
ToJSON CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensRegistrationOptions -> Value # toEncoding :: CodeLensRegistrationOptions -> Encoding # toJSONList :: [CodeLensRegistrationOptions] -> Value # toEncodingList :: [CodeLensRegistrationOptions] -> Encoding #
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 #
Eq CodeLensRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensRegistrationOptions -> CodeLensRegistrationOptions -> Bool # (/=) :: CodeLensRegistrationOptions -> CodeLensRegistrationOptions -> Bool #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
HasResolveProvider CodeLensRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveProvider :: Lens' CodeLensRegistrationOptions (Maybe Bool) Source #
HasWorkDoneProgress CodeLensRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' CodeLensRegistrationOptions (Maybe Bool) Source #

data CodeLensParams Source #

Constructors

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

Instances

Instances details

FromJSON CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLensParams # parseJSONList :: Value -> Parser [CodeLensParams] #
ToJSON CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLensParams -> Value # toEncoding :: CodeLensParams -> Encoding # toJSONList :: [CodeLensParams] -> Value # toEncodingList :: [CodeLensParams] -> Encoding #
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 #
Eq CodeLensParams Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLensParams -> CodeLensParams -> Bool # (/=) :: CodeLensParams -> CodeLensParams -> Bool #
HasTextDocument CodeLensParams TextDocumentIdentifier Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocument :: Lens' CodeLensParams TextDocumentIdentifier Source #
HasPartialResultToken CodeLensParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods partialResultToken :: Lens' CodeLensParams (Maybe ProgressToken) Source #
HasWorkDoneToken CodeLensParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: 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

FromJSON CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods parseJSON :: Value -> Parser CodeLens # parseJSONList :: Value -> Parser [CodeLens] #
ToJSON CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods toJSON :: CodeLens -> Value # toEncoding :: CodeLens -> Encoding # toJSONList :: [CodeLens] -> Value # toEncodingList :: [CodeLens] -> Encoding #
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 #
Eq CodeLens Source #
Instance details Defined in Language.LSP.Types.CodeLens Methods (==) :: CodeLens -> CodeLens -> Bool # (/=) :: CodeLens -> CodeLens -> Bool #
HasRange CodeLens Range Source #
Instance details Defined in Language.LSP.Types.Lens Methods range :: Lens' CodeLens Range Source #
HasCommand CodeLens (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeLens (Maybe Command) Source #
HasXdata CodeLens (Maybe Value) Source #
Instance details Defined in Language.LSP.Types.Lens Methods xdata :: Lens' CodeLens (Maybe Value) Source #

data ExecuteCommandClientCapabilities Source #

Constructors

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

Instances

Instances details

FromJSON ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandClientCapabilities # parseJSONList :: Value -> Parser [ExecuteCommandClientCapabilities] #
ToJSON ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandClientCapabilities -> Value # toEncoding :: ExecuteCommandClientCapabilities -> Encoding # toJSONList :: [ExecuteCommandClientCapabilities] -> Value # toEncodingList :: [ExecuteCommandClientCapabilities] -> Encoding #
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 #
Eq ExecuteCommandClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandClientCapabilities -> ExecuteCommandClientCapabilities -> Bool # (/=) :: ExecuteCommandClientCapabilities -> ExecuteCommandClientCapabilities -> Bool #
HasDynamicRegistration ExecuteCommandClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods dynamicRegistration :: Lens' ExecuteCommandClientCapabilities (Maybe Bool) Source #
HasExecuteCommand WorkspaceClientCapabilities (Maybe ExecuteCommandClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods executeCommand :: Lens' WorkspaceClientCapabilities (Maybe ExecuteCommandClientCapabilities) Source #

data ExecuteCommandOptions Source #

Constructors

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

Instances

Instances details

FromJSON ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandOptions # parseJSONList :: Value -> Parser [ExecuteCommandOptions] #
ToJSON ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandOptions -> Value # toEncoding :: ExecuteCommandOptions -> Encoding # toJSONList :: [ExecuteCommandOptions] -> Value # toEncodingList :: [ExecuteCommandOptions] -> Encoding #
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 #
Eq ExecuteCommandOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandOptions -> ExecuteCommandOptions -> Bool # (/=) :: ExecuteCommandOptions -> ExecuteCommandOptions -> Bool #
HasCommands ExecuteCommandOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandOptions (List Text) Source #
HasExecuteCommandProvider ServerCapabilities (Maybe ExecuteCommandOptions) Source #
Instance details Defined in Language.LSP.Types.Lens Methods executeCommandProvider :: Lens' ServerCapabilities (Maybe ExecuteCommandOptions) Source #
HasWorkDoneProgress ExecuteCommandOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' ExecuteCommandOptions (Maybe Bool) Source #

data ExecuteCommandRegistrationOptions Source #

Constructors

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

Instances

Instances details

FromJSON ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandRegistrationOptions # parseJSONList :: Value -> Parser [ExecuteCommandRegistrationOptions] #
ToJSON ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandRegistrationOptions -> Value # toEncoding :: ExecuteCommandRegistrationOptions -> Encoding # toJSONList :: [ExecuteCommandRegistrationOptions] -> Value # toEncodingList :: [ExecuteCommandRegistrationOptions] -> Encoding #
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 #
Eq ExecuteCommandRegistrationOptions Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandRegistrationOptions -> ExecuteCommandRegistrationOptions -> Bool # (/=) :: ExecuteCommandRegistrationOptions -> ExecuteCommandRegistrationOptions -> Bool #
HasCommands ExecuteCommandRegistrationOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandRegistrationOptions (List Text) Source #
HasWorkDoneProgress ExecuteCommandRegistrationOptions (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneProgress :: Lens' ExecuteCommandRegistrationOptions (Maybe Bool) Source #

data ExecuteCommandParams Source #

Constructors

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

Instances

Instances details

FromJSON ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser ExecuteCommandParams # parseJSONList :: Value -> Parser [ExecuteCommandParams] #
ToJSON ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: ExecuteCommandParams -> Value # toEncoding :: ExecuteCommandParams -> Encoding # toJSONList :: [ExecuteCommandParams] -> Value # toEncodingList :: [ExecuteCommandParams] -> Encoding #
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 #
Eq ExecuteCommandParams Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: ExecuteCommandParams -> ExecuteCommandParams -> Bool # (/=) :: ExecuteCommandParams -> ExecuteCommandParams -> Bool #
HasCommand ExecuteCommandParams Text Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' ExecuteCommandParams Text Source #
HasArguments ExecuteCommandParams (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' ExecuteCommandParams (Maybe (List Value)) Source #
HasWorkDoneToken ExecuteCommandParams (Maybe ProgressToken) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workDoneToken :: Lens' ExecuteCommandParams (Maybe ProgressToken) 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

FromJSON Command Source #
Instance details Defined in Language.LSP.Types.Command Methods parseJSON :: Value -> Parser Command # parseJSONList :: Value -> Parser [Command] #
ToJSON Command Source #
Instance details Defined in Language.LSP.Types.Command Methods toJSON :: Command -> Value # toEncoding :: Command -> Encoding # toJSONList :: [Command] -> Value # toEncodingList :: [Command] -> Encoding #
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 #
Eq Command Source #
Instance details Defined in Language.LSP.Types.Command Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
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 #
HasArguments Command (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' Command (Maybe (List Value)) Source #
HasCommand CodeAction (Maybe Command) Source #
Instance details Defined in Language.LSP.Types.Lens Methods command :: Lens' CodeAction (Maybe Command) 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 #

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

HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasChangeNotifications WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changeNotifications :: Lens' WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
HasCode Diagnostic (Maybe (Int32 \|? Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods code :: Lens' Diagnostic (Maybe (Int32 \|? Text)) Source #
HasCodeActionProvider ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) 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 #
HasDeclarationProvider ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods declarationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
HasDefinitionProvider ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods definitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasDocumentFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
HasDocumentHighlightProvider ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentHighlightProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
HasDocumentRangeFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentRangeFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
HasDocumentSymbolProvider ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) 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 #
HasHoverProvider ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods hoverProvider :: Lens' ServerCapabilities (Maybe (Bool \|? HoverOptions)) 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 #
HasReferencesProvider ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods referencesProvider :: Lens' ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
HasRenameProvider ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods renameProvider :: Lens' ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
HasSave TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods save :: Lens' TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) 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 #
HasSemanticTokensProvider ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods semanticTokensProvider :: Lens' ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
HasTextDocumentSync ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocumentSync :: Lens' ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) 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 #
HasWorkspaceSymbolProvider ServerCapabilities (Maybe (Bool \|? WorkspaceSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workspaceSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? WorkspaceSymbolOptions)) Source #
(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] #
(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 #
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 #
(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 #
(NFData a, NFData b) => NFData (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods rnf :: (a \|? b) -> () #
(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 #
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.6.0.0-LtWKVMEyu9BAsGEDYoE5Vu" '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

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) #
Functor List Source #
Instance details Defined in Language.LSP.Types.Common Methods fmap :: (a -> b) -> List a -> List b # (<$) :: a -> List b -> List a #
HasAdded WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
Instance details Defined in Language.LSP.Types.Lens Methods added :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' CompletionItem (Maybe (List TextEdit)) Source #
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' ColorPresentation (Maybe (List TextEdit)) Source #
HasArguments Command (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' Command (Maybe (List Value)) Source #
HasArguments ExecuteCommandParams (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' ExecuteCommandParams (Maybe (List Value)) 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 #
HasChildren DocumentSymbol (Maybe (List DocumentSymbol)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods children :: Lens' DocumentSymbol (Maybe (List DocumentSymbol)) 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 #
HasCommands ExecuteCommandOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandOptions (List Text) Source #
HasCommands ExecuteCommandRegistrationOptions (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commands :: Lens' ExecuteCommandRegistrationOptions (List Text) Source #
HasCommitCharacters CompletionItem (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commitCharacters :: Lens' CompletionItem (Maybe (List Text)) Source #
HasContentChanges DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) Source #
Instance details Defined in Language.LSP.Types.Lens Methods contentChanges :: Lens' DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) Source #
HasContentFormat HoverClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods contentFormat :: Lens' HoverClientCapabilities (Maybe (List MarkupKind)) Source #
HasDiagnostics CodeAction (Maybe (List Diagnostic)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) Source #
HasDiagnostics CodeActionContext (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) Source #
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' PublishDiagnosticsParams (List Diagnostic) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasDocumentSelector CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CallHierarchyRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CompletionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector HoverRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' HoverRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector RenameRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' RenameRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentRegistrationOptions (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 #
HasDocumentationFormat CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
HasDocumentationFormat SignatureHelpSignatureInformation (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' SignatureHelpSignatureInformation (Maybe (List MarkupKind)) 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 #
HasFormats SemanticTokensClientCapabilities (List TokenFormat) Source #
Instance details Defined in Language.LSP.Types.Lens Methods formats :: Lens' SemanticTokensClientCapabilities (List TokenFormat) Source #
HasFromRanges CallHierarchyIncomingCall (List Range) Source #
Instance details Defined in Language.LSP.Types.Lens Methods fromRanges :: Lens' CallHierarchyIncomingCall (List Range) Source #
HasFromRanges CallHierarchyOutgoingCall (List Range) Source #
Instance details Defined in Language.LSP.Types.Lens Methods fromRanges :: Lens' CallHierarchyOutgoingCall (List Range) Source #
HasItems CompletionList (List CompletionItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' CompletionList (List CompletionItem) Source #
HasItems ConfigurationParams (List ConfigurationItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' ConfigurationParams (List ConfigurationItem) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #
HasParameters SignatureInformation (Maybe (List ParameterInformation)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods parameters :: Lens' SignatureInformation (Maybe (List ParameterInformation)) Source #
HasPositions SelectionRangeParams (List Position) Source #
Instance details Defined in Language.LSP.Types.Lens Methods positions :: Lens' SelectionRangeParams (List Position) Source #
HasProperties CodeActionResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CodeActionResolveClientCapabilities (List Text) Source #
HasProperties CompletionItemResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CompletionItemResolveClientCapabilities (List Text) Source #
HasRegistrations RegistrationParams (List SomeRegistration) Source #
Instance details Defined in Language.LSP.Types.Lens Methods registrations :: Lens' RegistrationParams (List SomeRegistration) Source #
HasRelatedInformation Diagnostic (Maybe (List DiagnosticRelatedInformation)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods relatedInformation :: Lens' Diagnostic (Maybe (List DiagnosticRelatedInformation)) Source #
HasRemoved WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
Instance details Defined in Language.LSP.Types.Lens Methods removed :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
HasResourceOperations WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resourceOperations :: Lens' WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
HasRetriggerCharacters SignatureHelpOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods retriggerCharacters :: Lens' SignatureHelpOptions (Maybe (List Text)) Source #
HasRetriggerCharacters SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods retriggerCharacters :: Lens' SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
HasRetryOnContentModified StaleRequestClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods retryOnContentModified :: Lens' StaleRequestClientCapabilities (List Text) Source #
HasSignatures SignatureHelp (List SignatureInformation) Source #
Instance details Defined in Language.LSP.Types.Lens Methods signatures :: Lens' SignatureHelp (List SignatureInformation) 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 #
HasTags Diagnostic (Maybe (List DiagnosticTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' Diagnostic (Maybe (List DiagnosticTag)) Source #
HasTags DocumentSymbol (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' DocumentSymbol (Maybe (List SymbolTag)) Source #
HasTags

HasCallHierarchyProvider ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods callHierarchyProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (CallHierarchyOptions \|? CallHierarchyRegistrationOptions))) Source #
HasChangeNotifications WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changeNotifications :: Lens' WorkspaceFoldersServerCapabilities (Maybe (Text \|? Bool)) Source #
HasCode Diagnostic (Maybe (Int32 \|? Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods code :: Lens' Diagnostic (Maybe (Int32 \|? Text)) Source #
HasCodeActionProvider ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? CodeActionOptions)) 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 #
HasDeclarationProvider ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
Instance details Defined in Language.LSP.Types.Lens Methods declarationProvider :: Lens' ServerCapabilities (Maybe (Bool \|? (DeclarationOptions \|? DeclarationRegistrationOptions))) Source #
HasDefinitionProvider ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods definitionProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DefinitionOptions)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasDocumentFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentFormattingOptions)) Source #
HasDocumentHighlightProvider ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentHighlightProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentHighlightOptions)) Source #
HasDocumentRangeFormattingProvider ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentRangeFormattingProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentRangeFormattingOptions)) Source #
HasDocumentSymbolProvider ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? DocumentSymbolOptions)) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) 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 #
HasHoverProvider ServerCapabilities (Maybe (Bool \|? HoverOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods hoverProvider :: Lens' ServerCapabilities (Maybe (Bool \|? HoverOptions)) 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 #
HasReferencesProvider ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods referencesProvider :: Lens' ServerCapabilities (Maybe (Bool \|? ReferenceOptions)) Source #
HasRenameProvider ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods renameProvider :: Lens' ServerCapabilities (Maybe (Bool \|? RenameOptions)) Source #
HasSave TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods save :: Lens' TextDocumentSyncOptions (Maybe (Bool \|? SaveOptions)) 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 #
HasSemanticTokensProvider ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods semanticTokensProvider :: Lens' ServerCapabilities (Maybe (SemanticTokensOptions \|? SemanticTokensRegistrationOptions)) Source #
HasTextDocumentSync ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods textDocumentSync :: Lens' ServerCapabilities (Maybe (TextDocumentSyncOptions \|? TextDocumentSyncKind)) 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 #
HasWorkspaceSymbolProvider ServerCapabilities (Maybe (Bool \|? WorkspaceSymbolOptions)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workspaceSymbolProvider :: Lens' ServerCapabilities (Maybe (Bool \|? WorkspaceSymbolOptions)) Source #
(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] #
(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 #
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 #
(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 #
(NFData a, NFData b) => NFData (a \|? b) Source #
Instance details Defined in Language.LSP.Types.Common Methods rnf :: (a \|? b) -> () #
(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 #
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.6.0.0-LtWKVMEyu9BAsGEDYoE5Vu" '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)))