| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Test.Hls
Synopsis
- module Test.Tasty.HUnit
- data TestTree
- data DependencyType
- type TestName = String
- pattern NoTimeout :: Timeout
- after :: DependencyType -> String -> TestTree -> TestTree
- askOption :: IsOption v => (v -> TestTree) -> TestTree
- localOption :: IsOption v => v -> TestTree -> TestTree
- defaultMain :: TestTree -> IO ()
- defaultIngredients :: [Ingredient]
- mkTimeout :: Integer -> Timeout
- testGroup :: TestName -> [TestTree] -> TestTree
- sequentialTestGroup :: TestName -> DependencyType -> [TestTree] -> TestTree
- after_ :: DependencyType -> Expr -> TestTree -> TestTree
- includingOptions :: [OptionDescription] -> Ingredient
- defaultMainWithIngredients :: [Ingredient] -> TestTree -> IO ()
- adjustOption :: IsOption v => (v -> v) -> TestTree -> TestTree
- withResource :: IO a -> (a -> IO ()) -> (IO a -> TestTree) -> TestTree
- module Test.Tasty.ExpectedFailure
- module Test.Hls.Util
- newtype Pattern = Pattern Text
- data UInt
- data Int32
- data Color = Color {}
- data Location = Location {}
- data Position = Position {
- _line :: UInt
- _character :: UInt
- data EncodingException
- data Diagnostic = Diagnostic {}
- data Command = Command {}
- data Range = Range {}
- data WorkspaceEdit = WorkspaceEdit {}
- data CodeActionKind
- data NormalizedUri = NormalizedUri !Int !Text
- data NormalizedFilePath
- data DiagnosticSeverity
- newtype Uri = Uri {}
- data AnnotatedTextEdit = AnnotatedTextEdit {}
- data ApplyWorkspaceEditParams = ApplyWorkspaceEditParams {
- _label :: Maybe Text
- _edit :: WorkspaceEdit
- data ApplyWorkspaceEditResult = ApplyWorkspaceEditResult {}
- data BaseSymbolInformation = BaseSymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _containerName :: Maybe Text
- data CallHierarchyClientCapabilities = CallHierarchyClientCapabilities {}
- data CallHierarchyIncomingCall = CallHierarchyIncomingCall {
- _from :: CallHierarchyItem
- _fromRanges :: [Range]
- data CallHierarchyIncomingCallsParams = CallHierarchyIncomingCallsParams {}
- data CallHierarchyItem = CallHierarchyItem {}
- data CallHierarchyOptions = CallHierarchyOptions {}
- data CallHierarchyOutgoingCall = CallHierarchyOutgoingCall {
- _to :: CallHierarchyItem
- _fromRanges :: [Range]
- data CallHierarchyOutgoingCallsParams = CallHierarchyOutgoingCallsParams {}
- data CallHierarchyPrepareParams = CallHierarchyPrepareParams {}
- data CallHierarchyRegistrationOptions = CallHierarchyRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data CancelParams = CancelParams {}
- data ChangeAnnotation = ChangeAnnotation {}
- newtype ChangeAnnotationIdentifier = ChangeAnnotationIdentifier Text
- data ClientCapabilities = ClientCapabilities {}
- data CodeAction = CodeAction {}
- data CodeActionClientCapabilities = CodeActionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _codeActionLiteralSupport :: Maybe (Rec (("codeActionKind" .== Rec (("valueSet" .== [CodeActionKind]) .+ (Empty :: Row Type))) .+ (Empty :: Row Type)))
- _isPreferredSupport :: Maybe Bool
- _disabledSupport :: Maybe Bool
- _dataSupport :: Maybe Bool
- _resolveSupport :: Maybe (Rec (("properties" .== [Text]) .+ (Empty :: Row Type)))
- _honorsChangeAnnotations :: Maybe Bool
- data CodeActionContext = CodeActionContext {}
- data CodeActionOptions = CodeActionOptions {}
- data CodeActionParams = CodeActionParams {}
- data CodeActionRegistrationOptions = CodeActionRegistrationOptions {}
- data CodeActionTriggerKind
- data CodeDescription = CodeDescription {}
- data CodeLens = CodeLens {}
- data CodeLensClientCapabilities = CodeLensClientCapabilities {}
- data CodeLensOptions = CodeLensOptions {}
- data CodeLensParams = CodeLensParams {}
- data CodeLensRegistrationOptions = CodeLensRegistrationOptions {}
- data CodeLensWorkspaceClientCapabilities = CodeLensWorkspaceClientCapabilities {}
- data ColorInformation = ColorInformation {}
- data ColorPresentation = ColorPresentation {}
- data ColorPresentationParams = ColorPresentationParams {}
- data CompletionClientCapabilities = CompletionClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _completionItem :: Maybe (Rec (("snippetSupport" .== Maybe Bool) .+ (("commitCharactersSupport" .== Maybe Bool) .+ (("documentationFormat" .== Maybe [MarkupKind]) .+ (("deprecatedSupport" .== Maybe Bool) .+ (("preselectSupport" .== Maybe Bool) .+ (("tagSupport" .== Maybe (Rec (("valueSet" .== [CompletionItemTag]) .+ (Empty :: Row Type)))) .+ (("insertReplaceSupport" .== Maybe Bool) .+ (("resolveSupport" .== Maybe (Rec (("properties" .== [Text]) .+ (Empty :: Row Type)))) .+ (("insertTextModeSupport" .== Maybe (Rec (("valueSet" .== [InsertTextMode]) .+ (Empty :: Row Type)))) .+ (("labelDetailsSupport" .== Maybe Bool) .+ (Empty :: Row Type))))))))))))
- _completionItemKind :: Maybe (Rec (("valueSet" .== Maybe [CompletionItemKind]) .+ (Empty :: Row Type)))
- _insertTextMode :: Maybe InsertTextMode
- _contextSupport :: Maybe Bool
- _completionList :: Maybe (Rec (("itemDefaults" .== Maybe [Text]) .+ (Empty :: Row Type)))
- data CompletionContext = CompletionContext {}
- data CompletionItem = CompletionItem {
- _label :: Text
- _labelDetails :: Maybe CompletionItemLabelDetails
- _kind :: Maybe CompletionItemKind
- _tags :: Maybe [CompletionItemTag]
- _detail :: Maybe Text
- _documentation :: Maybe (Text |? MarkupContent)
- _deprecated :: Maybe Bool
- _preselect :: Maybe Bool
- _sortText :: Maybe Text
- _filterText :: Maybe Text
- _insertText :: Maybe Text
- _insertTextFormat :: Maybe InsertTextFormat
- _insertTextMode :: Maybe InsertTextMode
- _textEdit :: Maybe (TextEdit |? InsertReplaceEdit)
- _textEditText :: Maybe Text
- _additionalTextEdits :: Maybe [TextEdit]
- _commitCharacters :: Maybe [Text]
- _command :: Maybe Command
- _data_ :: Maybe Value
- data CompletionItemKind
- = CompletionItemKind_Text
- | CompletionItemKind_Method
- | CompletionItemKind_Function
- | CompletionItemKind_Constructor
- | CompletionItemKind_Field
- | CompletionItemKind_Variable
- | CompletionItemKind_Class
- | CompletionItemKind_Interface
- | CompletionItemKind_Module
- | CompletionItemKind_Property
- | CompletionItemKind_Unit
- | CompletionItemKind_Value
- | CompletionItemKind_Enum
- | CompletionItemKind_Keyword
- | CompletionItemKind_Snippet
- | CompletionItemKind_Color
- | CompletionItemKind_File
- | CompletionItemKind_Reference
- | CompletionItemKind_Folder
- | CompletionItemKind_EnumMember
- | CompletionItemKind_Constant
- | CompletionItemKind_Struct
- | CompletionItemKind_Event
- | CompletionItemKind_Operator
- | CompletionItemKind_TypeParameter
- data CompletionItemLabelDetails = CompletionItemLabelDetails {}
- data CompletionItemTag = CompletionItemTag_Deprecated
- data CompletionList = CompletionList {
- _isIncomplete :: Bool
- _itemDefaults :: Maybe (Rec (("commitCharacters" .== Maybe [Text]) .+ (("editRange" .== Maybe (Range |? Rec (("insert" .== Range) .+ (("replace" .== Range) .+ (Empty :: Row Type))))) .+ (("insertTextFormat" .== Maybe InsertTextFormat) .+ (("insertTextMode" .== Maybe InsertTextMode) .+ (("data" .== Maybe Value) .+ (Empty :: Row Type)))))))
- _items :: [CompletionItem]
- data CompletionOptions = CompletionOptions {
- _workDoneProgress :: Maybe Bool
- _triggerCharacters :: Maybe [Text]
- _allCommitCharacters :: Maybe [Text]
- _resolveProvider :: Maybe Bool
- _completionItem :: Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ (Empty :: Row Type)))
- data CompletionParams = CompletionParams {}
- data CompletionRegistrationOptions = CompletionRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _triggerCharacters :: Maybe [Text]
- _allCommitCharacters :: Maybe [Text]
- _resolveProvider :: Maybe Bool
- _completionItem :: Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ (Empty :: Row Type)))
- data CompletionTriggerKind
- data ConfigurationItem = ConfigurationItem {}
- data ConfigurationParams = ConfigurationParams {
- _items :: [ConfigurationItem]
- data CreateFile = CreateFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "create"
- _uri :: Uri
- _options :: Maybe CreateFileOptions
- data CreateFileOptions = CreateFileOptions {}
- data CreateFilesParams = CreateFilesParams {
- _files :: [FileCreate]
- newtype Declaration = Declaration (Location |? [Location])
- data DeclarationClientCapabilities = DeclarationClientCapabilities {}
- newtype DeclarationLink = DeclarationLink LocationLink
- data DeclarationOptions = DeclarationOptions {}
- data DeclarationParams = DeclarationParams {}
- data DeclarationRegistrationOptions = DeclarationRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _documentSelector :: DocumentSelector |? Null
- _id :: Maybe Text
- newtype Definition = Definition (Location |? [Location])
- data DefinitionClientCapabilities = DefinitionClientCapabilities {}
- newtype DefinitionLink = DefinitionLink LocationLink
- data DefinitionOptions = DefinitionOptions {}
- data DefinitionParams = DefinitionParams {}
- data DefinitionRegistrationOptions = DefinitionRegistrationOptions {}
- data DeleteFile = DeleteFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "delete"
- _uri :: Uri
- _options :: Maybe DeleteFileOptions
- data DeleteFileOptions = DeleteFileOptions {}
- data DeleteFilesParams = DeleteFilesParams {
- _files :: [FileDelete]
- data DiagnosticClientCapabilities = DiagnosticClientCapabilities {}
- data DiagnosticOptions = DiagnosticOptions {}
- data DiagnosticRegistrationOptions = DiagnosticRegistrationOptions {}
- data DiagnosticRelatedInformation = DiagnosticRelatedInformation {}
- data DiagnosticServerCancellationData = DiagnosticServerCancellationData {}
- data DiagnosticTag
- data DiagnosticWorkspaceClientCapabilities = DiagnosticWorkspaceClientCapabilities {}
- data DidChangeConfigurationClientCapabilities = DidChangeConfigurationClientCapabilities {}
- data DidChangeConfigurationParams = DidChangeConfigurationParams {}
- data DidChangeConfigurationRegistrationOptions = DidChangeConfigurationRegistrationOptions {}
- data DidChangeNotebookDocumentParams = DidChangeNotebookDocumentParams {}
- data DidChangeTextDocumentParams = DidChangeTextDocumentParams {}
- data DidChangeWatchedFilesClientCapabilities = DidChangeWatchedFilesClientCapabilities {}
- data DidChangeWatchedFilesParams = DidChangeWatchedFilesParams {}
- data DidChangeWatchedFilesRegistrationOptions = DidChangeWatchedFilesRegistrationOptions {}
- data DidChangeWorkspaceFoldersParams = DidChangeWorkspaceFoldersParams {}
- data DidCloseNotebookDocumentParams = DidCloseNotebookDocumentParams {}
- data DidCloseTextDocumentParams = DidCloseTextDocumentParams {}
- data DidOpenNotebookDocumentParams = DidOpenNotebookDocumentParams {}
- data DidOpenTextDocumentParams = DidOpenTextDocumentParams {}
- data DidSaveNotebookDocumentParams = DidSaveNotebookDocumentParams {}
- data DidSaveTextDocumentParams = DidSaveTextDocumentParams {}
- data DocumentColorClientCapabilities = DocumentColorClientCapabilities {}
- data DocumentColorOptions = DocumentColorOptions {}
- data DocumentColorParams = DocumentColorParams {}
- data DocumentColorRegistrationOptions = DocumentColorRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data DocumentDiagnosticParams = DocumentDiagnosticParams {}
- newtype DocumentDiagnosticReport = DocumentDiagnosticReport (RelatedFullDocumentDiagnosticReport |? RelatedUnchangedDocumentDiagnosticReport)
- data DocumentDiagnosticReportKind
- data DocumentDiagnosticReportPartialResult = DocumentDiagnosticReportPartialResult {}
- newtype DocumentFilter = DocumentFilter (TextDocumentFilter |? NotebookCellTextDocumentFilter)
- data DocumentFormattingClientCapabilities = DocumentFormattingClientCapabilities {}
- data DocumentFormattingOptions = DocumentFormattingOptions {}
- data DocumentFormattingParams = DocumentFormattingParams {}
- data DocumentFormattingRegistrationOptions = DocumentFormattingRegistrationOptions {}
- data DocumentHighlight = DocumentHighlight {}
- data DocumentHighlightClientCapabilities = DocumentHighlightClientCapabilities {}
- data DocumentHighlightKind
- data DocumentHighlightOptions = DocumentHighlightOptions {}
- data DocumentHighlightParams = DocumentHighlightParams {}
- data DocumentHighlightRegistrationOptions = DocumentHighlightRegistrationOptions {}
- data DocumentLink = DocumentLink {}
- data DocumentLinkClientCapabilities = DocumentLinkClientCapabilities {}
- data DocumentLinkOptions = DocumentLinkOptions {}
- data DocumentLinkParams = DocumentLinkParams {}
- data DocumentLinkRegistrationOptions = DocumentLinkRegistrationOptions {}
- data DocumentOnTypeFormattingClientCapabilities = DocumentOnTypeFormattingClientCapabilities {}
- data DocumentOnTypeFormattingOptions = DocumentOnTypeFormattingOptions {}
- data DocumentOnTypeFormattingParams = DocumentOnTypeFormattingParams {}
- data DocumentOnTypeFormattingRegistrationOptions = DocumentOnTypeFormattingRegistrationOptions {}
- data DocumentRangeFormattingClientCapabilities = DocumentRangeFormattingClientCapabilities {}
- data DocumentRangeFormattingOptions = DocumentRangeFormattingOptions {}
- data DocumentRangeFormattingParams = DocumentRangeFormattingParams {}
- data DocumentRangeFormattingRegistrationOptions = DocumentRangeFormattingRegistrationOptions {}
- newtype DocumentSelector = DocumentSelector [DocumentFilter]
- data DocumentSymbol = DocumentSymbol {
- _name :: Text
- _detail :: Maybe Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _deprecated :: Maybe Bool
- _range :: Range
- _selectionRange :: Range
- _children :: Maybe [DocumentSymbol]
- data DocumentSymbolClientCapabilities = DocumentSymbolClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _symbolKind :: Maybe (Rec (("valueSet" .== Maybe [SymbolKind]) .+ (Empty :: Row Type)))
- _hierarchicalDocumentSymbolSupport :: Maybe Bool
- _tagSupport :: Maybe (Rec (("valueSet" .== [SymbolTag]) .+ (Empty :: Row Type)))
- _labelSupport :: Maybe Bool
- data DocumentSymbolOptions = DocumentSymbolOptions {}
- data DocumentSymbolParams = DocumentSymbolParams {}
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _label :: Maybe Text
- data ErrorCodes
- data ExecuteCommandClientCapabilities = ExecuteCommandClientCapabilities {}
- data ExecuteCommandOptions = ExecuteCommandOptions {
- _workDoneProgress :: Maybe Bool
- _commands :: [Text]
- data ExecuteCommandParams = ExecuteCommandParams {
- _workDoneToken :: Maybe ProgressToken
- _command :: Text
- _arguments :: Maybe [Value]
- data ExecuteCommandRegistrationOptions = ExecuteCommandRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _commands :: [Text]
- data ExecutionSummary = ExecutionSummary {
- _executionOrder :: UInt
- _success :: Maybe Bool
- data FailureHandlingKind
- data FileChangeType
- data FileCreate = FileCreate {}
- data FileDelete = FileDelete {}
- data FileEvent = FileEvent {
- _uri :: Uri
- _type_ :: FileChangeType
- data FileOperationClientCapabilities = FileOperationClientCapabilities {}
- data FileOperationFilter = FileOperationFilter {}
- data FileOperationOptions = FileOperationOptions {
- _didCreate :: Maybe FileOperationRegistrationOptions
- _willCreate :: Maybe FileOperationRegistrationOptions
- _didRename :: Maybe FileOperationRegistrationOptions
- _willRename :: Maybe FileOperationRegistrationOptions
- _didDelete :: Maybe FileOperationRegistrationOptions
- _willDelete :: Maybe FileOperationRegistrationOptions
- data FileOperationPattern = FileOperationPattern {}
- data FileOperationPatternKind
- data FileOperationPatternOptions = FileOperationPatternOptions {
- _ignoreCase :: Maybe Bool
- data FileOperationRegistrationOptions = FileOperationRegistrationOptions {}
- data FileRename = FileRename {}
- data FileSystemWatcher = FileSystemWatcher {}
- data FoldingRange = FoldingRange {}
- data FoldingRangeClientCapabilities = FoldingRangeClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _rangeLimit :: Maybe UInt
- _lineFoldingOnly :: Maybe Bool
- _foldingRangeKind :: Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ (Empty :: Row Type)))
- _foldingRange :: Maybe (Rec (("collapsedText" .== Maybe Bool) .+ (Empty :: Row Type)))
- data FoldingRangeKind
- data FoldingRangeOptions = FoldingRangeOptions {}
- data FoldingRangeParams = FoldingRangeParams {}
- data FoldingRangeRegistrationOptions = FoldingRangeRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data FormattingOptions = FormattingOptions {}
- data FullDocumentDiagnosticReport = FullDocumentDiagnosticReport {}
- data GeneralClientCapabilities = GeneralClientCapabilities {
- _staleRequestSupport :: Maybe (Rec (("cancel" .== Bool) .+ (("retryOnContentModified" .== [Text]) .+ (Empty :: Row Type))))
- _regularExpressions :: Maybe RegularExpressionsClientCapabilities
- _markdown :: Maybe MarkdownClientCapabilities
- _positionEncodings :: Maybe [PositionEncodingKind]
- newtype GlobPattern = GlobPattern (Pattern |? RelativePattern)
- data Hover = Hover {
- _contents :: MarkupContent |? (MarkedString |? [MarkedString])
- _range :: Maybe Range
- data HoverClientCapabilities = HoverClientCapabilities {}
- data HoverOptions = HoverOptions {}
- data HoverParams = HoverParams {}
- data HoverRegistrationOptions = HoverRegistrationOptions {}
- data ImplementationClientCapabilities = ImplementationClientCapabilities {}
- data ImplementationOptions = ImplementationOptions {}
- data ImplementationParams = ImplementationParams {}
- data ImplementationRegistrationOptions = ImplementationRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data InitializeError = InitializeError {}
- data InitializeParams = InitializeParams {
- _workDoneToken :: Maybe ProgressToken
- _processId :: Int32 |? Null
- _clientInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ (Empty :: Row Type))))
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValues
- _workspaceFolders :: Maybe ([WorkspaceFolder] |? Null)
- data InitializeResult = InitializeResult {
- _capabilities :: ServerCapabilities
- _serverInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ (Empty :: Row Type))))
- data InitializedParams = InitializedParams
- data InlayHint = InlayHint {
- _position :: Position
- _label :: Text |? [InlayHintLabelPart]
- _kind :: Maybe InlayHintKind
- _textEdits :: Maybe [TextEdit]
- _tooltip :: Maybe (Text |? MarkupContent)
- _paddingLeft :: Maybe Bool
- _paddingRight :: Maybe Bool
- _data_ :: Maybe Value
- data InlayHintClientCapabilities = InlayHintClientCapabilities {}
- data InlayHintKind
- data InlayHintLabelPart = InlayHintLabelPart {}
- data InlayHintOptions = InlayHintOptions {}
- data InlayHintParams = InlayHintParams {}
- data InlayHintRegistrationOptions = InlayHintRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _resolveProvider :: Maybe Bool
- _documentSelector :: DocumentSelector |? Null
- _id :: Maybe Text
- data InlayHintWorkspaceClientCapabilities = InlayHintWorkspaceClientCapabilities {}
- newtype InlineValue = InlineValue (InlineValueText |? (InlineValueVariableLookup |? InlineValueEvaluatableExpression))
- data InlineValueClientCapabilities = InlineValueClientCapabilities {}
- data InlineValueContext = InlineValueContext {}
- data InlineValueEvaluatableExpression = InlineValueEvaluatableExpression {
- _range :: Range
- _expression :: Maybe Text
- data InlineValueOptions = InlineValueOptions {}
- data InlineValueParams = InlineValueParams {}
- data InlineValueRegistrationOptions = InlineValueRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _documentSelector :: DocumentSelector |? Null
- _id :: Maybe Text
- data InlineValueText = InlineValueText {}
- data InlineValueVariableLookup = InlineValueVariableLookup {}
- data InlineValueWorkspaceClientCapabilities = InlineValueWorkspaceClientCapabilities {}
- data InsertReplaceEdit = InsertReplaceEdit {}
- data InsertTextFormat
- data InsertTextMode
- data LSPErrorCodes
- data LinkedEditingRangeClientCapabilities = LinkedEditingRangeClientCapabilities {}
- data LinkedEditingRangeOptions = LinkedEditingRangeOptions {}
- data LinkedEditingRangeParams = LinkedEditingRangeParams {}
- data LinkedEditingRangeRegistrationOptions = LinkedEditingRangeRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data LinkedEditingRanges = LinkedEditingRanges {
- _ranges :: [Range]
- _wordPattern :: Maybe Text
- data LocationLink = LocationLink {}
- data LogMessageParams = LogMessageParams {
- _type_ :: MessageType
- _message :: Text
- data LogTraceParams = LogTraceParams {}
- data MarkdownClientCapabilities = MarkdownClientCapabilities {}
- newtype MarkedString = MarkedString (Text |? Rec (("language" .== Text) .+ (("value" .== Text) .+ (Empty :: Row Type))))
- data MarkupContent = MarkupContent {
- _kind :: MarkupKind
- _value :: Text
- data MarkupKind
- data MessageActionItem = MessageActionItem {}
- data MessageType
- data Moniker = Moniker {}
- data MonikerClientCapabilities = MonikerClientCapabilities {}
- data MonikerKind
- data MonikerOptions = MonikerOptions {}
- data MonikerParams = MonikerParams {}
- data MonikerRegistrationOptions = MonikerRegistrationOptions {}
- data NotebookCell = NotebookCell {}
- data NotebookCellArrayChange = NotebookCellArrayChange {
- _start :: UInt
- _deleteCount :: UInt
- _cells :: Maybe [NotebookCell]
- data NotebookCellKind
- data NotebookCellTextDocumentFilter = NotebookCellTextDocumentFilter {}
- data NotebookDocument = NotebookDocument {}
- data NotebookDocumentChangeEvent = NotebookDocumentChangeEvent {
- _metadata :: Maybe Object
- _cells :: Maybe (Rec (("structure" .== Maybe (Rec (("array" .== NotebookCellArrayChange) .+ (("didOpen" .== Maybe [TextDocumentItem]) .+ (("didClose" .== Maybe [TextDocumentIdentifier]) .+ (Empty :: Row Type)))))) .+ (("data" .== Maybe [NotebookCell]) .+ (("textContent" .== Maybe [Rec (("document" .== VersionedTextDocumentIdentifier) .+ (("changes" .== [TextDocumentContentChangeEvent]) .+ (Empty :: Row Type)))]) .+ (Empty :: Row Type)))))
- data NotebookDocumentClientCapabilities = NotebookDocumentClientCapabilities {}
- newtype NotebookDocumentFilter = NotebookDocumentFilter (Rec (("notebookType" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? (Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ (Empty :: Row Type))))))
- data NotebookDocumentIdentifier = NotebookDocumentIdentifier {}
- data NotebookDocumentSyncClientCapabilities = NotebookDocumentSyncClientCapabilities {}
- data NotebookDocumentSyncOptions = NotebookDocumentSyncOptions {
- _notebookSelector :: [Rec (("notebook" .== (Text |? NotebookDocumentFilter)) .+ (("cells" .== Maybe [Rec (("language" .== Text) .+ (Empty :: Row Type))]) .+ (Empty :: Row Type))) |? Rec (("notebook" .== Maybe (Text |? NotebookDocumentFilter)) .+ (("cells" .== [Rec (("language" .== Text) .+ (Empty :: Row Type))]) .+ (Empty :: Row Type)))]
- _save :: Maybe Bool
- data NotebookDocumentSyncRegistrationOptions = NotebookDocumentSyncRegistrationOptions {
- _notebookSelector :: [Rec (("notebook" .== (Text |? NotebookDocumentFilter)) .+ (("cells" .== Maybe [Rec (("language" .== Text) .+ (Empty :: Row Type))]) .+ (Empty :: Row Type))) |? Rec (("notebook" .== Maybe (Text |? NotebookDocumentFilter)) .+ (("cells" .== [Rec (("language" .== Text) .+ (Empty :: Row Type))]) .+ (Empty :: Row Type)))]
- _save :: Maybe Bool
- _id :: Maybe Text
- data OptionalVersionedTextDocumentIdentifier = OptionalVersionedTextDocumentIdentifier {}
- data ParameterInformation = ParameterInformation {
- _label :: Text |? (UInt, UInt)
- _documentation :: Maybe (Text |? MarkupContent)
- data PartialResultParams = PartialResultParams {}
- data PositionEncodingKind
- data PrepareRenameParams = PrepareRenameParams {}
- newtype PrepareRenameResult = PrepareRenameResult (Range |? (Rec (("range" .== Range) .+ (("placeholder" .== Text) .+ (Empty :: Row Type))) |? Rec (("defaultBehavior" .== Bool) .+ (Empty :: Row Type))))
- data PrepareSupportDefaultBehavior = PrepareSupportDefaultBehavior_Identifier
- data PreviousResultId = PreviousResultId {}
- data ProgressParams = ProgressParams {
- _token :: ProgressToken
- _value :: Value
- newtype ProgressToken = ProgressToken (Int32 |? Text)
- data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {
- _relatedInformation :: Maybe Bool
- _tagSupport :: Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ (Empty :: Row Type)))
- _versionSupport :: Maybe Bool
- _codeDescriptionSupport :: Maybe Bool
- _dataSupport :: Maybe Bool
- data PublishDiagnosticsParams = PublishDiagnosticsParams {
- _uri :: Uri
- _version :: Maybe Int32
- _diagnostics :: [Diagnostic]
- data ReferenceClientCapabilities = ReferenceClientCapabilities {}
- data ReferenceContext = ReferenceContext {}
- data ReferenceOptions = ReferenceOptions {}
- data ReferenceParams = ReferenceParams {}
- data ReferenceRegistrationOptions = ReferenceRegistrationOptions {}
- data Registration = Registration {}
- data RegistrationParams = RegistrationParams {}
- data RegularExpressionsClientCapabilities = RegularExpressionsClientCapabilities {}
- data RelatedFullDocumentDiagnosticReport = RelatedFullDocumentDiagnosticReport {
- _kind :: AString "full"
- _resultId :: Maybe Text
- _items :: [Diagnostic]
- _relatedDocuments :: Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))
- data RelatedUnchangedDocumentDiagnosticReport = RelatedUnchangedDocumentDiagnosticReport {
- _kind :: AString "unchanged"
- _resultId :: Text
- _relatedDocuments :: Maybe (Map Uri (FullDocumentDiagnosticReport |? UnchangedDocumentDiagnosticReport))
- data RelativePattern = RelativePattern {}
- data RenameClientCapabilities = RenameClientCapabilities {}
- data RenameFile = RenameFile {
- _annotationId :: Maybe ChangeAnnotationIdentifier
- _kind :: AString "rename"
- _oldUri :: Uri
- _newUri :: Uri
- _options :: Maybe RenameFileOptions
- data RenameFileOptions = RenameFileOptions {}
- data RenameFilesParams = RenameFilesParams {
- _files :: [FileRename]
- data RenameOptions = RenameOptions {}
- data RenameParams = RenameParams {}
- data RenameRegistrationOptions = RenameRegistrationOptions {}
- data ResourceOperation = ResourceOperation {}
- data ResourceOperationKind
- data SaveOptions = SaveOptions {}
- data SelectionRange = SelectionRange {}
- data SelectionRangeClientCapabilities = SelectionRangeClientCapabilities {}
- data SelectionRangeOptions = SelectionRangeOptions {}
- data SelectionRangeParams = SelectionRangeParams {}
- data SelectionRangeRegistrationOptions = SelectionRangeRegistrationOptions {
- _workDoneProgress :: Maybe Bool
- _documentSelector :: DocumentSelector |? Null
- _id :: Maybe Text
- data SemanticTokenModifiers
- = SemanticTokenModifiers_Declaration
- | SemanticTokenModifiers_Definition
- | SemanticTokenModifiers_Readonly
- | SemanticTokenModifiers_Static
- | SemanticTokenModifiers_Deprecated
- | SemanticTokenModifiers_Abstract
- | SemanticTokenModifiers_Async
- | SemanticTokenModifiers_Modification
- | SemanticTokenModifiers_Documentation
- | SemanticTokenModifiers_DefaultLibrary
- | SemanticTokenModifiers_Custom Text
- data SemanticTokenTypes
- = SemanticTokenTypes_Namespace
- | SemanticTokenTypes_Type
- | SemanticTokenTypes_Class
- | SemanticTokenTypes_Enum
- | SemanticTokenTypes_Interface
- | SemanticTokenTypes_Struct
- | SemanticTokenTypes_TypeParameter
- | SemanticTokenTypes_Parameter
- | SemanticTokenTypes_Variable
- | SemanticTokenTypes_Property
- | SemanticTokenTypes_EnumMember
- | SemanticTokenTypes_Event
- | SemanticTokenTypes_Function
- | SemanticTokenTypes_Method
- | SemanticTokenTypes_Macro
- | SemanticTokenTypes_Keyword
- | SemanticTokenTypes_Modifier
- | SemanticTokenTypes_Comment
- | SemanticTokenTypes_String
- | SemanticTokenTypes_Number
- | SemanticTokenTypes_Regexp
- | SemanticTokenTypes_Operator
- | SemanticTokenTypes_Decorator
- | SemanticTokenTypes_Custom Text
- data SemanticTokens = SemanticTokens {}
- data SemanticTokensClientCapabilities = SemanticTokensClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _requests :: Rec (("range" .== Maybe (Bool |? Rec (Empty :: Row Type))) .+ (("full" .== Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ (Empty :: Row Type)))) .+ (Empty :: Row Type)))
- _tokenTypes :: [Text]
- _tokenModifiers :: [Text]
- _formats :: [TokenFormat]
- _overlappingTokenSupport :: Maybe Bool
- _multilineTokenSupport :: Maybe Bool
- _serverCancelSupport :: Maybe Bool
- _augmentsSyntaxTokens :: Maybe Bool
- data SemanticTokensDelta = SemanticTokensDelta {
- _resultId :: Maybe Text
- _edits :: [SemanticTokensEdit]
- data SemanticTokensDeltaParams = SemanticTokensDeltaParams {}
- data SemanticTokensDeltaPartialResult = SemanticTokensDeltaPartialResult {
- _edits :: [SemanticTokensEdit]
- data SemanticTokensEdit = SemanticTokensEdit {}
- data SemanticTokensLegend = SemanticTokensLegend {
- _tokenTypes :: [Text]
- _tokenModifiers :: [Text]
- data SemanticTokensOptions = SemanticTokensOptions {}
- data SemanticTokensParams = SemanticTokensParams {}
- data SemanticTokensPartialResult = SemanticTokensPartialResult {}
- data SemanticTokensRangeParams = SemanticTokensRangeParams {}
- data SemanticTokensRegistrationOptions = SemanticTokensRegistrationOptions {}
- data SemanticTokensWorkspaceClientCapabilities = SemanticTokensWorkspaceClientCapabilities {}
- data ServerCapabilities = ServerCapabilities {
- _positionEncoding :: Maybe PositionEncodingKind
- _textDocumentSync :: Maybe (TextDocumentSyncOptions |? TextDocumentSyncKind)
- _notebookDocumentSync :: Maybe (NotebookDocumentSyncOptions |? NotebookDocumentSyncRegistrationOptions)
- _completionProvider :: Maybe CompletionOptions
- _hoverProvider :: Maybe (Bool |? HoverOptions)
- _signatureHelpProvider :: Maybe SignatureHelpOptions
- _declarationProvider :: Maybe (Bool |? (DeclarationOptions |? DeclarationRegistrationOptions))
- _definitionProvider :: Maybe (Bool |? DefinitionOptions)
- _typeDefinitionProvider :: Maybe (Bool |? (TypeDefinitionOptions |? TypeDefinitionRegistrationOptions))
- _implementationProvider :: Maybe (Bool |? (ImplementationOptions |? ImplementationRegistrationOptions))
- _referencesProvider :: Maybe (Bool |? ReferenceOptions)
- _documentHighlightProvider :: Maybe (Bool |? DocumentHighlightOptions)
- _documentSymbolProvider :: Maybe (Bool |? DocumentSymbolOptions)
- _codeActionProvider :: Maybe (Bool |? CodeActionOptions)
- _codeLensProvider :: Maybe CodeLensOptions
- _documentLinkProvider :: Maybe DocumentLinkOptions
- _colorProvider :: Maybe (Bool |? (DocumentColorOptions |? DocumentColorRegistrationOptions))
- _workspaceSymbolProvider :: Maybe (Bool |? WorkspaceSymbolOptions)
- _documentFormattingProvider :: Maybe (Bool |? DocumentFormattingOptions)
- _documentRangeFormattingProvider :: Maybe (Bool |? DocumentRangeFormattingOptions)
- _documentOnTypeFormattingProvider :: Maybe DocumentOnTypeFormattingOptions
- _renameProvider :: Maybe (Bool |? RenameOptions)
- _foldingRangeProvider :: Maybe (Bool |? (FoldingRangeOptions |? FoldingRangeRegistrationOptions))
- _selectionRangeProvider :: Maybe (Bool |? (SelectionRangeOptions |? SelectionRangeRegistrationOptions))
- _executeCommandProvider :: Maybe ExecuteCommandOptions
- _callHierarchyProvider :: Maybe (Bool |? (CallHierarchyOptions |? CallHierarchyRegistrationOptions))
- _linkedEditingRangeProvider :: Maybe (Bool |? (LinkedEditingRangeOptions |? LinkedEditingRangeRegistrationOptions))
- _semanticTokensProvider :: Maybe (SemanticTokensOptions |? SemanticTokensRegistrationOptions)
- _monikerProvider :: Maybe (Bool |? (MonikerOptions |? MonikerRegistrationOptions))
- _typeHierarchyProvider :: Maybe (Bool |? (TypeHierarchyOptions |? TypeHierarchyRegistrationOptions))
- _inlineValueProvider :: Maybe (Bool |? (InlineValueOptions |? InlineValueRegistrationOptions))
- _inlayHintProvider :: Maybe (Bool |? (InlayHintOptions |? InlayHintRegistrationOptions))
- _diagnosticProvider :: Maybe (DiagnosticOptions |? DiagnosticRegistrationOptions)
- _workspace :: Maybe (Rec (("workspaceFolders" .== Maybe WorkspaceFoldersServerCapabilities) .+ (("fileOperations" .== Maybe FileOperationOptions) .+ (Empty :: Row Type))))
- _experimental :: Maybe Value
- data SetTraceParams = SetTraceParams {}
- data ShowDocumentClientCapabilities = ShowDocumentClientCapabilities {}
- data ShowDocumentParams = ShowDocumentParams {}
- data ShowDocumentResult = ShowDocumentResult {}
- data ShowMessageParams = ShowMessageParams {
- _type_ :: MessageType
- _message :: Text
- data ShowMessageRequestClientCapabilities = ShowMessageRequestClientCapabilities {}
- data ShowMessageRequestParams = ShowMessageRequestParams {
- _type_ :: MessageType
- _message :: Text
- _actions :: Maybe [MessageActionItem]
- data SignatureHelp = SignatureHelp {}
- data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {
- _dynamicRegistration :: Maybe Bool
- _signatureInformation :: Maybe (Rec (("documentationFormat" .== Maybe [MarkupKind]) .+ (("parameterInformation" .== Maybe (Rec (("labelOffsetSupport" .== Maybe Bool) .+ (Empty :: Row Type)))) .+ (("activeParameterSupport" .== Maybe Bool) .+ (Empty :: Row Type)))))
- _contextSupport :: Maybe Bool
- data SignatureHelpContext = SignatureHelpContext {}
- data SignatureHelpOptions = SignatureHelpOptions {}
- data SignatureHelpParams = SignatureHelpParams {}
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- data SignatureHelpTriggerKind
- data SignatureInformation = SignatureInformation {}
- data StaticRegistrationOptions = StaticRegistrationOptions {}
- data SymbolInformation = SymbolInformation {
- _name :: Text
- _kind :: SymbolKind
- _tags :: Maybe [SymbolTag]
- _containerName :: Maybe Text
- _deprecated :: Maybe Bool
- _location :: Location
- data SymbolKind
- = SymbolKind_File
- | SymbolKind_Module
- | SymbolKind_Namespace
- | SymbolKind_Package
- | SymbolKind_Class
- | SymbolKind_Method
- | SymbolKind_Property
- | SymbolKind_Field
- | SymbolKind_Constructor
- | SymbolKind_Enum
- | SymbolKind_Interface
- | SymbolKind_Function
- | SymbolKind_Variable
- | SymbolKind_Constant
- | SymbolKind_String
- | SymbolKind_Number
- | SymbolKind_Boolean
- | SymbolKind_Array
- | SymbolKind_Object
- | SymbolKind_Key
- | SymbolKind_Null
- | SymbolKind_EnumMember
- | SymbolKind_Struct
- | SymbolKind_Event
- | SymbolKind_Operator
- | SymbolKind_TypeParameter
- data SymbolTag = SymbolTag_Deprecated
- data TextDocumentChangeRegistrationOptions = TextDocumentChangeRegistrationOptions {}
- data TextDocumentClientCapabilities = TextDocumentClientCapabilities {
- _synchronization :: Maybe TextDocumentSyncClientCapabilities
- _completion :: Maybe CompletionClientCapabilities
- _hover :: Maybe HoverClientCapabilities
- _signatureHelp :: Maybe SignatureHelpClientCapabilities
- _declaration :: Maybe DeclarationClientCapabilities
- _definition :: Maybe DefinitionClientCapabilities
- _typeDefinition :: Maybe TypeDefinitionClientCapabilities
- _implementation :: Maybe ImplementationClientCapabilities
- _references :: Maybe ReferenceClientCapabilities
- _documentHighlight :: Maybe DocumentHighlightClientCapabilities
- _documentSymbol :: Maybe DocumentSymbolClientCapabilities
- _codeAction :: Maybe CodeActionClientCapabilities
- _codeLens :: Maybe CodeLensClientCapabilities
- _documentLink :: Maybe DocumentLinkClientCapabilities
- _colorProvider :: Maybe DocumentColorClientCapabilities
- _formatting :: Maybe DocumentFormattingClientCapabilities
- _rangeFormatting :: Maybe DocumentRangeFormattingClientCapabilities
- _onTypeFormatting :: Maybe DocumentOnTypeFormattingClientCapabilities
- _rename :: Maybe RenameClientCapabilities
- _foldingRange :: Maybe FoldingRangeClientCapabilities
- _selectionRange :: Maybe SelectionRangeClientCapabilities
- _publishDiagnostics :: Maybe PublishDiagnosticsClientCapabilities
- _callHierarchy :: Maybe CallHierarchyClientCapabilities
- _semanticTokens :: Maybe SemanticTokensClientCapabilities
- _linkedEditingRange :: Maybe LinkedEditingRangeClientCapabilities
- _moniker :: Maybe MonikerClientCapabilities
- _typeHierarchy :: Maybe TypeHierarchyClientCapabilities
- _inlineValue :: Maybe InlineValueClientCapabilities
- _inlayHint :: Maybe InlayHintClientCapabilities
- _diagnostic :: Maybe DiagnosticClientCapabilities
- newtype TextDocumentContentChangeEvent = TextDocumentContentChangeEvent (Rec (("range" .== Range) .+ (("rangeLength" .== Maybe UInt) .+ (("text" .== Text) .+ (Empty :: Row Type)))) |? Rec (("text" .== Text) .+ (Empty :: Row Type)))
- data TextDocumentEdit = TextDocumentEdit {}
- newtype TextDocumentFilter = TextDocumentFilter (Rec (("language" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? (Rec (("language" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? Rec (("language" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ (Empty :: Row Type))))))
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {}
- data TextDocumentPositionParams = TextDocumentPositionParams {}
- data TextDocumentRegistrationOptions = TextDocumentRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- data TextDocumentSaveReason
- data TextDocumentSaveRegistrationOptions = TextDocumentSaveRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _includeText :: Maybe Bool
- data TextDocumentSyncClientCapabilities = TextDocumentSyncClientCapabilities {}
- data TextDocumentSyncKind
- data TextDocumentSyncOptions = TextDocumentSyncOptions {}
- data TextEdit = TextEdit {}
- data TokenFormat = TokenFormat_Relative
- data TraceValues
- data TypeDefinitionClientCapabilities = TypeDefinitionClientCapabilities {}
- data TypeDefinitionOptions = TypeDefinitionOptions {}
- data TypeDefinitionParams = TypeDefinitionParams {}
- data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data TypeHierarchyClientCapabilities = TypeHierarchyClientCapabilities {}
- data TypeHierarchyItem = TypeHierarchyItem {}
- data TypeHierarchyOptions = TypeHierarchyOptions {}
- data TypeHierarchyPrepareParams = TypeHierarchyPrepareParams {}
- data TypeHierarchyRegistrationOptions = TypeHierarchyRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _id :: Maybe Text
- data TypeHierarchySubtypesParams = TypeHierarchySubtypesParams {}
- data TypeHierarchySupertypesParams = TypeHierarchySupertypesParams {}
- data UInitializeParams = UInitializeParams {
- _workDoneToken :: Maybe ProgressToken
- _processId :: Int32 |? Null
- _clientInfo :: Maybe (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ (Empty :: Row Type))))
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValues
- data UnchangedDocumentDiagnosticReport = UnchangedDocumentDiagnosticReport {}
- data UniquenessLevel
- data Unregistration = Unregistration {}
- data UnregistrationParams = UnregistrationParams {}
- data VersionedNotebookDocumentIdentifier = VersionedNotebookDocumentIdentifier {}
- data VersionedTextDocumentIdentifier = VersionedTextDocumentIdentifier {}
- data WatchKind
- data WillSaveTextDocumentParams = WillSaveTextDocumentParams {}
- data WindowClientCapabilities = WindowClientCapabilities {}
- data WorkDoneProgressBegin = WorkDoneProgressBegin {}
- data WorkDoneProgressCancelParams = WorkDoneProgressCancelParams {}
- data WorkDoneProgressCreateParams = WorkDoneProgressCreateParams {}
- data WorkDoneProgressEnd = WorkDoneProgressEnd {}
- data WorkDoneProgressOptions = WorkDoneProgressOptions {}
- data WorkDoneProgressParams = WorkDoneProgressParams {}
- data WorkDoneProgressReport = WorkDoneProgressReport {}
- data WorkspaceClientCapabilities = WorkspaceClientCapabilities {
- _applyEdit :: Maybe Bool
- _workspaceEdit :: Maybe WorkspaceEditClientCapabilities
- _didChangeConfiguration :: Maybe DidChangeConfigurationClientCapabilities
- _didChangeWatchedFiles :: Maybe DidChangeWatchedFilesClientCapabilities
- _symbol :: Maybe WorkspaceSymbolClientCapabilities
- _executeCommand :: Maybe ExecuteCommandClientCapabilities
- _workspaceFolders :: Maybe Bool
- _configuration :: Maybe Bool
- _semanticTokens :: Maybe SemanticTokensWorkspaceClientCapabilities
- _codeLens :: Maybe CodeLensWorkspaceClientCapabilities
- _fileOperations :: Maybe FileOperationClientCapabilities
- _inlineValue :: Maybe InlineValueWorkspaceClientCapabilities
- _inlayHint :: Maybe InlayHintWorkspaceClientCapabilities
- _diagnostics :: Maybe DiagnosticWorkspaceClientCapabilities
- data WorkspaceDiagnosticParams = WorkspaceDiagnosticParams {}
- data WorkspaceDiagnosticReport = WorkspaceDiagnosticReport {}
- data WorkspaceDiagnosticReportPartialResult = WorkspaceDiagnosticReportPartialResult {}
- newtype WorkspaceDocumentDiagnosticReport = WorkspaceDocumentDiagnosticReport (WorkspaceFullDocumentDiagnosticReport |? WorkspaceUnchangedDocumentDiagnosticReport)
- data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities {
- _documentChanges :: Maybe Bool
- _resourceOperations :: Maybe [ResourceOperationKind]
- _failureHandling :: Maybe FailureHandlingKind
- _normalizesLineEndings :: Maybe Bool
- _changeAnnotationSupport :: Maybe (Rec (("groupsOnLabel" .== Maybe Bool) .+ (Empty :: Row Type)))
- data WorkspaceFolder = WorkspaceFolder {}
- data WorkspaceFoldersChangeEvent = WorkspaceFoldersChangeEvent {
- _added :: [WorkspaceFolder]
- _removed :: [WorkspaceFolder]
- data WorkspaceFoldersInitializeParams = WorkspaceFoldersInitializeParams {
- _workspaceFolders :: Maybe ([WorkspaceFolder] |? Null)
- data WorkspaceFoldersServerCapabilities = WorkspaceFoldersServerCapabilities {
- _supported :: Maybe Bool
- _changeNotifications :: Maybe (Text |? Bool)
- data WorkspaceFullDocumentDiagnosticReport = WorkspaceFullDocumentDiagnosticReport {}
- data WorkspaceSymbol = WorkspaceSymbol {}
- data WorkspaceSymbolClientCapabilities = WorkspaceSymbolClientCapabilities {}
- data WorkspaceSymbolOptions = WorkspaceSymbolOptions {}
- data WorkspaceSymbolParams = WorkspaceSymbolParams {}
- data WorkspaceSymbolRegistrationOptions = WorkspaceSymbolRegistrationOptions {}
- data WorkspaceUnchangedDocumentDiagnosticReport = WorkspaceUnchangedDocumentDiagnosticReport {}
- data a |? b
- type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile))
- newtype AsLspEnum a = AsLspEnum a
- class LspEnum a where
- type EnumBaseType a
- knownValues :: Set a
- toEnumBaseType :: a -> EnumBaseType a
- fromEnumBaseType :: EnumBaseType a -> Maybe a
- type family EnumBaseType a
- class LspEnum a => LspOpenEnum a where
- fromOpenEnumBaseType :: EnumBaseType a -> a
- data Edit a = Edit {
- editStart :: UInt
- editDeleteCount :: UInt
- editInsertions :: [a]
- data SemanticTokenAbsolute = SemanticTokenAbsolute {}
- data SemanticTokenRelative = SemanticTokenRelative {}
- data AString (s :: Symbol) where
- AString :: forall (s :: Symbol). KnownSymbol s => AString s
- data AnInteger (n :: Nat) where
- positionInRange :: Position -> Range -> Bool
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- fromNormalizedUri :: NormalizedUri -> Uri
- toNormalizedUri :: Uri -> NormalizedUri
- codeActionKindSubsumes :: CodeActionKind -> CodeActionKind -> Bool
- (.:!?) :: FromJSON v => Object -> Key -> Parser (Maybe v)
- (.=?) :: (KeyValue e kv, ToJSON v) => String -> Maybe v -> [kv]
- _L :: forall a b p f. (Choice p, Applicative f) => p a (f a) -> p (a |? b) (f (a |? b))
- _R :: forall a b p f. (Choice p, Applicative f) => p b (f b) -> p (a |? b) (f (a |? b))
- absorbNull :: Monoid a => (a |? Null) -> a
- maybeToNull :: Maybe a -> a |? Null
- nullToMaybe :: (a |? Null) -> Maybe a
- toEither :: (a |? b) -> Either a b
- _versionedTextDocumentIdentifier :: Prism' OptionalVersionedTextDocumentIdentifier VersionedTextDocumentIdentifier
- applyTextEdit :: TextEdit -> Text -> Text
- editTextEdit :: TextEdit -> TextEdit -> TextEdit
- isSubrangeOf :: Range -> Range -> Bool
- mkRange :: UInt -> UInt -> UInt -> UInt -> Range
- mkMarkdown :: Text -> MarkupContent
- mkMarkdownCodeBlock :: Text -> Text -> MarkupContent
- mkPlainText :: Text -> MarkupContent
- plainTextToMarkdown :: Text -> Text
- sectionSeparator :: Text
- _workDoneProgressBegin :: Prism' Value WorkDoneProgressBegin
- _workDoneProgressEnd :: Prism' Value WorkDoneProgressEnd
- _workDoneProgressReport :: Prism' Value WorkDoneProgressReport
- absolutizeTokens :: [SemanticTokenRelative] -> [SemanticTokenAbsolute]
- computeEdits :: Eq a => [a] -> [a] -> [Edit a]
- defaultSemanticTokensLegend :: SemanticTokensLegend
- encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt]
- makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens
- makeSemanticTokensDelta :: SemanticTokens -> SemanticTokens -> SemanticTokensDelta
- relativizeTokens :: [SemanticTokenAbsolute] -> [SemanticTokenRelative]
- emptyNormalizedFilePath :: NormalizedFilePath
- filePathToUri :: FilePath -> Uri
- normalizedFilePathToUri :: NormalizedFilePath -> NormalizedUri
- platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri
- platformAwareUriToFilePath :: String -> Uri -> Maybe FilePath
- uriToFilePath :: Uri -> Maybe FilePath
- uriToNormalizedFilePath :: NormalizedUri -> Maybe NormalizedFilePath
- normalizedFilePathToOsPath :: MonadThrow m => NormalizedFilePath -> m OsPath
- osPathToNormalizedFilePath :: MonadThrow m => OsPath -> m NormalizedFilePath
- combineWatchKinds :: Set WatchKind -> WatchKind
- containsChange :: WatchKind -> Bool
- containsCreate :: WatchKind -> Bool
- containsDelete :: WatchKind -> Bool
- module Language.LSP.Test
- module Control.Monad.IO.Class
- module Control.Applicative.Combinators
- defaultTestRunner :: TestTree -> IO ()
- goldenGitDiff :: TestName -> FilePath -> IO ByteString -> TestTree
- goldenWithHaskellDoc :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithHaskellDocInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithHaskellAndCaps :: Pretty b => Config -> ClientCapabilities -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithHaskellAndCapsInTmpDir :: Pretty b => Config -> ClientCapabilities -> PluginTestDescriptor b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithCabalDoc :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithHaskellDocFormatter :: Pretty b => Config -> PluginTestDescriptor b -> String -> PluginConfig -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithHaskellDocFormatterInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> String -> PluginConfig -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithCabalDocFormatter :: Pretty b => Config -> PluginTestDescriptor b -> String -> PluginConfig -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- goldenWithCabalDocFormatterInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> String -> PluginConfig -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- def :: Default a => a
- runSessionWithServer :: Pretty b => Config -> PluginTestDescriptor b -> FilePath -> Session a -> IO a
- runSessionWithServerAndCaps :: Pretty b => Config -> PluginTestDescriptor b -> ClientCapabilities -> FilePath -> Session a -> IO a
- runSessionWithServerInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> VirtualFileTree -> Session a -> IO a
- runSessionWithServerAndCapsInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> ClientCapabilities -> VirtualFileTree -> Session a -> IO a
- runSessionWithServer' :: IdePlugins IdeState -> Config -> SessionConfig -> ClientCapabilities -> FilePath -> Session a -> IO a
- runSessionWithServerInTmpDir' :: IdePlugins IdeState -> Config -> SessionConfig -> ClientCapabilities -> VirtualFileTree -> Session a -> IO a
- data PluginDescriptor ideState
- data IdeState
- waitForProgressDone :: Session ()
- waitForAllProgressDone :: Session ()
- waitForBuildQueue :: Session Seconds
- waitForTypecheck :: TextDocumentIdentifier -> Session (Either ResponseError Bool)
- waitForAction :: String -> TextDocumentIdentifier -> Session (Either ResponseError WaitForIdeRuleResult)
- hlsConfigToClientConfig :: Config -> Object
- setHlsConfig :: Config -> Session ()
- getLastBuildKeys :: Session (Either ResponseError [Text])
- waitForKickDone :: Session ()
- waitForKickStart :: Session ()
- type PluginTestDescriptor b = Recorder (WithPriority b) -> IdePlugins IdeState
- pluginTestRecorder :: Pretty a => IO (Recorder (WithPriority a))
- mkPluginTestDescriptor :: (Recorder (WithPriority b) -> PluginId -> PluginDescriptor IdeState) -> PluginId -> PluginTestDescriptor b
- mkPluginTestDescriptor' :: (PluginId -> PluginDescriptor IdeState) -> PluginId -> PluginTestDescriptor b
- data WithPriority a = WithPriority Priority CallStack a
- data Recorder msg
- data Priority
Documentation
module Test.Tasty.HUnit
The main data structure defining a test suite.
It consists of individual test cases and properties, organized in named groups which form a tree-like hierarchy.
There is no generic way to create a test case. Instead, every test
provider (tasty-hunit, tasty-smallcheck etc.) provides a function to
turn a test case into a TestTree.
Groups can be created using testGroup.
Since: tasty-0.1
data DependencyType #
These are the two ways in which one test may depend on the others.
This is the same distinction as the hard vs soft dependencies in TestNG.
Since: tasty-1.2
Constructors
| AllSucceed | The current test tree will be executed after its dependencies finish, and only if all of the dependencies succeed. |
| AllFinish | The current test tree will be executed after its dependencies finish, regardless of whether they succeed or not. |
Instances
| Read DependencyType | Since: tasty-1.5 |
Defined in Test.Tasty.Core Methods readsPrec :: Int -> ReadS DependencyType # readList :: ReadS [DependencyType] # | |
| Show DependencyType | |
Defined in Test.Tasty.Core Methods showsPrec :: Int -> DependencyType -> ShowS # show :: DependencyType -> String # showList :: [DependencyType] -> ShowS # | |
| Eq DependencyType | |
Defined in Test.Tasty.Core Methods (==) :: DependencyType -> DependencyType -> Bool # (/=) :: DependencyType -> DependencyType -> Bool # | |
Arguments
| :: DependencyType | whether to run the tests even if some of the dependencies fail |
| -> String | the pattern |
| -> TestTree | the subtree that depends on other tests |
| -> TestTree | the subtree annotated with dependency information |
The after combinator declares dependencies between tests.
If a TestTree is wrapped in after, the tests in this tree will not run
until certain other tests («dependencies») have finished. These
dependencies are specified using an AWK pattern (see the «Patterns» section
in the README).
Moreover, if the DependencyType argument is set to AllSucceed and
at least one dependency has failed, this test tree will not run at all.
Tasty does not check that the pattern matches any tests (let alone the correct set of tests), so it is on you to supply the right pattern.
Examples
The following test will be executed only after all tests that contain
Foo anywhere in their path finish.
afterAllFinish"Foo" $
testCase "A test that depends on Foo.Bar" $ ...
Note, however, that our test also happens to contain Foo as part of its name,
so it also matches the pattern and becomes a dependency of itself. This
will result in a DependencyLoop exception. To avoid this, either
change the test name so that it doesn't mention Foo or make the
pattern more specific.
You can use AWK patterns, for instance, to specify the full path to the dependency.
afterAllFinish"$0 == \"Tests.Foo.Bar\"" $
testCase "A test that depends on Foo.Bar" $ ...
Or only specify the dependency's own name, ignoring the group names:
afterAllFinish"$NF == \"Bar\"" $
testCase "A test that depends on Foo.Bar" $ ...
Since: tasty-1.2
askOption :: IsOption v => (v -> TestTree) -> TestTree #
Customize the test tree based on the run-time options.
Since: tasty-0.6
localOption :: IsOption v => v -> TestTree -> TestTree #
Locally set the option value for the given test subtree.
Since: tasty-0.1
defaultMain :: TestTree -> IO () #
Parse the command line arguments and run the tests.
When the tests finish, this function calls exitWith with the exit code
that indicates whether any tests have failed. Most external systems
(stack, cabal, travis-ci, jenkins etc.) rely on the exit code to detect
whether the tests pass. If you want to do something else after
defaultMain returns, you need to catch the exception and then re-throw
it. Example:
import Test.Tasty
import Test.Tasty.HUnit
import System.Exit
import Control.Exception
test = testCase "Test 1" (2 @?= 3)
main = defaultMain test
`catch` (\e -> do
if e == ExitSuccess
then putStrLn "Yea"
else putStrLn "Nay"
throwIO e)Since: tasty-0.1
defaultIngredients :: [Ingredient] #
List of the default ingredients. This is what defaultMain uses.
At the moment it consists of listingTests and consoleTestReporter.
Since: tasty-0.4.2
A shortcut for creating Timeout values.
Since: tasty-0.8
testGroup :: TestName -> [TestTree] -> TestTree #
Create a named group of test cases or other groups. Tests are executed in
parallel. For sequential execution, see sequentialTestGroup.
Since: tasty-0.1
sequentialTestGroup :: TestName -> DependencyType -> [TestTree] -> TestTree #
Create a named group of test cases or other groups. Tests are executed in
order. For parallel execution, see testGroup.
Arguments
| :: DependencyType | whether to run the tests even if some of the dependencies fail |
| -> Expr | the pattern |
| -> TestTree | the subtree that depends on other tests |
| -> TestTree | the subtree annotated with dependency information |
Like after, but accepts the pattern as a syntax tree instead
of a string. Useful for generating a test tree programmatically.
Examples
Only match on the test's own name, ignoring the group names:
after_AllFinish(EQ(FieldNF) (StringLit"Bar")) $
testCase "A test that depends on Foo.Bar" $ ...
Since: tasty-1.2
includingOptions :: [OptionDescription] -> Ingredient #
This ingredient doesn't do anything apart from registering additional options.
The option values can be accessed using askOption.
Since: tasty-0.6
defaultMainWithIngredients :: [Ingredient] -> TestTree -> IO () #
Parse the command line arguments and run the tests using the provided ingredient list.
When the tests finish, this function calls exitWith with the exit code
that indicates whether any tests have failed. See defaultMain for
details.
Since: tasty-0.4
adjustOption :: IsOption v => (v -> v) -> TestTree -> TestTree #
Locally adjust the option value for the given test subtree.
Since: tasty-0.1
Arguments
| :: IO a | initialize the resource |
| -> (a -> IO ()) | free the resource |
| -> (IO a -> TestTree) |
|
| -> TestTree |
Acquire the resource to run this test (sub)tree and release it afterwards.
Since: tasty-0.5
module Test.Tasty.ExpectedFailure
module Test.Hls.Util
Instances
| FromJSON Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| FromJSONKey Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern Methods | |
| ToJSON Pattern | |
| ToJSONKey Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| Generic Pattern | |
| Show Pattern | |
| NFData Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| Eq Pattern | |
| Ord Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| Hashable Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| Pretty Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
| HasPattern RelativePattern Pattern | |
Defined in Language.LSP.Protocol.Types.Lens Methods | |
| type Rep Pattern | |
Defined in Language.LSP.Protocol.Internal.Types.Pattern | |
Instances
32-bit signed integer type
Instances
Instances
Instances
Constructors
| Position | |
Fields
| |
Instances
data EncodingException #
Instances
| Exception EncodingException | |
Defined in System.OsPath.Encoding.Internal Methods toException :: EncodingException -> SomeException # | |
| Show EncodingException | |
Defined in System.OsPath.Encoding.Internal Methods showsPrec :: Int -> EncodingException -> ShowS # show :: EncodingException -> String # showList :: [EncodingException] -> ShowS # | |
| NFData EncodingException | |
Defined in System.OsPath.Encoding.Internal Methods rnf :: EncodingException -> () # | |
| Eq EncodingException | |
Defined in System.OsPath.Encoding.Internal Methods (==) :: EncodingException -> EncodingException -> Bool # (/=) :: EncodingException -> EncodingException -> Bool # | |
data Diagnostic #
Constructors
| Diagnostic | |
Fields
| |
Instances
Instances
Instances
data WorkspaceEdit #
Constructors
| WorkspaceEdit | |
Fields | |
Instances
data CodeActionKind #
Constructors
Instances
data NormalizedUri #
Constructors
| NormalizedUri !Int !Text |
Instances
data NormalizedFilePath #
Instances
data DiagnosticSeverity #
Constructors
| DiagnosticSeverity_Error | |
| DiagnosticSeverity_Warning | |
| DiagnosticSeverity_Information | |
| DiagnosticSeverity_Hint |
Instances
Instances
data AnnotatedTextEdit #
Constructors
| AnnotatedTextEdit | |
Fields | |
Instances
data ApplyWorkspaceEditParams #
Constructors
| ApplyWorkspaceEditParams | |
Fields
| |
Instances
data ApplyWorkspaceEditResult #
Constructors
| ApplyWorkspaceEditResult | |
Fields
| |
Instances
data BaseSymbolInformation #
Constructors
| BaseSymbolInformation | |
Fields
| |
Instances
data CallHierarchyClientCapabilities #
Constructors
| CallHierarchyClientCapabilities | |
Fields | |
Instances
data CallHierarchyIncomingCall #
Constructors
| CallHierarchyIncomingCall | |
Fields
| |
Instances
data CallHierarchyIncomingCallsParams #
Constructors
| CallHierarchyIncomingCallsParams | |
Instances
data CallHierarchyItem #
Constructors
| CallHierarchyItem | |
Instances
data CallHierarchyOptions #
Constructors
| CallHierarchyOptions | |
Fields | |
Instances
data CallHierarchyOutgoingCall #
Constructors
| CallHierarchyOutgoingCall | |
Fields
| |
Instances
data CallHierarchyOutgoingCallsParams #
Constructors
| CallHierarchyOutgoingCallsParams | |
Instances
data CallHierarchyPrepareParams #
Constructors
| CallHierarchyPrepareParams | |
Fields | |
Instances
data CallHierarchyRegistrationOptions #
Constructors
| CallHierarchyRegistrationOptions | |
Fields
| |
Instances
data CancelParams #
Constructors
| CancelParams | |
Instances
data ChangeAnnotation #
Constructors
| ChangeAnnotation | |
Fields
| |
Instances
newtype ChangeAnnotationIdentifier #
Constructors
| ChangeAnnotationIdentifier Text |
Instances
data ClientCapabilities #
Constructors
| ClientCapabilities | |
Instances
data CodeAction #
Constructors
| CodeAction | |
Instances
data CodeActionClientCapabilities #
Constructors
| CodeActionClientCapabilities | |
Fields
| |
Instances
data CodeActionContext #
Constructors
| CodeActionContext | |
Fields | |
Instances
data CodeActionOptions #
Constructors
| CodeActionOptions | |
Fields | |
Instances
data CodeActionParams #
Constructors
| CodeActionParams | |
Instances
data CodeActionRegistrationOptions #
Constructors
| CodeActionRegistrationOptions | |
Fields | |
Instances
data CodeActionTriggerKind #
Instances
data CodeDescription #
Constructors
| CodeDescription | |
Instances
Instances
| FromJSON CodeLens | |
| ToJSON CodeLens | |
| Generic CodeLens | |
| Show CodeLens | |
| NFData CodeLens | |
| Eq CodeLens | |
| Ord CodeLens | |
| Hashable CodeLens | |
| HasTracing CodeLens | |
Defined in Ide.Types Methods traceWithSpan :: SpanInFlight -> CodeLens -> IO () # | |
| Pretty CodeLens | |
| HasRange CodeLens Range | |
Defined in Language.LSP.Protocol.Types.Lens | |
| HasCommand CodeLens (Maybe Command) | |
| HasData_ CodeLens (Maybe Value) | |
| type Rep CodeLens | |
Defined in Language.LSP.Protocol.Internal.Types.CodeLens type Rep CodeLens = D1 ('MetaData "CodeLens" "Language.LSP.Protocol.Internal.Types.CodeLens" "lsp-types-2.1.1.0-23BTFeziXop5yscaxJS17x" 'False) (C1 ('MetaCons "CodeLens" 'PrefixI 'True) (S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Range) :*: (S1 ('MetaSel ('Just "_command") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Command)) :*: S1 ('MetaSel ('Just "_data_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value))))) | |
data CodeLensClientCapabilities #
Constructors
| CodeLensClientCapabilities | |
Fields | |
Instances
data CodeLensOptions #
Constructors
| CodeLensOptions | |
Fields | |
Instances
data CodeLensParams #
Constructors
| CodeLensParams | |
Instances
data CodeLensRegistrationOptions #
Constructors
| CodeLensRegistrationOptions | |
Fields
| |
Instances
data CodeLensWorkspaceClientCapabilities #
Constructors
| CodeLensWorkspaceClientCapabilities | |
Fields | |
Instances
data ColorInformation #
Constructors
| ColorInformation | |
Instances
data ColorPresentation #
Constructors
| ColorPresentation | |
Instances
data ColorPresentationParams #
Constructors
| ColorPresentationParams | |
Fields | |
Instances
data CompletionClientCapabilities #
Constructors
| CompletionClientCapabilities | |
Fields
| |
Instances
data CompletionContext #
Constructors
| CompletionContext | |
Fields | |
Instances
data CompletionItem #
Constructors
| CompletionItem | |
Fields
| |
Instances
data CompletionItemKind #
Constructors
Instances
data CompletionItemLabelDetails #
Constructors
| CompletionItemLabelDetails | |
Instances
data CompletionItemTag #
Constructors
| CompletionItemTag_Deprecated |
Instances
data CompletionList #
Constructors
| CompletionList | |
Fields
| |
Instances
data CompletionOptions #
Constructors
| CompletionOptions | |
Fields
| |
Instances
data CompletionParams #
Constructors
| CompletionParams | |
Instances
data CompletionRegistrationOptions #
Constructors
| CompletionRegistrationOptions | |
Fields
| |
Instances
data CompletionTriggerKind #
Constructors
| CompletionTriggerKind_Invoked | |
| CompletionTriggerKind_TriggerCharacter | |
| CompletionTriggerKind_TriggerForIncompleteCompletions |
Instances
data ConfigurationItem #
Instances
data ConfigurationParams #
Constructors
| ConfigurationParams | |
Fields
| |
Instances
data CreateFile #
Constructors
| CreateFile | |
Fields
| |
Instances
data CreateFileOptions #
Constructors
| CreateFileOptions | |
Fields
| |
Instances
data CreateFilesParams #
Constructors
| CreateFilesParams | |
Fields
| |
Instances
newtype Declaration #
Constructors
| Declaration (Location |? [Location]) |
Instances
data DeclarationClientCapabilities #
Constructors
| DeclarationClientCapabilities | |
Fields | |
Instances
newtype DeclarationLink #
Constructors
| DeclarationLink LocationLink |
Instances
data DeclarationOptions #
Constructors
| DeclarationOptions | |
Fields | |
Instances
data DeclarationParams #
Constructors
| DeclarationParams | |
Instances
data DeclarationRegistrationOptions #
Constructors
| DeclarationRegistrationOptions | |
Fields
| |
Instances
newtype Definition #
Constructors
| Definition (Location |? [Location]) |
Instances
data DefinitionClientCapabilities #
Constructors
| DefinitionClientCapabilities | |
Fields | |
Instances
newtype DefinitionLink #
Constructors
| DefinitionLink LocationLink |
Instances
data DefinitionOptions #
Constructors
| DefinitionOptions | |
Fields | |
Instances
data DefinitionParams #
Constructors
| DefinitionParams | |
Instances
data DefinitionRegistrationOptions #
Constructors
| DefinitionRegistrationOptions | |
Fields
| |
Instances
data DeleteFile #
Constructors
| DeleteFile | |
Fields
| |
Instances
data DeleteFileOptions #
Constructors
| DeleteFileOptions | |
Fields | |
Instances
data DeleteFilesParams #
Constructors
| DeleteFilesParams | |
Fields
| |
Instances
data DiagnosticClientCapabilities #
Constructors
| DiagnosticClientCapabilities | |
Fields | |
Instances
data DiagnosticOptions #
Constructors
| DiagnosticOptions | |
Fields | |
Instances
data DiagnosticRegistrationOptions #
Constructors
| DiagnosticRegistrationOptions | |
Fields
| |
Instances
data DiagnosticRelatedInformation #
Constructors
| DiagnosticRelatedInformation | |
Instances
data DiagnosticServerCancellationData #
Constructors
| DiagnosticServerCancellationData | |
Fields | |
Instances
data DiagnosticTag #
Constructors
| DiagnosticTag_Unnecessary | |
| DiagnosticTag_Deprecated |
Instances
data DiagnosticWorkspaceClientCapabilities #
Constructors
| DiagnosticWorkspaceClientCapabilities | |
Fields | |
Instances
data DidChangeConfigurationClientCapabilities #
Constructors
| DidChangeConfigurationClientCapabilities | |
Fields | |
Instances
data DidChangeConfigurationParams #
Constructors
| DidChangeConfigurationParams | |
Instances
data DidChangeConfigurationRegistrationOptions #
Instances
data DidChangeNotebookDocumentParams #
Constructors
| DidChangeNotebookDocumentParams | |
Instances
data DidChangeTextDocumentParams #
Constructors
| DidChangeTextDocumentParams | |
Instances
data DidChangeWatchedFilesClientCapabilities #
Constructors
| DidChangeWatchedFilesClientCapabilities | |
Fields | |
Instances
data DidChangeWatchedFilesParams #
Constructors
| DidChangeWatchedFilesParams | |
Instances
data DidChangeWatchedFilesRegistrationOptions #
Constructors
| DidChangeWatchedFilesRegistrationOptions | |
Fields | |
Instances
data DidChangeWorkspaceFoldersParams #
Constructors
| DidChangeWorkspaceFoldersParams | |
Fields | |
Instances
data DidCloseNotebookDocumentParams #
Constructors
| DidCloseNotebookDocumentParams | |
Instances
data DidCloseTextDocumentParams #
Constructors
| DidCloseTextDocumentParams | |
Fields | |
Instances
data DidOpenNotebookDocumentParams #
Constructors
| DidOpenNotebookDocumentParams | |
Fields | |
Instances
data DidOpenTextDocumentParams #
Constructors
| DidOpenTextDocumentParams | |
Fields | |
Instances
data DidSaveNotebookDocumentParams #
Constructors
| DidSaveNotebookDocumentParams | |
Instances
data DidSaveTextDocumentParams #
Constructors
| DidSaveTextDocumentParams | |
Fields | |
Instances
data DocumentColorClientCapabilities #
Constructors
| DocumentColorClientCapabilities | |
Fields | |
Instances
data DocumentColorOptions #
Constructors
| DocumentColorOptions | |
Fields | |
Instances
data DocumentColorParams #
Constructors
| DocumentColorParams | |
Instances
data DocumentColorRegistrationOptions #
Constructors
| DocumentColorRegistrationOptions | |
Fields
| |
Instances
data DocumentDiagnosticParams #
Constructors
| DocumentDiagnosticParams | |
Instances
newtype DocumentDiagnosticReport #
Constructors
| DocumentDiagnosticReport (RelatedFullDocumentDiagnosticReport |? RelatedUnchangedDocumentDiagnosticReport) |
Instances
data DocumentDiagnosticReportKind #
Instances
data DocumentDiagnosticReportPartialResult #
Constructors
| DocumentDiagnosticReportPartialResult | |
Instances
newtype DocumentFilter #
Constructors
| DocumentFilter (TextDocumentFilter |? NotebookCellTextDocumentFilter) |
Instances
data DocumentFormattingClientCapabilities #
Constructors
| DocumentFormattingClientCapabilities | |
Fields | |
Instances
data DocumentFormattingOptions #
Constructors
| DocumentFormattingOptions | |
Fields | |
Instances
data DocumentFormattingParams #
Constructors
| DocumentFormattingParams | |
Instances
data DocumentFormattingRegistrationOptions #
Constructors
| DocumentFormattingRegistrationOptions | |
Fields
| |
Instances
data DocumentHighlight #
Constructors
| DocumentHighlight | |
Fields | |
Instances
data DocumentHighlightClientCapabilities #
Constructors
| DocumentHighlightClientCapabilities | |
Fields | |
Instances
data DocumentHighlightKind #
Instances
data DocumentHighlightOptions #
Constructors
| DocumentHighlightOptions | |
Fields | |
Instances
data DocumentHighlightParams #
Constructors
| DocumentHighlightParams | |
Instances
data DocumentHighlightRegistrationOptions #
Constructors
| DocumentHighlightRegistrationOptions | |
Fields
| |
Instances
data DocumentLink #
Constructors
| DocumentLink | |
Instances
data DocumentLinkClientCapabilities #
Constructors
| DocumentLinkClientCapabilities | |
Fields | |
Instances
data DocumentLinkOptions #
Constructors
| DocumentLinkOptions | |
Fields | |
Instances
data DocumentLinkParams #
Constructors
| DocumentLinkParams | |
Instances
data DocumentLinkRegistrationOptions #
Constructors
| DocumentLinkRegistrationOptions | |
Fields
| |
Instances
data DocumentOnTypeFormattingClientCapabilities #
Constructors
| DocumentOnTypeFormattingClientCapabilities | |
Fields | |
Instances
data DocumentOnTypeFormattingOptions #
Constructors
| DocumentOnTypeFormattingOptions | |
Fields | |
Instances
data DocumentOnTypeFormattingParams #
Constructors
| DocumentOnTypeFormattingParams | |
Fields | |
Instances
data DocumentOnTypeFormattingRegistrationOptions #
Constructors
| DocumentOnTypeFormattingRegistrationOptions | |
Fields
| |
Instances
data DocumentRangeFormattingClientCapabilities #
Constructors
| DocumentRangeFormattingClientCapabilities | |
Fields | |
Instances
data DocumentRangeFormattingOptions #
Constructors
| DocumentRangeFormattingOptions | |
Fields | |
Instances
data DocumentRangeFormattingParams #
Constructors
| DocumentRangeFormattingParams | |
Fields | |
Instances
data DocumentRangeFormattingRegistrationOptions #
Constructors
| DocumentRangeFormattingRegistrationOptions | |
Fields
| |
Instances
newtype DocumentSelector #
Constructors
| DocumentSelector [DocumentFilter] |
Instances
data DocumentSymbol #
Constructors
| DocumentSymbol | |
Fields
| |
Instances
data DocumentSymbolClientCapabilities #
Constructors
| DocumentSymbolClientCapabilities | |
Fields
| |
Instances
data DocumentSymbolOptions #
Constructors
| DocumentSymbolOptions | |
Instances
data DocumentSymbolParams #
Constructors
| DocumentSymbolParams | |
Instances
data DocumentSymbolRegistrationOptions #
Constructors
| DocumentSymbolRegistrationOptions | |
Fields
| |
Instances
data ErrorCodes #
Constructors
Instances
data ExecuteCommandClientCapabilities #
Constructors
| ExecuteCommandClientCapabilities | |
Fields | |
Instances
data ExecuteCommandOptions #
Constructors
| ExecuteCommandOptions | |
Fields
| |
Instances
data ExecuteCommandParams #
Constructors
| ExecuteCommandParams | |
Fields
| |
Instances
data ExecuteCommandRegistrationOptions #
Constructors
| ExecuteCommandRegistrationOptions | |
Fields
| |
Instances
data ExecutionSummary #
Constructors
| ExecutionSummary | |
Fields
| |
Instances
data FailureHandlingKind #
Constructors
| FailureHandlingKind_Abort | |
| FailureHandlingKind_Transactional | |
| FailureHandlingKind_TextOnlyTransactional | |
| FailureHandlingKind_Undo |
Instances
data FileChangeType #
Instances
data FileCreate #
Constructors
| FileCreate | |
Instances
data FileDelete #
Constructors
| FileDelete | |
Instances
Constructors
| FileEvent | |
Fields
| |
Instances
| FromJSON FileEvent | |
| ToJSON FileEvent | |
| Generic FileEvent | |
| Show FileEvent | |
| NFData FileEvent | |
| Eq FileEvent | |
| Ord FileEvent | |
| Hashable FileEvent | |
| Pretty FileEvent | |
| HasType_ FileEvent FileChangeType | |
Defined in Language.LSP.Protocol.Types.Lens Methods | |
| HasUri FileEvent Uri | |
Defined in Language.LSP.Protocol.Types.Lens | |
| HasChanges DidChangeWatchedFilesParams [FileEvent] | |
Defined in Language.LSP.Protocol.Types.Lens Methods | |
| type Rep FileEvent | |
Defined in Language.LSP.Protocol.Internal.Types.FileEvent type Rep FileEvent = D1 ('MetaData "FileEvent" "Language.LSP.Protocol.Internal.Types.FileEvent" "lsp-types-2.1.1.0-23BTFeziXop5yscaxJS17x" 'False) (C1 ('MetaCons "FileEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "_type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FileChangeType))) | |
data FileOperationClientCapabilities #
Constructors
| FileOperationClientCapabilities | |
Fields
| |
Instances
data FileOperationFilter #
Constructors
| FileOperationFilter | |
Fields | |
Instances
data FileOperationOptions #
Constructors
Instances
data FileOperationPattern #
Constructors
| FileOperationPattern | |
Fields | |
Instances
data FileOperationPatternKind #
Instances
data FileOperationPatternOptions #
Constructors
| FileOperationPatternOptions | |
Fields
| |
Instances
data FileOperationRegistrationOptions #
Constructors
| FileOperationRegistrationOptions | |
Fields | |
Instances
data FileRename #
Constructors
| FileRename | |
Instances
data FileSystemWatcher #
Constructors
| FileSystemWatcher | |
Fields | |
Instances
data FoldingRange #
Constructors
| FoldingRange | |
Fields
| |
Instances
data FoldingRangeClientCapabilities #
Constructors
| FoldingRangeClientCapabilities | |
Fields
| |
Instances
data FoldingRangeKind #
Constructors
| FoldingRangeKind_Comment | |
| FoldingRangeKind_Imports | |
| FoldingRangeKind_Region | |
| FoldingRangeKind_Custom Text |
Instances
data FoldingRangeOptions #
Constructors
| FoldingRangeOptions | |
Fields | |
Instances
data FoldingRangeParams #
Constructors
| FoldingRangeParams | |
Instances
data FoldingRangeRegistrationOptions #
Constructors
| FoldingRangeRegistrationOptions | |
Fields
| |
Instances
data FormattingOptions #
Constructors
| FormattingOptions | |
Fields | |
Instances
data FullDocumentDiagnosticReport #
Constructors
| FullDocumentDiagnosticReport | |
Instances
data GeneralClientCapabilities #
Constructors
| GeneralClientCapabilities | |
Fields
| |
Instances
newtype GlobPattern #
Constructors
| GlobPattern (Pattern |? RelativePattern) |
Instances
Constructors
| Hover | |
Fields
| |
Instances
data HoverClientCapabilities #
Constructors
| HoverClientCapabilities | |
Fields | |
Instances
data HoverOptions #
Constructors
| HoverOptions | |
Fields | |
Instances
data HoverParams #
Constructors
| HoverParams | |
Fields | |
Instances
data HoverRegistrationOptions #
Constructors
| HoverRegistrationOptions | |
Fields
| |
Instances
data ImplementationClientCapabilities #
Constructors
| ImplementationClientCapabilities | |
Fields | |
Instances
data ImplementationOptions #
Constructors
| ImplementationOptions | |
Fields | |
Instances
data ImplementationParams #
Constructors
| ImplementationParams | |
Instances
data ImplementationRegistrationOptions #
Constructors
| ImplementationRegistrationOptions | |
Fields
| |
Instances
data InitializeError #
Constructors
| InitializeError | |
Instances
data InitializeParams #
Constructors
| InitializeParams | |
Fields
| |
Instances
data InitializeResult #
Constructors
| InitializeResult | |
Fields
| |
Instances
data InitializedParams #
Constructors
| InitializedParams |
Instances
Constructors
| InlayHint | |
Fields
| |
Instances
data InlayHintClientCapabilities #
Constructors
| InlayHintClientCapabilities | |
Instances
data InlayHintKind #
Constructors
| InlayHintKind_Type | |
| InlayHintKind_Parameter |
Instances
data InlayHintLabelPart #
Constructors
| InlayHintLabelPart | |
Instances
data InlayHintOptions #
Constructors
| InlayHintOptions | |
Fields | |
Instances
data InlayHintParams #
Constructors
| InlayHintParams | |
Fields | |
Instances
data InlayHintRegistrationOptions #
Constructors
| InlayHintRegistrationOptions | |
Fields
| |
Instances
data InlayHintWorkspaceClientCapabilities #
Constructors
| InlayHintWorkspaceClientCapabilities | |
Fields | |
Instances
newtype InlineValue #
Constructors
| InlineValue (InlineValueText |? (InlineValueVariableLookup |? InlineValueEvaluatableExpression)) |
Instances
data InlineValueClientCapabilities #
Constructors
| InlineValueClientCapabilities | |
Fields | |
Instances
data InlineValueContext #
Constructors
| InlineValueContext | |
Fields
| |
Instances
data InlineValueEvaluatableExpression #
Constructors
| InlineValueEvaluatableExpression | |
Fields
| |
Instances
data InlineValueOptions #
Constructors
| InlineValueOptions | |
Fields | |
Instances
data InlineValueParams #
Constructors
| InlineValueParams | |
Fields | |
Instances
data InlineValueRegistrationOptions #
Constructors
| InlineValueRegistrationOptions | |
Fields
| |
Instances
data InlineValueText #
Constructors
| InlineValueText | |
Instances
data InlineValueVariableLookup #
Constructors
| InlineValueVariableLookup | |
Fields
| |
Instances
data InlineValueWorkspaceClientCapabilities #
Constructors
| InlineValueWorkspaceClientCapabilities | |
Fields | |
Instances
data InsertReplaceEdit #
Instances
data InsertTextFormat #
Constructors
| InsertTextFormat_PlainText | |
| InsertTextFormat_Snippet |
Instances
data InsertTextMode #
Constructors
| InsertTextMode_AsIs | |
| InsertTextMode_AdjustIndentation |
Instances
data LSPErrorCodes #
Constructors
| LSPErrorCodes_RequestFailed | |
| LSPErrorCodes_ServerCancelled | |
| LSPErrorCodes_ContentModified | |
| LSPErrorCodes_RequestCancelled | |
| LSPErrorCodes_Custom Int32 |
Instances
data LinkedEditingRangeClientCapabilities #
Constructors
| LinkedEditingRangeClientCapabilities | |
Fields | |
Instances
data LinkedEditingRangeOptions #
Constructors
| LinkedEditingRangeOptions | |
Fields | |
Instances
data LinkedEditingRangeParams #
Constructors
| LinkedEditingRangeParams | |
Fields | |
Instances
data LinkedEditingRangeRegistrationOptions #
Constructors
| LinkedEditingRangeRegistrationOptions | |
Fields
| |
Instances
data LinkedEditingRanges #
Constructors
| LinkedEditingRanges | |
Fields
| |
Instances
data LocationLink #
Constructors
| LocationLink | |
Fields | |
Instances
data LogMessageParams #
Constructors
| LogMessageParams | |
Fields
| |
Instances
data LogTraceParams #
Instances
data MarkdownClientCapabilities #
Constructors
| MarkdownClientCapabilities | |
Instances
newtype MarkedString #
Constructors
| MarkedString (Text |? Rec (("language" .== Text) .+ (("value" .== Text) .+ (Empty :: Row Type)))) |
Instances
data MarkupContent #
Constructors
| MarkupContent | |
Fields
| |
Instances
data MarkupKind #
Constructors
| MarkupKind_PlainText | |
| MarkupKind_Markdown |
Instances
data MessageActionItem #
Constructors
| MessageActionItem | |
Instances
data MessageType #
Instances
Constructors
| Moniker | |
Fields
| |
Instances
data MonikerClientCapabilities #
Constructors
| MonikerClientCapabilities | |
Fields | |
Instances
data MonikerKind #
Constructors
| MonikerKind_Import | |
| MonikerKind_Export | |
| MonikerKind_Local |
Instances
data MonikerOptions #
Constructors
| MonikerOptions | |
Fields | |
Instances
data MonikerParams #
Constructors
| MonikerParams | |
Instances
data MonikerRegistrationOptions #
Constructors
| MonikerRegistrationOptions | |
Fields
| |
Instances
data NotebookCell #
Constructors
| NotebookCell | |
Fields | |
Instances
data NotebookCellArrayChange #
Constructors
| NotebookCellArrayChange | |
Fields
| |
Instances
data NotebookCellKind #
Constructors
| NotebookCellKind_Markup | |
| NotebookCellKind_Code |
Instances
data NotebookCellTextDocumentFilter #
Constructors
| NotebookCellTextDocumentFilter | |
Instances
data NotebookDocument #
Constructors
| NotebookDocument | |
Instances
data NotebookDocumentChangeEvent #
Constructors
| NotebookDocumentChangeEvent | |
Fields
| |
Instances
data NotebookDocumentClientCapabilities #
Constructors
| NotebookDocumentClientCapabilities | |
Instances
newtype NotebookDocumentFilter #
Constructors
| NotebookDocumentFilter (Rec (("notebookType" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? (Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? Rec (("notebookType" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ (Empty :: Row Type)))))) |
Instances
data NotebookDocumentIdentifier #
Constructors
| NotebookDocumentIdentifier | |
Instances
data NotebookDocumentSyncClientCapabilities #
Constructors
| NotebookDocumentSyncClientCapabilities | |
Fields | |
Instances
data NotebookDocumentSyncOptions #
Constructors
| NotebookDocumentSyncOptions | |
Fields
| |
Instances
data NotebookDocumentSyncRegistrationOptions #
Constructors
| NotebookDocumentSyncRegistrationOptions | |
Fields
| |
Instances
data OptionalVersionedTextDocumentIdentifier #
Instances
data ParameterInformation #
Constructors
| ParameterInformation | |
Fields
| |
Instances
data PartialResultParams #
Constructors
| PartialResultParams | |
Fields | |
Instances
data PositionEncodingKind #
Constructors
| PositionEncodingKind_UTF8 | |
| PositionEncodingKind_UTF16 | |
| PositionEncodingKind_UTF32 | |
| PositionEncodingKind_Custom Text |
Instances
data PrepareRenameParams #
Constructors
| PrepareRenameParams | |
Fields | |
Instances
newtype PrepareRenameResult #
Constructors
| PrepareRenameResult (Range |? (Rec (("range" .== Range) .+ (("placeholder" .== Text) .+ (Empty :: Row Type))) |? Rec (("defaultBehavior" .== Bool) .+ (Empty :: Row Type)))) |
Instances
data PrepareSupportDefaultBehavior #
Constructors
| PrepareSupportDefaultBehavior_Identifier |
Instances
data PreviousResultId #
Constructors
| PreviousResultId | |
Instances
data ProgressParams #
Constructors
| ProgressParams | |
Fields
| |
Instances
newtype ProgressToken #
Constructors
| ProgressToken (Int32 |? Text) |
Instances
data PublishDiagnosticsClientCapabilities #
Constructors
| PublishDiagnosticsClientCapabilities | |
Fields
| |
Instances
data PublishDiagnosticsParams #
Constructors
| PublishDiagnosticsParams | |
Fields
| |
Instances
data ReferenceClientCapabilities #
Constructors
| ReferenceClientCapabilities | |
Fields | |
Instances
data ReferenceContext #
Constructors
| ReferenceContext | |
Fields | |
Instances
data ReferenceOptions #
Constructors
| ReferenceOptions | |
Fields | |
Instances
data ReferenceParams #
Constructors
| ReferenceParams | |
Instances
data ReferenceRegistrationOptions #
Constructors
| ReferenceRegistrationOptions | |
Fields
| |
Instances
data Registration #
Constructors
| Registration | |
Instances
data RegistrationParams #
Constructors
| RegistrationParams | |
Fields | |
Instances
data RegularExpressionsClientCapabilities #
Instances
data RelatedFullDocumentDiagnosticReport #
Constructors
| RelatedFullDocumentDiagnosticReport | |
Fields
| |
Instances
data RelatedUnchangedDocumentDiagnosticReport #
Constructors
| RelatedUnchangedDocumentDiagnosticReport | |
Fields
| |
Instances
data RelativePattern #
Constructors
| RelativePattern | |
Instances
data RenameClientCapabilities #
Constructors
| RenameClientCapabilities | |
Instances
data RenameFile #
Constructors
| RenameFile | |
Fields
| |
Instances
data RenameFileOptions #
Constructors
| RenameFileOptions | |
Fields
| |
Instances
data RenameFilesParams #
Constructors
| RenameFilesParams | |
Fields
| |
Instances
data RenameOptions #
Constructors
| RenameOptions | |
Fields | |
Instances
data RenameParams #
Constructors
| RenameParams | |
Fields | |
Instances
data RenameRegistrationOptions #
Constructors
| RenameRegistrationOptions | |
Fields
| |
Instances
data ResourceOperation #
Constructors
| ResourceOperation | |
Fields | |
Instances
data ResourceOperationKind #
Instances
data SaveOptions #
Constructors
| SaveOptions | |
Fields | |
Instances
data SelectionRange #
Constructors
| SelectionRange | |
Fields
| |
Instances
data SelectionRangeClientCapabilities #
Constructors
| SelectionRangeClientCapabilities | |
Fields | |
Instances
data SelectionRangeOptions #
Constructors
| SelectionRangeOptions | |
Fields | |
Instances
data SelectionRangeParams #
Constructors
| SelectionRangeParams | |
Instances
data SelectionRangeRegistrationOptions #
Constructors
| SelectionRangeRegistrationOptions | |
Fields
| |
Instances
data SemanticTokenModifiers #
Constructors
Instances
data SemanticTokenTypes #
Constructors
Instances
data SemanticTokens #
Instances
data SemanticTokensClientCapabilities #
Constructors
| SemanticTokensClientCapabilities | |
Fields
| |
Instances
data SemanticTokensDelta #
Constructors
| SemanticTokensDelta | |
Fields
| |
Instances
data SemanticTokensDeltaParams #
Constructors
| SemanticTokensDeltaParams | |
Instances
data SemanticTokensDeltaPartialResult #
Constructors
| SemanticTokensDeltaPartialResult | |
Fields
| |
Instances
data SemanticTokensEdit #
Constructors
| SemanticTokensEdit | |
Instances
data SemanticTokensLegend #
Constructors
| SemanticTokensLegend | |
Fields
| |
Instances
data SemanticTokensOptions #
Constructors
| SemanticTokensOptions | |
Instances
data SemanticTokensParams #
Constructors
| SemanticTokensParams | |
Instances
data SemanticTokensPartialResult #
Constructors
| SemanticTokensPartialResult | |
Instances
data SemanticTokensRangeParams #
Constructors
| SemanticTokensRangeParams | |
Instances
data SemanticTokensRegistrationOptions #
Constructors
| SemanticTokensRegistrationOptions | |
Instances
data SemanticTokensWorkspaceClientCapabilities #
Constructors
| SemanticTokensWorkspaceClientCapabilities | |
Fields | |
Instances
data ServerCapabilities #
Constructors
Instances
data SetTraceParams #
Constructors
| SetTraceParams | |
Fields | |
Instances
data ShowDocumentClientCapabilities #
Constructors
| ShowDocumentClientCapabilities | |
Instances
data ShowDocumentParams #
Constructors
| ShowDocumentParams | |
Instances
data ShowDocumentResult #
Constructors
| ShowDocumentResult | |
Instances
data ShowMessageParams #
Constructors
| ShowMessageParams | |
Fields
| |
Instances
data ShowMessageRequestClientCapabilities #
Constructors
| ShowMessageRequestClientCapabilities | |
Instances
data ShowMessageRequestParams #
Constructors
| ShowMessageRequestParams | |
Fields
| |
Instances
data SignatureHelp #
Constructors
| SignatureHelp | |
Fields | |
Instances
data SignatureHelpClientCapabilities #
Constructors
| SignatureHelpClientCapabilities | |
Fields
| |
Instances
data SignatureHelpContext #
Constructors
| SignatureHelpContext | |
Instances
data SignatureHelpOptions #
Constructors
| SignatureHelpOptions | |
Fields
| |
Instances
data SignatureHelpParams #
Constructors
| SignatureHelpParams | |
Instances
data SignatureHelpRegistrationOptions #
Constructors
| SignatureHelpRegistrationOptions | |
Fields
| |
Instances
data SignatureHelpTriggerKind #
Constructors
| SignatureHelpTriggerKind_Invoked | |
| SignatureHelpTriggerKind_TriggerCharacter | |
| SignatureHelpTriggerKind_ContentChange |
Instances
data SignatureInformation #
Constructors
| SignatureInformation | |
Fields
| |
Instances
data StaticRegistrationOptions #
Constructors
| StaticRegistrationOptions | |
Instances
data SymbolInformation #
Constructors
| SymbolInformation | |
Fields
| |
Instances
data SymbolKind #
Constructors
Instances
Constructors
| SymbolTag_Deprecated |
Instances
data TextDocumentChangeRegistrationOptions #
Constructors
| TextDocumentChangeRegistrationOptions | |
Fields | |
Instances
data TextDocumentClientCapabilities #
Constructors
Instances
newtype TextDocumentContentChangeEvent #
Constructors
| TextDocumentContentChangeEvent (Rec (("range" .== Range) .+ (("rangeLength" .== Maybe UInt) .+ (("text" .== Text) .+ (Empty :: Row Type)))) |? Rec (("text" .== Text) .+ (Empty :: Row Type))) |
Instances
data TextDocumentEdit #
Constructors
| TextDocumentEdit | |
Instances
newtype TextDocumentFilter #
Constructors
| TextDocumentFilter (Rec (("language" .== Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? (Rec (("language" .== Maybe Text) .+ (("scheme" .== Text) .+ (("pattern" .== Maybe Text) .+ (Empty :: Row Type)))) |? Rec (("language" .== Maybe Text) .+ (("scheme" .== Maybe Text) .+ (("pattern" .== Text) .+ (Empty :: Row Type)))))) |
Instances
data TextDocumentIdentifier #
Constructors
| TextDocumentIdentifier | |
Instances
data TextDocumentItem #
Constructors
| TextDocumentItem | |
Instances
data TextDocumentPositionParams #
Constructors
| TextDocumentPositionParams | |
Fields | |
Instances
data TextDocumentRegistrationOptions #
Constructors
| TextDocumentRegistrationOptions | |
Fields
| |
Instances
data TextDocumentSaveReason #
Constructors
| TextDocumentSaveReason_Manual | |
| TextDocumentSaveReason_AfterDelay | |
| TextDocumentSaveReason_FocusOut |
Instances
data TextDocumentSaveRegistrationOptions #
Constructors
| TextDocumentSaveRegistrationOptions | |
Fields
| |
Instances
data TextDocumentSyncClientCapabilities #
Constructors
| TextDocumentSyncClientCapabilities | |
Instances
data TextDocumentSyncKind #
Instances
data TextDocumentSyncOptions #
Constructors
| TextDocumentSyncOptions | |
Fields
| |
Instances
Instances
data TokenFormat #
Constructors
| TokenFormat_Relative |
Instances
data TraceValues #
Constructors
| TraceValues_Off | |
| TraceValues_Messages | |
| TraceValues_Verbose |
Instances
data TypeDefinitionClientCapabilities #
Constructors
| TypeDefinitionClientCapabilities | |
Fields | |
Instances
data TypeDefinitionOptions #
Constructors
| TypeDefinitionOptions | |
Fields | |
Instances
data TypeDefinitionParams #
Constructors
| TypeDefinitionParams | |
Instances
data TypeDefinitionRegistrationOptions #
Constructors
| TypeDefinitionRegistrationOptions | |
Fields
| |
Instances
data TypeHierarchyClientCapabilities #
Constructors
| TypeHierarchyClientCapabilities | |
Fields | |
Instances
data TypeHierarchyItem #
Constructors
| TypeHierarchyItem | |
Instances
data TypeHierarchyOptions #
Constructors
| TypeHierarchyOptions | |
Fields | |
Instances
data TypeHierarchyPrepareParams #
Constructors
| TypeHierarchyPrepareParams | |
Fields | |
Instances
data TypeHierarchyRegistrationOptions #
Constructors
| TypeHierarchyRegistrationOptions | |
Fields
| |
Instances
data TypeHierarchySubtypesParams #
Constructors
| TypeHierarchySubtypesParams | |
Instances
data TypeHierarchySupertypesParams #
Constructors
| TypeHierarchySupertypesParams | |
Instances
data UInitializeParams #
Constructors
| UInitializeParams | |
Fields
| |
Instances
data UnchangedDocumentDiagnosticReport #
Constructors
| UnchangedDocumentDiagnosticReport | |
Instances
data UniquenessLevel #
Constructors
| UniquenessLevel_Document | |
| UniquenessLevel_Project | |
| UniquenessLevel_Group | |
| UniquenessLevel_Scheme | |
| UniquenessLevel_Global |
Instances
data Unregistration #
Constructors
| Unregistration | |
Instances
data UnregistrationParams #
Constructors
| UnregistrationParams | |
Fields | |
Instances
data VersionedNotebookDocumentIdentifier #
Constructors
| VersionedNotebookDocumentIdentifier | |
Instances
data VersionedTextDocumentIdentifier #
Constructors
| VersionedTextDocumentIdentifier | |
Instances
Instances
data WillSaveTextDocumentParams #
Constructors
| WillSaveTextDocumentParams | |
Instances
data WindowClientCapabilities #
Constructors
| WindowClientCapabilities | |
Instances
data WorkDoneProgressBegin #
Constructors
| WorkDoneProgressBegin | |
Instances
data WorkDoneProgressCancelParams #
Constructors
| WorkDoneProgressCancelParams | |
Fields | |
Instances
data WorkDoneProgressCreateParams #
Constructors
| WorkDoneProgressCreateParams | |
Fields | |
Instances
data WorkDoneProgressEnd #
Instances
data WorkDoneProgressOptions #
Constructors
| WorkDoneProgressOptions | |
Fields | |
Instances
data WorkDoneProgressParams #
Constructors
| WorkDoneProgressParams | |
Fields | |
Instances
data WorkDoneProgressReport #
Constructors
| WorkDoneProgressReport | |
Instances
data WorkspaceClientCapabilities #
Constructors
Instances
data WorkspaceDiagnosticParams #
Constructors
| WorkspaceDiagnosticParams | |
Instances
data WorkspaceDiagnosticReport #
Constructors
| WorkspaceDiagnosticReport | |
Fields | |
Instances
data WorkspaceDiagnosticReportPartialResult #
Constructors
| WorkspaceDiagnosticReportPartialResult | |
Fields | |
Instances
newtype WorkspaceDocumentDiagnosticReport #
Constructors
| WorkspaceDocumentDiagnosticReport (WorkspaceFullDocumentDiagnosticReport |? WorkspaceUnchangedDocumentDiagnosticReport) |
Instances
data WorkspaceEditClientCapabilities #
Constructors
| WorkspaceEditClientCapabilities | |
Fields
| |
Instances
data WorkspaceFolder #
Constructors
| WorkspaceFolder | |
Instances
data WorkspaceFoldersChangeEvent #
Constructors
| WorkspaceFoldersChangeEvent | |
Fields
| |
Instances
data WorkspaceFoldersInitializeParams #
Constructors
| WorkspaceFoldersInitializeParams | |
Fields
| |
Instances
data WorkspaceFoldersServerCapabilities #
Constructors
| WorkspaceFoldersServerCapabilities | |
Fields
| |
Instances
data WorkspaceFullDocumentDiagnosticReport #
Constructors
| WorkspaceFullDocumentDiagnosticReport | |
Instances
data WorkspaceSymbol #
Constructors
| WorkspaceSymbol | |
Instances
data WorkspaceSymbolClientCapabilities #
Constructors
| WorkspaceSymbolClientCapabilities | |
Instances
data WorkspaceSymbolOptions #
Constructors
| WorkspaceSymbolOptions | |
Fields | |
Instances
data WorkspaceSymbolParams #
Constructors
| WorkspaceSymbolParams | |
Fields | |
Instances
data WorkspaceSymbolRegistrationOptions #
Constructors
| WorkspaceSymbolRegistrationOptions | |
Fields | |
Instances
data WorkspaceUnchangedDocumentDiagnosticReport #
Constructors
| WorkspaceUnchangedDocumentDiagnosticReport | |
Instances
Instances
type DocumentChange = TextDocumentEdit |? (CreateFile |? (RenameFile |? DeleteFile)) #
Constructors
| AsLspEnum a |
Instances
| (LspEnum a, EnumBaseType a ~ b, FromJSON b, Show b) => FromJSON (AsLspEnum a) | |
Defined in Language.LSP.Protocol.Types.LspEnum | |
| (LspEnum a, EnumBaseType a ~ b, ToJSON b) => ToJSON (AsLspEnum a) | |
| (LspOpenEnum a, EnumBaseType a ~ b, b ~ Text) => IsString (AsLspEnum a) | |
Defined in Language.LSP.Protocol.Types.LspEnum Methods fromString :: String -> AsLspEnum a # | |
Minimal complete definition
Associated Types
type EnumBaseType a #
Methods
knownValues :: Set a #
toEnumBaseType :: a -> EnumBaseType a #
fromEnumBaseType :: EnumBaseType a -> Maybe a #
Instances
type family EnumBaseType a #
Instances
class LspEnum a => LspOpenEnum a where #
Methods
fromOpenEnumBaseType :: EnumBaseType a -> a #
Instances
Constructors
| Edit | |
Fields
| |
data SemanticTokenAbsolute #
Constructors
| SemanticTokenAbsolute | |
Fields
| |
Instances
data SemanticTokenRelative #
Constructors
| SemanticTokenRelative | |
Fields | |
Instances
data AString (s :: Symbol) where #
Constructors
| AString :: forall (s :: Symbol). KnownSymbol s => AString s |
Instances
data AnInteger (n :: Nat) where #
Instances
| KnownNat n => FromJSON (AnInteger n) | |
Defined in Language.LSP.Protocol.Types.Singletons | |
| ToJSON (AnInteger n) | |
| Show (AnInteger n) | |
| NFData (AnInteger s) | |
Defined in Language.LSP.Protocol.Types.Singletons | |
| Eq (AnInteger n) | |
| Ord (AnInteger n) | |
Defined in Language.LSP.Protocol.Types.Singletons | |
| Hashable (AnInteger i) | |
Defined in Language.LSP.Protocol.Types.Singletons | |
| Pretty (AnInteger n) | |
Defined in Language.LSP.Protocol.Types.Singletons | |
positionInRange :: Position -> Range -> Bool #
fromNormalizedUri :: NormalizedUri -> Uri #
toNormalizedUri :: Uri -> NormalizedUri #
absorbNull :: Monoid a => (a |? Null) -> a #
maybeToNull :: Maybe a -> a |? Null #
nullToMaybe :: (a |? Null) -> Maybe a #
_versionedTextDocumentIdentifier :: Prism' OptionalVersionedTextDocumentIdentifier VersionedTextDocumentIdentifier #
applyTextEdit :: TextEdit -> Text -> Text #
editTextEdit :: TextEdit -> TextEdit -> TextEdit #
isSubrangeOf :: Range -> Range -> Bool #
mkMarkdown :: Text -> MarkupContent #
mkMarkdownCodeBlock :: Text -> Text -> MarkupContent #
mkPlainText :: Text -> MarkupContent #
plainTextToMarkdown :: Text -> Text #
computeEdits :: Eq a => [a] -> [a] -> [Edit a] #
encodeTokens :: SemanticTokensLegend -> [SemanticTokenRelative] -> Either Text [UInt] #
makeSemanticTokens :: SemanticTokensLegend -> [SemanticTokenAbsolute] -> Either Text SemanticTokens #
filePathToUri :: FilePath -> Uri #
platformAwareFilePathToUri :: SystemOS -> FilePath -> Uri #
uriToFilePath :: Uri -> Maybe FilePath #
normalizedFilePathToOsPath :: MonadThrow m => NormalizedFilePath -> m OsPath #
osPathToNormalizedFilePath :: MonadThrow m => OsPath -> m NormalizedFilePath #
combineWatchKinds :: Set WatchKind -> WatchKind #
containsChange :: WatchKind -> Bool #
containsCreate :: WatchKind -> Bool #
containsDelete :: WatchKind -> Bool #
module Language.LSP.Test
module Control.Monad.IO.Class
defaultTestRunner :: TestTree -> IO () Source #
Run defaultMainWithRerun, limiting each single test case running at most 10 minutes
goldenGitDiff :: TestName -> FilePath -> IO ByteString -> TestTree Source #
goldenWithHaskellDoc :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
goldenWithHaskellDocInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
goldenWithHaskellAndCaps :: Pretty b => Config -> ClientCapabilities -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
goldenWithHaskellAndCapsInTmpDir :: Pretty b => Config -> ClientCapabilities -> PluginTestDescriptor b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
goldenWithCabalDoc :: Pretty b => Config -> PluginTestDescriptor b -> TestName -> FilePath -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
goldenWithHaskellDocFormatter Source #
Arguments
| :: Pretty b | |
| => Config | |
| -> PluginTestDescriptor b | Formatter plugin to be used |
| -> String | Name of the formatter to be used |
| -> PluginConfig | |
| -> TestName | Title of the test |
| -> FilePath | Directory of the test data to be used |
| -> FilePath | Path to the testdata to be used within the directory |
| -> FilePath | Additional suffix to be appended to the output file |
| -> FilePath | Extension of the output file |
| -> (TextDocumentIdentifier -> Session ()) | |
| -> TestTree |
goldenWithHaskellDocFormatterInTmpDir Source #
Arguments
| :: Pretty b | |
| => Config | |
| -> PluginTestDescriptor b | Formatter plugin to be used |
| -> String | Name of the formatter to be used |
| -> PluginConfig | |
| -> TestName | Title of the test |
| -> VirtualFileTree | Virtual representation of the test project |
| -> FilePath | Path to the testdata to be used within the directory |
| -> FilePath | Additional suffix to be appended to the output file |
| -> FilePath | Extension of the output file |
| -> (TextDocumentIdentifier -> Session ()) | |
| -> TestTree |
goldenWithCabalDocFormatter Source #
Arguments
| :: Pretty b | |
| => Config | |
| -> PluginTestDescriptor b | Formatter plugin to be used |
| -> String | Name of the formatter to be used |
| -> PluginConfig | |
| -> TestName | Title of the test |
| -> FilePath | Directory of the test data to be used |
| -> FilePath | Path to the testdata to be used within the directory |
| -> FilePath | Additional suffix to be appended to the output file |
| -> FilePath | Extension of the output file |
| -> (TextDocumentIdentifier -> Session ()) | |
| -> TestTree |
goldenWithCabalDocFormatterInTmpDir Source #
Arguments
| :: Pretty b | |
| => Config | |
| -> PluginTestDescriptor b | Formatter plugin to be used |
| -> String | Name of the formatter to be used |
| -> PluginConfig | |
| -> TestName | Title of the test |
| -> VirtualFileTree | Virtual representation of the test project |
| -> FilePath | Path to the testdata to be used within the directory |
| -> FilePath | Additional suffix to be appended to the output file |
| -> FilePath | Extension of the output file |
| -> (TextDocumentIdentifier -> Session ()) | |
| -> TestTree |
Running HLS for integration tests
runSessionWithServer :: Pretty b => Config -> PluginTestDescriptor b -> FilePath -> Session a -> IO a Source #
runSessionWithServerAndCaps :: Pretty b => Config -> PluginTestDescriptor b -> ClientCapabilities -> FilePath -> Session a -> IO a Source #
runSessionWithServerInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> VirtualFileTree -> Session a -> IO a Source #
runSessionWithServerAndCapsInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> ClientCapabilities -> VirtualFileTree -> Session a -> IO a Source #
runSessionWithServer' Source #
Arguments
| :: IdePlugins IdeState | Plugins to load on the server. For improved logging, make sure these plugins have been initalised with
the recorder produced by |
| -> Config | lsp config for the server |
| -> SessionConfig | config for the test session |
| -> ClientCapabilities | |
| -> FilePath | |
| -> Session a | |
| -> IO a |
Host a server, and run a test session on it
Note: cwd will be shifted into root in Session a
runSessionWithServerInTmpDir' Source #
Arguments
| :: IdePlugins IdeState | Plugins to load on the server. For improved logging, make sure these plugins have been initalised with
the recorder produced by |
| -> Config | lsp config for the server |
| -> SessionConfig | config for the test session |
| -> ClientCapabilities | |
| -> VirtualFileTree | |
| -> Session a | |
| -> IO a |
Host a server, and run a test session on it.
Creates a temporary directory, and materializes the VirtualFileTree in the temporary directory.
To debug test cases and verify the file system is correctly set up, you should set the environment variable 'HLS_TEST_HARNESS_NO_TESTDIR_CLEANUP=1'. Further, we log the temporary directory location on startup. To view the logs, set the environment variable 'HLS_TEST_HARNESS_STDERR=1'.
Example invocation to debug test cases:
HLS_TEST_HARNESS_NO_TESTDIR_CLEANUP=1 HLS_TEST_HARNESS_STDERR=1 cabal test plugin-name
Don't forget to use TASTY_PATTERN to debug only a subset of tests.
For plugin test logs, look at the documentation of mkPluginTestDescriptor.
Note: cwd will be shifted into a temporary directory in Session a
Helpful re-exports
data PluginDescriptor ideState #
Assertion helper functions
waitForProgressDone :: Session () Source #
Wait for the next progress end step
waitForAllProgressDone :: Session () Source #
Wait for all progress to be done Needs at least one progress done notification to return
waitForBuildQueue :: Session Seconds Source #
Wait for the build queue to be empty
waitForTypecheck :: TextDocumentIdentifier -> Session (Either ResponseError Bool) Source #
waitForAction :: String -> TextDocumentIdentifier -> Session (Either ResponseError WaitForIdeRuleResult) Source #
setHlsConfig :: Config -> Session () Source #
Set the HLS client configuration, and wait for the server to update to use it.
Note that this will only work if we are not ignoring configuration requests, you
may need to call setIgnoringConfigurationRequests False first.
waitForKickDone :: Session () Source #
waitForKickStart :: Session () Source #
Plugin descriptor helper functions for tests
type PluginTestDescriptor b = Recorder (WithPriority b) -> IdePlugins IdeState Source #
Plugin under test where a fitting recorder is injected.
pluginTestRecorder :: Pretty a => IO (Recorder (WithPriority a)) Source #
Initialise a recorder that can be instructed to write to stderr by setting the environment variable "HLS_TEST_PLUGIN_LOG_STDERR=1" before running the tests.
On the cli, use for example:
HLS_TEST_PLUGIN_LOG_STDERR=1 cabal test test-suite-of-plugin
To write all logs to stderr, including logs of the server, use:
HLS_TEST_LOG_STDERR=1 cabal test test-suite-of-plugin
mkPluginTestDescriptor :: (Recorder (WithPriority b) -> PluginId -> PluginDescriptor IdeState) -> PluginId -> PluginTestDescriptor b Source #
Wrap a plugin you want to test, and inject a fitting recorder as required.
If you want to write the logs to stderr, run your tests with "HLS_TEST_PLUGIN_LOG_STDERR=1", e.g.
HLS_TEST_PLUGIN_LOG_STDERR=1 cabal test test-suite-of-plugin
To write all logs to stderr, including logs of the server, use:
HLS_TEST_LOG_STDERR=1 cabal test test-suite-of-plugin
mkPluginTestDescriptor' :: (PluginId -> PluginDescriptor IdeState) -> PluginId -> PluginTestDescriptor b Source #
Wrap a plugin you want to test.
Ideally, try to migrate this plugin to co-log logger style architecture.
Therefore, you should prefer mkPluginTestDescriptor to this if possible.
Re-export logger types
data WithPriority a #
Constructors
| WithPriority Priority CallStack a |
Instances
| Functor WithPriority | |
Defined in Ide.Logger Methods fmap :: (a -> b) -> WithPriority a -> WithPriority b # (<$) :: a -> WithPriority b -> WithPriority a # | |
Note that this is logging actions _of the program_, not of the user. You shouldn't call warning/error if the user has caused an error, only if our code has gone wrong and is itself erroneous (e.g. we threw an exception).
Constructors
| Debug | Verbose debug logging. |
| Info | Useful information in case an error has to be understood. |
| Warning | These error messages should not occur in a expected usage, and should be investigated. |
| Error | Such log messages must never occur in expected usage. |
Instances
| Bounded Priority | |
| Enum Priority | |
| Read Priority | |
| Show Priority | |
| Eq Priority | |
| Ord Priority | |
Defined in Ide.Logger | |