Safe Haskell	None
Language	Haskell2010

Language.LSP.Types

Synopsis

data CancelParams = forall m. CancelParams {
- _id :: LspId m
}
data CodeActionKind
- = CodeActionEmpty
- | CodeActionQuickFix
- | CodeActionRefactor
- | CodeActionRefactorExtract
- | CodeActionRefactorInline
- | CodeActionRefactorRewrite
- | CodeActionSource
- | CodeActionSourceOrganizeImports
- | CodeActionUnknown Text
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 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 (Int |? 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 Int
- _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 :: Int
- _green :: Int
- _blue :: Int
- _alpha :: Int
}
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 Int
- _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 :: Int
- _startCharacter :: Maybe Int
- _endLine :: Int
- _endCharacter :: Maybe Int
- _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 :: Int
- _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 Int)
- _clientInfo :: (Maybe ClientInfo)
- _rootPath :: (Maybe Text)
- _rootUri :: (Maybe Uri)
- _initializationOptions :: (Maybe Value)
- _capabilities :: ClientCapabilities
- _trace :: (Maybe Trace)
- _workspaceFolders :: (Maybe (List WorkspaceFolder))
}
data InitializeError = InitializeError {
- _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 :: Int
- _character :: Int
}
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 :: Int -> Int -> Int -> Int -> Range
data LspId (m :: Method f Request)
- = IdInt !Int
- | 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
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
- WindowShowMessage :: Method FromServer Notification
- WindowShowMessageRequest :: Method FromServer Request
- WindowLogMessage :: Method FromServer Notification
- WindowWorkDoneProgressCancel :: Method FromClient Notification
- WindowWorkDoneProgressCreate :: Method FromServer Request
- Progress :: Method FromServer Notification
- TelemetryEvent :: Method FromServer Notification
- ClientRegisterCapability :: Method FromServer Request
- ClientUnregisterCapability :: Method FromServer Request
- WorkspaceWorkspaceFolders :: Method FromServer Request
- WorkspaceConfiguration :: Method FromServer Request
- WorkspaceApplyEdit :: Method FromServer Request
- TextDocumentPublishDiagnostics :: Method FromServer Notification
- CancelRequest :: Method f Notification
- CustomMethod :: Method f t
data SMethod (m :: Method f t) where
- SInitialize :: SMethod Initialize
- SInitialized :: SMethod Initialized
- SShutdown :: SMethod Shutdown
- SExit :: SMethod Exit
- SWorkspaceDidChangeWorkspaceFolders :: SMethod WorkspaceDidChangeWorkspaceFolders
- SWorkspaceDidChangeConfiguration :: SMethod WorkspaceDidChangeConfiguration
- SWorkspaceDidChangeWatchedFiles :: SMethod WorkspaceDidChangeWatchedFiles
- SWorkspaceSymbol :: SMethod WorkspaceSymbol
- SWorkspaceExecuteCommand :: SMethod WorkspaceExecuteCommand
- STextDocumentDidOpen :: SMethod TextDocumentDidOpen
- STextDocumentDidChange :: SMethod TextDocumentDidChange
- STextDocumentWillSave :: SMethod TextDocumentWillSave
- STextDocumentWillSaveWaitUntil :: SMethod TextDocumentWillSaveWaitUntil
- STextDocumentDidSave :: SMethod TextDocumentDidSave
- STextDocumentDidClose :: SMethod TextDocumentDidClose
- STextDocumentCompletion :: SMethod TextDocumentCompletion
- SCompletionItemResolve :: SMethod CompletionItemResolve
- STextDocumentHover :: SMethod TextDocumentHover
- STextDocumentSignatureHelp :: SMethod TextDocumentSignatureHelp
- STextDocumentDeclaration :: SMethod TextDocumentDeclaration
- STextDocumentDefinition :: SMethod TextDocumentDefinition
- STextDocumentTypeDefinition :: SMethod TextDocumentTypeDefinition
- STextDocumentImplementation :: SMethod TextDocumentImplementation
- STextDocumentReferences :: SMethod TextDocumentReferences
- STextDocumentDocumentHighlight :: SMethod TextDocumentDocumentHighlight
- STextDocumentDocumentSymbol :: SMethod TextDocumentDocumentSymbol
- STextDocumentCodeAction :: SMethod TextDocumentCodeAction
- STextDocumentCodeLens :: SMethod TextDocumentCodeLens
- SCodeLensResolve :: SMethod CodeLensResolve
- STextDocumentDocumentLink :: SMethod TextDocumentDocumentLink
- SDocumentLinkResolve :: SMethod DocumentLinkResolve
- STextDocumentDocumentColor :: SMethod TextDocumentDocumentColor
- STextDocumentColorPresentation :: SMethod TextDocumentColorPresentation
- STextDocumentFormatting :: SMethod TextDocumentFormatting
- STextDocumentRangeFormatting :: SMethod TextDocumentRangeFormatting
- STextDocumentOnTypeFormatting :: SMethod TextDocumentOnTypeFormatting
- STextDocumentRename :: SMethod TextDocumentRename
- STextDocumentPrepareRename :: SMethod TextDocumentPrepareRename
- STextDocumentFoldingRange :: SMethod TextDocumentFoldingRange
- STextDocumentSelectionRange :: SMethod TextDocumentSelectionRange
- SWindowShowMessage :: SMethod WindowShowMessage
- SWindowShowMessageRequest :: SMethod WindowShowMessageRequest
- SWindowLogMessage :: SMethod WindowLogMessage
- SWindowWorkDoneProgressCreate :: SMethod WindowWorkDoneProgressCreate
- SWindowWorkDoneProgressCancel :: SMethod WindowWorkDoneProgressCancel
- SProgress :: SMethod Progress
- STelemetryEvent :: SMethod TelemetryEvent
- SClientRegisterCapability :: SMethod ClientRegisterCapability
- SClientUnregisterCapability :: SMethod ClientUnregisterCapability
- SWorkspaceWorkspaceFolders :: SMethod WorkspaceWorkspaceFolders
- SWorkspaceConfiguration :: SMethod WorkspaceConfiguration
- SWorkspaceApplyEdit :: SMethod WorkspaceApplyEdit
- STextDocumentPublishDiagnostics :: SMethod TextDocumentPublishDiagnostics
- SCancelRequest :: SMethod CancelRequest
- SCustomMethod :: Text -> SMethod CustomMethod
type SClientMethod (m :: Method FromClient t) = SMethod m
type SServerMethod (m :: Method FromServer t) = SMethod m
data SomeClientMethod = forall t (m :: Method FromClient t). SomeClientMethod (SMethod m)
data SomeServerMethod = forall t (m :: Method FromServer t). SomeServerMethod (SMethod m)
data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
type family MessageParams (m :: Method f t) :: Type where ...
type family ResponseResult (m :: Method f Request) :: Type where ...
data NotificationMessage (m :: Method f Notification) = NotificationMessage {
- _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 :: Text -> Value -> Value
data CustomMessage f t where
- ReqMess :: RequestMessage (CustomMethod :: Method f Request) -> CustomMessage f Request
- NotMess :: NotificationMessage (CustomMethod :: Method f Notification) -> CustomMessage f Notification
data ErrorCode
- = ParseError
- | InvalidRequest
- | MethodNotFound
- | InvalidParams
- | InternalError
- | ServerErrorStart
- | ServerErrorEnd
- | ServerNotInitialized
- | UnknownErrorCode
- | RequestCancelled
- | ContentModified
data ResponseError = ResponseError {
- _code :: ErrorCode
- _message :: Text
- _xdata :: Maybe Value
}
data ResponseMessage (m :: Method f Request) = ResponseMessage {
- _jsonrpc :: Text
- _id :: Maybe (LspId m)
- _result :: Either ResponseError (ResponseResult m)
}
type family Message (m :: Method f t) :: Type where ...
type ClientMessage (m :: Method FromClient t) = Message m
type ServerMessage (m :: Method FromServer t) = Message m
data FromServerMessage' a where
- FromServerMess :: forall t (m :: Method FromServer t) a. SMethod m -> Message m -> FromServerMessage' a
- FromServerRsp :: forall (m :: Method FromClient Request) a. a m -> ResponseMessage m -> FromServerMessage' a
type FromServerMessage = FromServerMessage' SMethod
fromServerNot :: forall (m :: Method FromServer Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromServerMessage
fromServerReq :: forall (m :: Method FromServer Request). Message m ~ RequestMessage m => RequestMessage m -> FromServerMessage
data FromClientMessage' a where
- FromClientMess :: forall t (m :: Method FromClient t) a. SMethod m -> Message m -> FromClientMessage' a
- FromClientRsp :: forall (m :: Method FromServer Request) a. a m -> ResponseMessage m -> FromClientMessage' a
type FromClientMessage = FromClientMessage' SMethod
fromClientNot :: forall (m :: Method FromClient Notification). Message m ~ NotificationMessage m => NotificationMessage m -> FromClientMessage
fromClientReq :: forall (m :: Method FromClient Request). Message m ~ RequestMessage m => RequestMessage m -> FromClientMessage
type LookupFunc f a = forall (m :: Method f Request). LspId m -> Maybe (SMethod m, a m)
parseServerMessage :: LookupFunc FromClient a -> Value -> Parser (FromServerMessage' a)
parseClientMessage :: LookupFunc FromServer a -> Value -> Parser (FromClientMessage' a)
clientResponseJSON :: SClientMethod m -> (HasJSON (ResponseMessage m) => x) -> x
serverResponseJSON :: SServerMethod m -> (HasJSON (ResponseMessage m) => x) -> x
clientMethodJSON :: SClientMethod m -> (ToJSON (ClientMessage m) => x) -> x
serverMethodJSON :: SServerMethod m -> (ToJSON (ServerMessage m) => x) -> x
type HasJSON a = (ToJSON a, FromJSON a, Eq a)
data ClientNotOrReq (m :: Method FromClient t) where
- IsClientNot :: (HasJSON (ClientMessage m), Message m ~ NotificationMessage m) => ClientNotOrReq (m :: Method FromClient Notification)
- IsClientReq :: forall (m :: Method FromClient Request). (HasJSON (ClientMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ClientNotOrReq m
- IsClientEither :: ClientNotOrReq CustomMethod
data ServerNotOrReq (m :: Method FromServer t) where
- IsServerNot :: (HasJSON (ServerMessage m), Message m ~ NotificationMessage m) => ServerNotOrReq (m :: Method FromServer Notification)
- IsServerReq :: forall (m :: Method FromServer Request). (HasJSON (ServerMessage m), HasJSON (ResponseMessage m), Message m ~ RequestMessage m) => ServerNotOrReq m
- IsServerEither :: ServerNotOrReq CustomMethod
splitClientMethod :: SClientMethod m -> ClientNotOrReq m
splitServerMethod :: SServerMethod m -> ServerNotOrReq m
data CustomEq m1 m2 where
- CustomEq :: (m1 ~ (CustomMethod :: Method f t1), m2 ~ (CustomMethod :: Method f t2)) => {..} -> CustomEq m1 m2
runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2)
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
data ProgressToken
- = ProgressNumericToken Int
- | ProgressTextToken Text
data ProgressParams t = ProgressParams {
- _token :: ProgressToken
- _value :: t
}
data WorkDoneProgressBeginParams = WorkDoneProgressBeginParams {
- _title :: Text
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe Double
}
data WorkDoneProgressReportParams = WorkDoneProgressReportParams {
- _cancellable :: Maybe Bool
- _message :: Maybe Text
- _percentage :: Maybe Double
}
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 Int Int
data ParameterInformation = ParameterInformation {
- _label :: ParameterLabel
- _documentation :: Maybe SignatureHelpDoc
}
data SignatureInformation = SignatureInformation {
- _label :: Text
- _documentation :: Maybe SignatureHelpDoc
- _parameters :: Maybe (List ParameterInformation)
- _activeParameter :: Maybe Int
}
data SignatureHelp = SignatureHelp {
- _signatures :: List SignatureInformation
- _activeSignature :: Maybe Int
- _activeParameter :: Maybe Int
}
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 TextDocumentIdentifier = TextDocumentIdentifier {
- _uri :: Uri
}
type TextDocumentVersion = Maybe Int
data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {
- _uri :: Uri
- _version :: TextDocumentVersion
}
data TextDocumentItem = TextDocumentItem {
- _uri :: Uri
- _languageId :: Text
- _version :: Int
- _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 Int
- _text :: Text
}
data DidChangeTextDocumentParams = DidChangeTextDocumentParams {
- _textDocument :: VersionedTextDocumentIdentifier
- _contentChanges :: List TextDocumentContentChangeEvent
}
data TextDocumentSaveReason
- = SaveManual
- | SaveAfterDelay
- | SaveFocusOut
data WillSaveTextDocumentParams = WillSaveTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
- _reason :: TextDocumentSaveReason
}
data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _includeText :: (Maybe Bool)
}
data DidSaveTextDocumentParams = DidSaveTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
- _text :: Maybe Text
}
data DidCloseTextDocumentParams = DidCloseTextDocumentParams {
- _textDocument :: TextDocumentIdentifier
}
data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _linkSupport :: Maybe Bool
}
data TypeDefinitionOptions = TypeDefinitionOptions {
- _workDoneProgress :: (Maybe Bool)
}
data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {
- _documentSelector :: (Maybe DocumentSelector)
- _workDoneProgress :: (Maybe Bool)
- _id :: (Maybe Text)
}
data TypeDefinitionParams = TypeDefinitionParams {
- _textDocument :: TextDocumentIdentifier
- _position :: Position
- _workDoneToken :: (Maybe ProgressToken)
- _partialResultToken :: (Maybe ProgressToken)
}
newtype Uri = Uri {
- getUri :: Text
}
uriToFilePath :: Uri -> Maybe FilePath
filePathToUri :: FilePath -> Uri
data NormalizedUri = NormalizedUri !Int !Text
toNormalizedUri :: Uri -> NormalizedUri
fromNormalizedUri :: NormalizedUri -> Uri
data NormalizedFilePath = NormalizedFilePath NormalizedUri !FilePath
toNormalizedFilePath :: FilePath -> NormalizedFilePath
fromNormalizedFilePath :: NormalizedFilePath -> FilePath
normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {
- _dynamicRegistration :: Maybe Bool
}
data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {
- _watchers :: List FileSystemWatcher
}
data FileSystemWatcher = FileSystemWatcher {
- _globPattern :: Text
- _kind :: Maybe WatchKind
}
data WatchKind = WatchKind {
- _watchCreate :: Bool
- _watchChange :: Bool
- _watchDelete :: Bool
}
data FileChangeType
- = FcCreated
- | FcChanged
- | FcDeleted
data FileEvent = FileEvent {
- _uri :: Uri
- _xtype :: FileChangeType
}
data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {
- _changes :: List FileEvent
}
data MessageType
- = MtError
- | MtWarning
- | MtInfo
- | MtLog
data ShowMessageParams = ShowMessageParams {
- _xtype :: MessageType
- _message :: Text
}
data MessageActionItem = MessageActionItem {
- _title :: Text
}
data ShowMessageRequestParams = ShowMessageRequestParams {
- _xtype :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
}
data 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
}
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 CancelParams Source #

Constructors

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

Instances

Instances details

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

data CodeActionKind Source #

Constructors

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

Instances

Instances details

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

data CodeActionKindClientCapabilities Source #

Constructors

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

Instances

Instances details

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

data CodeActionLiteralSupport Source #

Constructors

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

Instances

Instances details

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

data CodeActionResolveClientCapabilities Source #

Constructors

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

Instances

Instances details

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

data CodeActionClientCapabilities Source #

Constructors

CodeActionClientCapabilities

Fields

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

Instances

Instances details

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

data CodeActionOptions Source #

Constructors

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

Instances

Instances details

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

data CodeActionRegistrationOptions Source #

Constructors

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

Instances

Instances details

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

data CodeActionContext Source #

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

Constructors

CodeActionContext

Fields

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

Instances

Instances details

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

data CodeActionParams Source #

Constructors

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

Instances

Instances details

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

newtype Reason Source #

Constructors

Reason
Fields _reason :: Text

Instances

Instances details

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

data CodeAction Source #

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

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

Constructors

CodeAction

Fields

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

Instances

Instances details

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

data CodeLensClientCapabilities Source #

Constructors

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

Instances

Instances details

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

data CodeLensOptions Source #

Constructors

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

Instances

Instances details

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

data CodeLensRegistrationOptions Source #

Constructors

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

Instances

Instances details

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

data CodeLensParams Source #

Constructors

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

Instances

Instances details

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

data CodeLens Source #

A code lens represents a command that should be shown along with source text, like the number of references, a way to run tests, etc.

A code lens is _unresolved_ when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.

Constructors

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

Instances

Instances details

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

data ExecuteCommandClientCapabilities Source #

Constructors

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

Instances

Instances details

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

data ExecuteCommandOptions Source #

Constructors

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

Instances

Instances details

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

data ExecuteCommandRegistrationOptions Source #

Constructors

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

Instances

Instances details

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

data ExecuteCommandParams Source #

Constructors

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

Instances

Instances details

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

data Command Source #

Constructors

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

Instances

Instances details

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

data a |? b infixr 9 Source #

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

Constructors

InL a
InR b

Instances

Instances details

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

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

newtype List a Source #

All LSP types representing a list **must** use this type rather than '[]'. In particular this is necessary to change the FromJSON instance to be compatible with Elisp (where empty lists show up as null)

Constructors

List [a]

Instances

Instances details

Functor List Source #
Instance details Defined in Language.LSP.Types.Common Methods fmap :: (a -> b) -> List a -> List b # (<$) :: a -> List b -> List a #
Foldable List Source #
Instance details Defined in Language.LSP.Types.Common Methods fold :: Monoid m => List m -> m # foldMap :: Monoid m => (a -> m) -> List a -> m # foldMap' :: Monoid m => (a -> m) -> List a -> m # foldr :: (a -> b -> b) -> b -> List a -> b # foldr' :: (a -> b -> b) -> b -> List a -> b # foldl :: (b -> a -> b) -> b -> List a -> b # foldl' :: (b -> a -> b) -> b -> List a -> b # foldr1 :: (a -> a -> a) -> List a -> a # foldl1 :: (a -> a -> a) -> List a -> a # toList :: List a -> [a] # null :: List a -> Bool # length :: List a -> Int # elem :: Eq a => a -> List a -> Bool # maximum :: Ord a => List a -> a # minimum :: Ord a => List a -> a # sum :: Num a => List a -> a # product :: Num a => List a -> a #
Traversable List Source #
Instance details Defined in Language.LSP.Types.Common Methods traverse :: Applicative f => (a -> f b) -> List a -> f (List b) # sequenceA :: Applicative f => List (f a) -> f (List a) # mapM :: Monad m => (a -> m b) -> List a -> m (List b) # sequence :: Monad m => List (m a) -> m (List a) #
HasWorkspaceFolders InitializeParams (Maybe (List WorkspaceFolder)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods workspaceFolders :: Lens' InitializeParams (Maybe (List WorkspaceFolder)) Source #
HasRegistrations RegistrationParams (List SomeRegistration) Source #
Instance details Defined in Language.LSP.Types.Lens Methods registrations :: Lens' RegistrationParams (List SomeRegistration) Source #
HasUnregisterations UnregistrationParams (List Unregistration) Source #
Instance details Defined in Language.LSP.Types.Lens Methods unregisterations :: Lens' UnregistrationParams (List Unregistration) Source #
HasParameters SignatureInformation (Maybe (List ParameterInformation)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods parameters :: Lens' SignatureInformation (Maybe (List ParameterInformation)) Source #
HasItems ConfigurationParams (List ConfigurationItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' ConfigurationParams (List ConfigurationItem) Source #
HasItems CompletionList (List CompletionItem) Source #
Instance details Defined in Language.LSP.Types.Lens Methods items :: Lens' CompletionList (List CompletionItem) Source #
HasWatchers DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher) Source #
Instance details Defined in Language.LSP.Types.Lens Methods watchers :: Lens' DidChangeWatchedFilesRegistrationOptions (List FileSystemWatcher) Source #
HasChanges DidChangeWatchedFilesParams (List FileEvent) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' DidChangeWatchedFilesParams (List FileEvent) Source #
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source #
Instance details Defined in Language.LSP.Types.Lens Methods changes :: Lens' WorkspaceEdit (Maybe WorkspaceEditMap) Source #
HasValueSet DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' DocumentSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
HasValueSet PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' PublishDiagnosticsTagsClientCapabilities (List DiagnosticTag) Source #
HasValueSet CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
HasValueSet CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
HasValueSet CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
HasValueSet CodeActionKindClientCapabilities (List CodeActionKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CodeActionKindClientCapabilities (List CodeActionKind) Source #
HasValueSet WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' WorkspaceSymbolKindClientCapabilities (Maybe (List SymbolKind)) Source #
HasTags DocumentSymbol (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' DocumentSymbol (Maybe (List SymbolTag)) Source #
HasTags SymbolInformation (Maybe (List SymbolTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' SymbolInformation (Maybe (List SymbolTag)) Source #
HasTags Diagnostic (Maybe (List DiagnosticTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' Diagnostic (Maybe (List DiagnosticTag)) Source #
HasTags CompletionItem (Maybe (List CompletionItemTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CompletionItem (Maybe (List CompletionItemTag)) Source #
HasCommitCharacters CompletionItem (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commitCharacters :: Lens' CompletionItem (Maybe (List Text)) Source #
HasAdditionalTextEdits ColorPresentation (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' ColorPresentation (Maybe (List TextEdit)) Source #
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods additionalTextEdits :: Lens' CompletionItem (Maybe (List TextEdit)) Source #
HasTriggerCharacters SignatureHelpOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpOptions (Maybe (List Text)) Source #
HasTriggerCharacters SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods triggerCharacters :: Lens' SignatureHelpRegistrationOptions (Maybe (List Text)) Source #
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TextDocumentSaveRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TextDocumentSaveRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector TypeDefinitionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' TypeDefinitionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' SelectionRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector RenameRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' RenameRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ReferenceRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' ImplementationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector HoverRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' HoverRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentRangeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentOnTypeFormattingRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' FoldingRangeRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentSymbolRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentLinkRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentHighlightRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DefinitionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DeclarationRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeLensRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' DocumentColorRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CompletionRegistrationOptions (Maybe DocumentSelector) Source #
HasDocumentSelector CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentSelector :: Lens' CodeActionRegistrationOptions (Maybe DocumentSelector) Source #
HasProperties CompletionItemResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CompletionItemResolveClientCapabilities (List Text) Source #
HasProperties CodeActionResolveClientCapabilities (List Text) Source #
Instance details Defined in Language.LSP.Types.Lens Methods properties :: Lens' CodeActionResolveClientCapabilities (List Text) Source #
HasDocumentationFormat SignatureHelpSignatureInformation (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' SignatureHelpSignatureInformation (Maybe (List MarkupKind)) Source #
HasDocumentationFormat CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
HasCodeActionKinds CodeActionOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionOptions (Maybe (List CodeActionKind)) Source #
HasCodeActionKinds CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods codeActionKinds :: Lens' CodeActionRegistrationOptions (Maybe (List CodeActionKind)) Source #
HasOnly CodeActionContext (Maybe (List CodeActionKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods only :: Lens' CodeActionContext (Maybe (List CodeActionKind)) Source #
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' PublishDiagnosticsParams (List Diagnostic) Source #
HasDiagnostics CodeActionContext (List Diagnostic) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeActionContext (List Diagnostic) Source #
HasDiagnostics CodeAction (Maybe (List Diagnostic)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods diagnostics :: Lens' CodeAction (Maybe (List Diagnostic)) Source #
HasPositions SelectionRangeParams (List Position) Source #
Instance details Defined in Language.LSP.Types.Lens Methods positions :: Lens' SelectionRangeParams (List Position) Source #
HasChildren DocumentSymbol (Maybe (List DocumentSymbol)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods children :: Lens' DocumentSymbol (Maybe (List DocumentSymbol)) Source #
HasEdits TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods edits :: Lens' TextDocumentEdit (List (TextEdit \|? AnnotatedTextEdit)) Source #
HasDocumentChanges WorkspaceEdit (Maybe (List DocumentChange)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentChanges :: Lens' WorkspaceEdit (Maybe (List DocumentChange)) Source #
HasResourceOperations WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resourceOperations :: Lens' WorkspaceEditClientCapabilities (Maybe (List ResourceOperationKind)) Source #
HasRemoved WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
Instance details Defined in Language.LSP.Types.Lens Methods removed :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
HasAdded WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
Instance details Defined in Language.LSP.Types.Lens Methods added :: Lens' WorkspaceFoldersChangeEvent (List WorkspaceFolder) Source #
HasContentChanges DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) Source #
Instance details Defined in Language.LSP.Types.Lens Methods contentChanges :: Lens' DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) Source #
HasArguments ExecuteCommandParams (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' ExecuteCommandParams (Maybe (List Value)) Source #
HasArguments Command (Maybe (List Value)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods arguments :: Lens' Command (Maybe (List Value)) 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 #
HasRelatedInformation Diagnostic (Maybe (List DiagnosticRelatedInformation)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods relatedInformation :: Lens' Diagnostic (Maybe (List DiagnosticRelatedInformation)) Source #
HasContentFormat HoverClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods contentFormat :: Lens' HoverClientCapabilities (Maybe (List MarkupKind)) 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 #
HasSignatures SignatureHelp (List SignatureInformation) Source #
Instance details Defined in Language.LSP.Types.Lens Methods signatures :: Lens' SignatureHelp (List SignatureInformation) Source #
Eq a => Eq (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods (==) :: List a -> List a -> Bool # (/=) :: List a -> List a -> Bool #
Ord a => Ord (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods compare :: List a -> List a -> Ordering # (<) :: List a -> List a -> Bool # (<=) :: List a -> List a -> Bool # (>) :: List a -> List a -> Bool # (>=) :: List a -> List a -> Bool # max :: List a -> List a -> List a # min :: List a -> List a -> List a #
Read a => Read (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods readsPrec :: Int -> ReadS (List a) # readList :: ReadS [List a] # readPrec :: ReadPrec (List a) # readListPrec :: ReadPrec [List a] #
Show a => Show (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods showsPrec :: Int -> List a -> ShowS # show :: List a -> String # showList :: [List a] -> ShowS #
Generic (List a) Source #
Instance details Defined in Language.LSP.Types.Common Associated Types type Rep (List a) :: Type -> Type # Methods from :: List a -> Rep (List a) x # to :: Rep (List a) x -> List a #
Semigroup (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods (<>) :: List a -> List a -> List a # sconcat :: NonEmpty (List a) -> List a # stimes :: Integral b => b -> List a -> List a #
Monoid (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods mempty :: List a # mappend :: List a -> List a -> List a # mconcat :: [List a] -> List a #
ToJSON a => ToJSON (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods toJSON :: List a -> Value # toEncoding :: List a -> Encoding # toJSONList :: [List a] -> Value # toEncodingList :: [List a] -> Encoding #
FromJSON a => FromJSON (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods parseJSON :: Value -> Parser (List a) # parseJSONList :: Value -> Parser [List a] #
NFData a => NFData (List a) Source #
Instance details Defined in Language.LSP.Types.Common Methods rnf :: List a -> () #
type Rep (List a) Source #
Instance details Defined in Language.LSP.Types.Common type Rep (List a) = D1 ('MetaData "List" "Language.LSP.Types.Common" "lsp-types-1.2.0.0-7pt44wIbdZXC4MysLJdkbt" 'True) (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

data Empty Source #

Constructors

Empty

Instances

Instances details

Eq Empty Source #
Instance details Defined in Language.LSP.Types.Common Methods (==) :: Empty -> Empty -> Bool # (/=) :: Empty -> Empty -> Bool #
Ord Empty Source #
Instance details Defined in Language.LSP.Types.Common Methods compare :: Empty -> Empty -> Ordering # (<) :: Empty -> Empty -> Bool # (<=) :: Empty -> Empty -> Bool # (>) :: Empty -> Empty -> Bool # (>=) :: Empty -> Empty -> Bool # max :: Empty -> Empty -> Empty # min :: Empty -> Empty -> Empty #
Show Empty Source #
Instance details Defined in Language.LSP.Types.Common Methods showsPrec :: Int -> Empty -> ShowS # show :: Empty -> String # showList :: [Empty] -> ShowS #
ToJSON Empty Source #
Instance details Defined in Language.LSP.Types.Common Methods toJSON :: Empty -> Value # toEncoding :: Empty -> Encoding # toJSONList :: [Empty] -> Value # toEncodingList :: [Empty] -> Encoding #
FromJSON Empty Source #
Instance details Defined in Language.LSP.Types.Common Methods parseJSON :: Value -> Parser Empty # parseJSONList :: Value -> Parser [Empty] #

data CompletionItemKind Source #

Instances

Instances details

Eq CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemKind -> CompletionItemKind -> Bool # (/=) :: CompletionItemKind -> CompletionItemKind -> Bool #
Ord CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods compare :: CompletionItemKind -> CompletionItemKind -> Ordering # (<) :: CompletionItemKind -> CompletionItemKind -> Bool # (<=) :: CompletionItemKind -> CompletionItemKind -> Bool # (>) :: CompletionItemKind -> CompletionItemKind -> Bool # (>=) :: CompletionItemKind -> CompletionItemKind -> Bool # max :: CompletionItemKind -> CompletionItemKind -> CompletionItemKind # min :: CompletionItemKind -> CompletionItemKind -> CompletionItemKind #
Read CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemKind # readList :: ReadS [CompletionItemKind] # readPrec :: ReadPrec CompletionItemKind # readListPrec :: ReadPrec [CompletionItemKind] #
Show CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemKind -> ShowS # show :: CompletionItemKind -> String # showList :: [CompletionItemKind] -> ShowS #
ToJSON CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemKind -> Value # toEncoding :: CompletionItemKind -> Encoding # toJSONList :: [CompletionItemKind] -> Value # toEncodingList :: [CompletionItemKind] -> Encoding #
FromJSON CompletionItemKind Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemKind # parseJSONList :: Value -> Parser [CompletionItemKind] #
HasKind CompletionItem (Maybe CompletionItemKind) Source #
Instance details Defined in Language.LSP.Types.Lens Methods kind :: Lens' CompletionItem (Maybe CompletionItemKind) Source #
HasValueSet CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #

data CompletionItemTag Source #

Constructors

CitDeprecated	Render a completion as obsolete, usually using a strike-out.
CitUnknown Scientific

Instances

Instances details

Eq CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemTag -> CompletionItemTag -> Bool # (/=) :: CompletionItemTag -> CompletionItemTag -> Bool #
Ord CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods compare :: CompletionItemTag -> CompletionItemTag -> Ordering # (<) :: CompletionItemTag -> CompletionItemTag -> Bool # (<=) :: CompletionItemTag -> CompletionItemTag -> Bool # (>) :: CompletionItemTag -> CompletionItemTag -> Bool # (>=) :: CompletionItemTag -> CompletionItemTag -> Bool # max :: CompletionItemTag -> CompletionItemTag -> CompletionItemTag # min :: CompletionItemTag -> CompletionItemTag -> CompletionItemTag #
Read CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemTag # readList :: ReadS [CompletionItemTag] # readPrec :: ReadPrec CompletionItemTag # readListPrec :: ReadPrec [CompletionItemTag] #
Show CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemTag -> ShowS # show :: CompletionItemTag -> String # showList :: [CompletionItemTag] -> ShowS #
ToJSON CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemTag -> Value # toEncoding :: CompletionItemTag -> Encoding # toJSONList :: [CompletionItemTag] -> Value # toEncodingList :: [CompletionItemTag] -> Encoding #
FromJSON CompletionItemTag Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemTag # parseJSONList :: Value -> Parser [CompletionItemTag] #
HasValueSet CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
HasTags CompletionItem (Maybe (List CompletionItemTag)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tags :: Lens' CompletionItem (Maybe (List CompletionItemTag)) Source #

data CompletionItemTagsClientCapabilities Source #

Constructors

CompletionItemTagsClientCapabilities
Fields _valueSet :: List CompletionItemTag The tag supported by the client.

Instances

Instances details

Eq CompletionItemTagsClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemTagsClientCapabilities -> CompletionItemTagsClientCapabilities -> Bool # (/=) :: CompletionItemTagsClientCapabilities -> CompletionItemTagsClientCapabilities -> Bool #
Read CompletionItemTagsClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemTagsClientCapabilities # readList :: ReadS [CompletionItemTagsClientCapabilities] # readPrec :: ReadPrec CompletionItemTagsClientCapabilities # readListPrec :: ReadPrec [CompletionItemTagsClientCapabilities] #
Show CompletionItemTagsClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemTagsClientCapabilities -> ShowS # show :: CompletionItemTagsClientCapabilities -> String # showList :: [CompletionItemTagsClientCapabilities] -> ShowS #
ToJSON CompletionItemTagsClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemTagsClientCapabilities -> Value # toEncoding :: CompletionItemTagsClientCapabilities -> Encoding # toJSONList :: [CompletionItemTagsClientCapabilities] -> Value # toEncodingList :: [CompletionItemTagsClientCapabilities] -> Encoding #
FromJSON CompletionItemTagsClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemTagsClientCapabilities # parseJSONList :: Value -> Parser [CompletionItemTagsClientCapabilities] #
HasValueSet CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemTagsClientCapabilities (List CompletionItemTag) Source #
HasTagSupport CompletionItemClientCapabilities (Maybe CompletionItemTagsClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tagSupport :: Lens' CompletionItemClientCapabilities (Maybe CompletionItemTagsClientCapabilities) Source #

data CompletionItemResolveClientCapabilities Source #

Constructors

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

Instances

Instances details

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

data InsertTextMode Source #

How whitespace and indentation is handled during completion item insertion.

Since: 3.16.0

Constructors

AsIs

The insertion or replace strings is taken as it is. If the value is multi line the lines below the cursor will be inserted using the indentation defined in the string value. The client will not apply any kind of adjustments to the string.

AdjustIndentation

The editor adjusts leading whitespace of new lines so that they match the indentation up to the cursor of the line for which the item is accepted.

Consider a line like this: 2tabs cursor 3tabsfoo. Accepting a multi line completion item is indented using 2 tabs and all following lines inserted will be indented using 2 tabs as well.

Instances

Instances details

Eq InsertTextMode Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: InsertTextMode -> InsertTextMode -> Bool # (/=) :: InsertTextMode -> InsertTextMode -> Bool #
Read InsertTextMode Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS InsertTextMode # readList :: ReadS [InsertTextMode] # readPrec :: ReadPrec InsertTextMode # readListPrec :: ReadPrec [InsertTextMode] #
Show InsertTextMode Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> InsertTextMode -> ShowS # show :: InsertTextMode -> String # showList :: [InsertTextMode] -> ShowS #
ToJSON InsertTextMode Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: InsertTextMode -> Value # toEncoding :: InsertTextMode -> Encoding # toJSONList :: [InsertTextMode] -> Value # toEncodingList :: [InsertTextMode] -> Encoding #
FromJSON InsertTextMode Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser InsertTextMode # parseJSONList :: Value -> Parser [InsertTextMode] #
HasValueSet CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
HasInsertTextMode CompletionItem (Maybe InsertTextMode) Source #
Instance details Defined in Language.LSP.Types.Lens Methods insertTextMode :: Lens' CompletionItem (Maybe InsertTextMode) Source #

data CompletionItemInsertTextModeClientCapabilities Source #

Constructors

CompletionItemInsertTextModeClientCapabilities
Fields _valueSet :: List InsertTextMode

Instances

Instances details

Eq CompletionItemInsertTextModeClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemInsertTextModeClientCapabilities -> CompletionItemInsertTextModeClientCapabilities -> Bool # (/=) :: CompletionItemInsertTextModeClientCapabilities -> CompletionItemInsertTextModeClientCapabilities -> Bool #
Read CompletionItemInsertTextModeClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemInsertTextModeClientCapabilities # readList :: ReadS [CompletionItemInsertTextModeClientCapabilities] # readPrec :: ReadPrec CompletionItemInsertTextModeClientCapabilities # readListPrec :: ReadPrec [CompletionItemInsertTextModeClientCapabilities] #
Show CompletionItemInsertTextModeClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemInsertTextModeClientCapabilities -> ShowS # show :: CompletionItemInsertTextModeClientCapabilities -> String # showList :: [CompletionItemInsertTextModeClientCapabilities] -> ShowS #
ToJSON CompletionItemInsertTextModeClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemInsertTextModeClientCapabilities -> Value # toEncoding :: CompletionItemInsertTextModeClientCapabilities -> Encoding # toJSONList :: [CompletionItemInsertTextModeClientCapabilities] -> Value # toEncodingList :: [CompletionItemInsertTextModeClientCapabilities] -> Encoding #
FromJSON CompletionItemInsertTextModeClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemInsertTextModeClientCapabilities # parseJSONList :: Value -> Parser [CompletionItemInsertTextModeClientCapabilities] #
HasValueSet CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemInsertTextModeClientCapabilities (List InsertTextMode) Source #
HasInsertTextModeSupport CompletionItemClientCapabilities (Maybe CompletionItemInsertTextModeClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods insertTextModeSupport :: Lens' CompletionItemClientCapabilities (Maybe CompletionItemInsertTextModeClientCapabilities) Source #

data CompletionItemClientCapabilities Source #

Constructors

CompletionItemClientCapabilities

Fields

_snippetSupport :: Maybe Bool
Client supports snippets as insert text.
A snippet can define tab stops and placeholders with `$1`, `$2` and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end of the snippet. Placeholders with equal identifiers are linked, that is typing in one will update others too.
_commitCharactersSupport :: Maybe Bool
Client supports commit characters on a completion item.
_documentationFormat :: Maybe (List MarkupKind)
Client supports the follow content formats for the documentation property. The order describes the preferred format of the client.
_deprecatedSupport :: Maybe Bool
Client supports the deprecated property on a completion item.
_preselectSupport :: Maybe Bool
Client supports the preselect property on a completion item.
_tagSupport :: Maybe CompletionItemTagsClientCapabilities
Client supports the tag property on a completion item. Clients supporting tags have to handle unknown tags gracefully. Clients especially need to preserve unknown tags when sending a completion item back to the server in a resolve call.
Since: 3.15.0
_insertReplaceSupport :: Maybe Bool
Client supports insert replace edit to control different behavior if completion item is inserted in the text or should replace text.
Since: 3.16.0
_resolveSupport :: Maybe CompletionItemResolveClientCapabilities
Indicates which properties a client can resolve lazily on a completion item. Before version 3.16.0 only the predefined properties documentation and details could be resolved lazily.
Since: 3.16.0
_insertTextModeSupport :: Maybe CompletionItemInsertTextModeClientCapabilities
The client supports the insertTextMode property on a completion item to override the whitespace handling mode as defined by the client (see insertTextMode).
Since: 3.16.0

Instances

Instances details

Eq CompletionItemClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemClientCapabilities -> CompletionItemClientCapabilities -> Bool # (/=) :: CompletionItemClientCapabilities -> CompletionItemClientCapabilities -> Bool #
Read CompletionItemClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemClientCapabilities # readList :: ReadS [CompletionItemClientCapabilities] # readPrec :: ReadPrec CompletionItemClientCapabilities # readListPrec :: ReadPrec [CompletionItemClientCapabilities] #
Show CompletionItemClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemClientCapabilities -> ShowS # show :: CompletionItemClientCapabilities -> String # showList :: [CompletionItemClientCapabilities] -> ShowS #
ToJSON CompletionItemClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemClientCapabilities -> Value # toEncoding :: CompletionItemClientCapabilities -> Encoding # toJSONList :: [CompletionItemClientCapabilities] -> Value # toEncodingList :: [CompletionItemClientCapabilities] -> Encoding #
FromJSON CompletionItemClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemClientCapabilities # parseJSONList :: Value -> Parser [CompletionItemClientCapabilities] #
HasTagSupport CompletionItemClientCapabilities (Maybe CompletionItemTagsClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods tagSupport :: Lens' CompletionItemClientCapabilities (Maybe CompletionItemTagsClientCapabilities) Source #
HasSnippetSupport CompletionItemClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods snippetSupport :: Lens' CompletionItemClientCapabilities (Maybe Bool) Source #
HasResolveSupport CompletionItemClientCapabilities (Maybe CompletionItemResolveClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods resolveSupport :: Lens' CompletionItemClientCapabilities (Maybe CompletionItemResolveClientCapabilities) Source #
HasPreselectSupport CompletionItemClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods preselectSupport :: Lens' CompletionItemClientCapabilities (Maybe Bool) Source #
HasInsertTextModeSupport CompletionItemClientCapabilities (Maybe CompletionItemInsertTextModeClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods insertTextModeSupport :: Lens' CompletionItemClientCapabilities (Maybe CompletionItemInsertTextModeClientCapabilities) Source #
HasInsertReplaceSupport CompletionItemClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods insertReplaceSupport :: Lens' CompletionItemClientCapabilities (Maybe Bool) Source #
HasDocumentationFormat CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods documentationFormat :: Lens' CompletionItemClientCapabilities (Maybe (List MarkupKind)) Source #
HasDeprecatedSupport CompletionItemClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods deprecatedSupport :: Lens' CompletionItemClientCapabilities (Maybe Bool) Source #
HasCommitCharactersSupport CompletionItemClientCapabilities (Maybe Bool) Source #
Instance details Defined in Language.LSP.Types.Lens Methods commitCharactersSupport :: Lens' CompletionItemClientCapabilities (Maybe Bool) Source #
HasCompletionItem CompletionClientCapabilities (Maybe CompletionItemClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods completionItem :: Lens' CompletionClientCapabilities (Maybe CompletionItemClientCapabilities) Source #

data CompletionItemKindClientCapabilities Source #

Constructors

CompletionItemKindClientCapabilities
Fields _valueSet :: Maybe (List CompletionItemKind) The completion item kind values the client supports. When this property exists the client also guarantees that it will handle values outside its set gracefully and falls back to a default value when unknown.

Instances

Instances details

Eq CompletionItemKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods (==) :: CompletionItemKindClientCapabilities -> CompletionItemKindClientCapabilities -> Bool # (/=) :: CompletionItemKindClientCapabilities -> CompletionItemKindClientCapabilities -> Bool #
Read CompletionItemKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods readsPrec :: Int -> ReadS CompletionItemKindClientCapabilities # readList :: ReadS [CompletionItemKindClientCapabilities] # readPrec :: ReadPrec CompletionItemKindClientCapabilities # readListPrec :: ReadPrec [CompletionItemKindClientCapabilities] #
Show CompletionItemKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods showsPrec :: Int -> CompletionItemKindClientCapabilities -> ShowS # show :: CompletionItemKindClientCapabilities -> String # showList :: [CompletionItemKindClientCapabilities] -> ShowS #
ToJSON CompletionItemKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods toJSON :: CompletionItemKindClientCapabilities -> Value # toEncoding :: CompletionItemKindClientCapabilities -> Encoding # toJSONList :: [CompletionItemKindClientCapabilities] -> Value # toEncodingList :: [CompletionItemKindClientCapabilities] -> Encoding #
FromJSON CompletionItemKindClientCapabilities Source #
Instance details Defined in Language.LSP.Types.Completion Methods parseJSON :: Value -> Parser CompletionItemKindClientCapabilities # parseJSONList :: Value -> Parser [CompletionItemKindClientCapabilities] #
HasValueSet CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
Instance details Defined in Language.LSP.Types.Lens Methods valueSet :: Lens' CompletionItemKindClientCapabilities (Maybe (List CompletionItemKind)) Source #
HasCompletionItemKind CompletionClientCapabilities (Maybe CompletionItemKindClientCapabilities) Source #
Instance details Defined in Language.LSP.Types.Lens Methods completionItemKind :: Lens' CompletionClientCapabilities (Maybe CompletionItemKindClientCapabilities) Source #

data CompletionClientCapabilities Source #

Constructors

CompletionClientCapabilities
Fields _dynamicRegistration :: Maybe Bool Whether completion supports dynamic registration. _completionItem :: Maybe CompletionItemClientCapabilities _completionItemKind :: Maybe CompletionItemKindClientCapabilities _contextSupport :: Maybe Bool

Instances

Instances details

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

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

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