Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Test.Hls
Synopsis
- module Test.Tasty.HUnit
- data TestTree
- data DependencyType
- type TestName = String
- pattern NoTimeout :: Timeout
- defaultMain :: TestTree -> IO ()
- after :: DependencyType -> String -> TestTree -> TestTree
- askOption :: IsOption v => (v -> TestTree) -> TestTree
- localOption :: IsOption v => v -> TestTree -> TestTree
- 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 Range = Range {}
- data NormalizedUri = NormalizedUri !Int !Text
- data DiagnosticSeverity
- data NormalizedFilePath
- newtype Uri = Uri {}
- data Command = Command {}
- data WorkspaceEdit = WorkspaceEdit {}
- data CodeActionKind
- = CodeActionKind_Empty
- | CodeActionKind_QuickFix
- | CodeActionKind_Refactor
- | CodeActionKind_RefactorExtract
- | CodeActionKind_RefactorInline
- | CodeActionKind_RefactorRewrite
- | CodeActionKind_Source
- | CodeActionKind_SourceOrganizeImports
- | CodeActionKind_SourceFixAll
- | CodeActionKind_Notebook
- | CodeActionKind_Custom Text
- data DiagnosticTag
- 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 ChangeAnnotationsSupportOptions = ChangeAnnotationsSupportOptions {}
- data ClientCapabilities = ClientCapabilities {}
- data ClientCodeActionKindOptions = ClientCodeActionKindOptions {
- _valueSet :: [CodeActionKind]
- data ClientCodeActionLiteralOptions = ClientCodeActionLiteralOptions {}
- data ClientCodeActionResolveOptions = ClientCodeActionResolveOptions {
- _properties :: [Text]
- data ClientCompletionItemInsertTextModeOptions = ClientCompletionItemInsertTextModeOptions {
- _valueSet :: [InsertTextMode]
- data ClientCompletionItemOptions = ClientCompletionItemOptions {
- _snippetSupport :: Maybe Bool
- _commitCharactersSupport :: Maybe Bool
- _documentationFormat :: Maybe [MarkupKind]
- _deprecatedSupport :: Maybe Bool
- _preselectSupport :: Maybe Bool
- _tagSupport :: Maybe CompletionItemTagOptions
- _insertReplaceSupport :: Maybe Bool
- _resolveSupport :: Maybe ClientCompletionItemResolveOptions
- _insertTextModeSupport :: Maybe ClientCompletionItemInsertTextModeOptions
- _labelDetailsSupport :: Maybe Bool
- data ClientCompletionItemOptionsKind = ClientCompletionItemOptionsKind {}
- data ClientCompletionItemResolveOptions = ClientCompletionItemResolveOptions {
- _properties :: [Text]
- data ClientDiagnosticsTagOptions = ClientDiagnosticsTagOptions {
- _valueSet :: [DiagnosticTag]
- data ClientFoldingRangeKindOptions = ClientFoldingRangeKindOptions {}
- data ClientFoldingRangeOptions = ClientFoldingRangeOptions {}
- data ClientInfo = ClientInfo {}
- data ClientInlayHintResolveOptions = ClientInlayHintResolveOptions {
- _properties :: [Text]
- data ClientSemanticTokensRequestFullDelta = ClientSemanticTokensRequestFullDelta {}
- data ClientSemanticTokensRequestOptions = ClientSemanticTokensRequestOptions {}
- data ClientShowMessageActionItemOptions = ClientShowMessageActionItemOptions {}
- data ClientSignatureInformationOptions = ClientSignatureInformationOptions {}
- data ClientSignatureParameterInformationOptions = ClientSignatureParameterInformationOptions {}
- data ClientSymbolKindOptions = ClientSymbolKindOptions {
- _valueSet :: Maybe [SymbolKind]
- data ClientSymbolResolveOptions = ClientSymbolResolveOptions {
- _properties :: [Text]
- data ClientSymbolTagOptions = ClientSymbolTagOptions {}
- data CodeAction = CodeAction {}
- data CodeActionClientCapabilities = CodeActionClientCapabilities {}
- data CodeActionContext = CodeActionContext {}
- data CodeActionDisabled = CodeActionDisabled {}
- 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 {}
- 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 CompletionItemDefaults = CompletionItemDefaults {}
- 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 CompletionItemTagOptions = CompletionItemTagOptions {}
- data CompletionList = CompletionList {}
- data CompletionListCapabilities = CompletionListCapabilities {
- _itemDefaults :: Maybe [Text]
- data CompletionOptions = CompletionOptions {}
- data CompletionParams = CompletionParams {}
- data CompletionRegistrationOptions = CompletionRegistrationOptions {}
- 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 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 {}
- data DocumentSymbolOptions = DocumentSymbolOptions {}
- data DocumentSymbolParams = DocumentSymbolParams {}
- data DocumentSymbolRegistrationOptions = DocumentSymbolRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _label :: Maybe Text
- data EditRangeWithInsertReplace = EditRangeWithInsertReplace {}
- 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 {}
- 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 {}
- 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 ClientInfo
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValue
- _workspaceFolders :: Maybe ([WorkspaceFolder] |? Null)
- data InitializeResult = InitializeResult {}
- 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 LanguageKind
- = LanguageKind_ABAP
- | LanguageKind_WindowsBat
- | LanguageKind_BibTeX
- | LanguageKind_Clojure
- | LanguageKind_Coffeescript
- | LanguageKind_C
- | LanguageKind_CPP
- | LanguageKind_CSharp
- | LanguageKind_CSS
- | LanguageKind_Diff
- | LanguageKind_Dart
- | LanguageKind_Dockerfile
- | LanguageKind_Elixir
- | LanguageKind_Erlang
- | LanguageKind_FSharp
- | LanguageKind_GitCommit
- | LanguageKind_GitRebase
- | LanguageKind_Go
- | LanguageKind_Groovy
- | LanguageKind_Handlebars
- | LanguageKind_Haskell
- | LanguageKind_HTML
- | LanguageKind_Ini
- | LanguageKind_Java
- | LanguageKind_JavaScript
- | LanguageKind_JavaScriptReact
- | LanguageKind_JSON
- | LanguageKind_LaTeX
- | LanguageKind_Less
- | LanguageKind_Lua
- | LanguageKind_Makefile
- | LanguageKind_Markdown
- | LanguageKind_ObjectiveC
- | LanguageKind_ObjectiveCPP
- | LanguageKind_Perl
- | LanguageKind_Perl6
- | LanguageKind_PHP
- | LanguageKind_Powershell
- | LanguageKind_Pug
- | LanguageKind_Python
- | LanguageKind_R
- | LanguageKind_Razor
- | LanguageKind_Ruby
- | LanguageKind_Rust
- | LanguageKind_SCSS
- | LanguageKind_SASS
- | LanguageKind_Scala
- | LanguageKind_ShaderLab
- | LanguageKind_ShellScript
- | LanguageKind_SQL
- | LanguageKind_Swift
- | LanguageKind_TypeScript
- | LanguageKind_TypeScriptReact
- | LanguageKind_TeX
- | LanguageKind_VisualBasic
- | LanguageKind_XML
- | LanguageKind_XSL
- | LanguageKind_YAML
- | LanguageKind_Custom Text
- 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 LocationUriOnly = LocationUriOnly {}
- data LogMessageParams = LogMessageParams {
- _type_ :: MessageType
- _message :: Text
- data LogTraceParams = LogTraceParams {}
- data MarkdownClientCapabilities = MarkdownClientCapabilities {}
- newtype MarkedString = MarkedString (Text |? MarkedStringWithLanguage)
- data MarkedStringWithLanguage = MarkedStringWithLanguage {}
- 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 NotebookCellLanguage = NotebookCellLanguage {}
- data NotebookCellTextDocumentFilter = NotebookCellTextDocumentFilter {}
- data NotebookDocument = NotebookDocument {}
- data NotebookDocumentCellChangeStructure = NotebookDocumentCellChangeStructure {}
- data NotebookDocumentCellChanges = NotebookDocumentCellChanges {}
- data NotebookDocumentCellContentChanges = NotebookDocumentCellContentChanges {}
- data NotebookDocumentChangeEvent = NotebookDocumentChangeEvent {}
- data NotebookDocumentClientCapabilities = NotebookDocumentClientCapabilities {}
- newtype NotebookDocumentFilter = NotebookDocumentFilter (NotebookDocumentFilterNotebookType |? (NotebookDocumentFilterScheme |? NotebookDocumentFilterPattern))
- data NotebookDocumentFilterNotebookType = NotebookDocumentFilterNotebookType {}
- data NotebookDocumentFilterPattern = NotebookDocumentFilterPattern {}
- data NotebookDocumentFilterScheme = NotebookDocumentFilterScheme {}
- data NotebookDocumentFilterWithCells = NotebookDocumentFilterWithCells {}
- data NotebookDocumentFilterWithNotebook = NotebookDocumentFilterWithNotebook {}
- data NotebookDocumentIdentifier = NotebookDocumentIdentifier {}
- data NotebookDocumentSyncClientCapabilities = NotebookDocumentSyncClientCapabilities {}
- data NotebookDocumentSyncOptions = NotebookDocumentSyncOptions {}
- data NotebookDocumentSyncRegistrationOptions = NotebookDocumentSyncRegistrationOptions {}
- data OptionalVersionedTextDocumentIdentifier = OptionalVersionedTextDocumentIdentifier {}
- data ParameterInformation = ParameterInformation {
- _label :: Text |? (UInt, UInt)
- _documentation :: Maybe (Text |? MarkupContent)
- data PartialResultParams = PartialResultParams {}
- data PositionEncodingKind
- data PrepareRenameDefaultBehavior = PrepareRenameDefaultBehavior {}
- data PrepareRenameParams = PrepareRenameParams {}
- data PrepareRenamePlaceholder = PrepareRenamePlaceholder {
- _range :: Range
- _placeholder :: Text
- newtype PrepareRenameResult = PrepareRenameResult (Range |? (PrepareRenamePlaceholder |? PrepareRenameDefaultBehavior))
- data PrepareSupportDefaultBehavior = PrepareSupportDefaultBehavior_Identifier
- data PreviousResultId = PreviousResultId {}
- data ProgressParams = ProgressParams {
- _token :: ProgressToken
- _value :: Value
- newtype ProgressToken = ProgressToken (Int32 |? Text)
- data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities {}
- 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 {}
- newtype RegularExpressionEngineKind = RegularExpressionEngineKind Text
- 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 {}
- data SemanticTokensDelta = SemanticTokensDelta {
- _resultId :: Maybe Text
- _edits :: [SemanticTokensEdit]
- data SemanticTokensDeltaParams = SemanticTokensDeltaParams {}
- data SemanticTokensDeltaPartialResult = SemanticTokensDeltaPartialResult {
- _edits :: [SemanticTokensEdit]
- data SemanticTokensEdit = SemanticTokensEdit {}
- data SemanticTokensFullDelta = SemanticTokensFullDelta {}
- data SemanticTokensLegend = SemanticTokensLegend {
- _tokenTypes :: [Text]
- _tokenModifiers :: [Text]
- data SemanticTokensOptions = SemanticTokensOptions {}
- data SemanticTokensParams = SemanticTokensParams {}
- data SemanticTokensPartialResult = SemanticTokensPartialResult {}
- data SemanticTokensRangeParams = SemanticTokensRangeParams {}
- data SemanticTokensRegistrationOptions = SemanticTokensRegistrationOptions {
- _documentSelector :: DocumentSelector |? Null
- _workDoneProgress :: Maybe Bool
- _legend :: SemanticTokensLegend
- _range :: Maybe (Bool |? Rec (Empty :: Row Type))
- _full :: Maybe (Bool |? SemanticTokensFullDelta)
- _id :: Maybe Text
- 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 WorkspaceOptions
- _experimental :: Maybe Value
- data ServerCompletionItemOptions = ServerCompletionItemOptions {}
- data ServerInfo = ServerInfo {}
- data SetTraceParams = SetTraceParams {
- _value :: TraceValue
- 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 {
- _signatures :: [SignatureInformation]
- _activeSignature :: Maybe UInt
- _activeParameter :: Maybe (UInt |? Null)
- data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities {}
- data SignatureHelpContext = SignatureHelpContext {}
- data SignatureHelpOptions = SignatureHelpOptions {}
- data SignatureHelpParams = SignatureHelpParams {}
- data SignatureHelpRegistrationOptions = SignatureHelpRegistrationOptions {}
- data SignatureHelpTriggerKind
- data SignatureInformation = SignatureInformation {
- _label :: Text
- _documentation :: Maybe (Text |? MarkupContent)
- _parameters :: Maybe [ParameterInformation]
- _activeParameter :: Maybe (UInt |? Null)
- data StaleRequestSupportOptions = StaleRequestSupportOptions {
- _cancel :: Bool
- _retryOnContentModified :: [Text]
- 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 (TextDocumentContentChangePartial |? TextDocumentContentChangeWholeDocument)
- data TextDocumentContentChangePartial = TextDocumentContentChangePartial {}
- data TextDocumentContentChangeWholeDocument = TextDocumentContentChangeWholeDocument {}
- data TextDocumentEdit = TextDocumentEdit {}
- newtype TextDocumentFilter = TextDocumentFilter (TextDocumentFilterLanguage |? (TextDocumentFilterScheme |? TextDocumentFilterPattern))
- data TextDocumentFilterLanguage = TextDocumentFilterLanguage {}
- data TextDocumentFilterPattern = TextDocumentFilterPattern {}
- data TextDocumentFilterScheme = TextDocumentFilterScheme {}
- data TextDocumentIdentifier = TextDocumentIdentifier {}
- data TextDocumentItem = TextDocumentItem {
- _uri :: Uri
- _languageId :: LanguageKind
- _version :: Int32
- _text :: Text
- 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 TraceValue
- 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 ClientInfo
- _locale :: Maybe Text
- _rootPath :: Maybe (Text |? Null)
- _rootUri :: Uri |? Null
- _capabilities :: ClientCapabilities
- _initializationOptions :: Maybe Value
- _trace :: Maybe TraceValue
- 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 {}
- 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 WorkspaceOptions = WorkspaceOptions {}
- 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
- fromNormalizedFilePath :: NormalizedFilePath -> FilePath
- fromNormalizedUri :: NormalizedUri -> Uri
- toNormalizedUri :: Uri -> NormalizedUri
- positionInRange :: Position -> Range -> Bool
- toNormalizedFilePath :: FilePath -> NormalizedFilePath
- 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
- goldenWithTestConfig :: Pretty b => TestConfig b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree
- def :: Default a => a
- runSessionWithServer :: Pretty b => Config -> PluginTestDescriptor b -> FilePath -> Session a -> IO a
- runSessionWithServerInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> VirtualFileTree -> Session a -> IO a
- runSessionWithTestConfig :: Pretty b => TestConfig b -> (FilePath -> Session a) -> IO a
- parameterisedCursorTest :: (Show a, Eq a) => String -> Text -> [a] -> (Text -> PosPrefixInfo -> IO a) -> TestTree
- data PluginDescriptor ideState
- data IdeState
- data BrokenBehavior
- data ExpectBroken (k :: BrokenBehavior) a where
- BrokenCurrent :: a -> ExpectBroken 'Current a
- BrokenIdeal :: a -> ExpectBroken 'Ideal a
- unCurrent :: ExpectBroken 'Current a -> a
- waitForProgressDone :: Session ()
- waitForAllProgressDone :: Session ()
- waitForBuildQueue :: Session Seconds
- waitForProgressBegin :: Session ()
- waitForTypecheck :: TextDocumentIdentifier -> Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) Bool)
- waitForAction :: String -> TextDocumentIdentifier -> Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) WaitForIdeRuleResult)
- hlsConfigToClientConfig :: Config -> Object
- setHlsConfig :: Config -> Session ()
- getLastBuildKeys :: Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) [Text])
- waitForKickDone :: Session ()
- waitForKickStart :: Session ()
- type PluginTestDescriptor b = Recorder (WithPriority b) -> IdePlugins IdeState
- hlsPluginTestRecorder :: 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 :: Priority
- callStack_ :: CallStack
- payload :: a
- data Recorder msg
- data Priority
- captureKickDiagnostics :: Session () -> Session () -> Session [Diagnostic]
- kick :: KnownSymbol k => Proxy k -> Session [FilePath]
- data TestConfig b = TestConfig {
- testDirLocation :: Either FilePath VirtualFileTree
- testShiftRoot :: Bool
- testClientRoot :: Maybe FilePath
- testServerRoot :: Maybe FilePath
- testDisableKick :: Bool
- testDisableDefaultPlugin :: Bool
- testCheckProject :: Bool
- testPluginDescriptor :: PluginTestDescriptor b
- testLspConfig :: Config
- testConfigSession :: SessionConfig
- testConfigCaps :: ClientCapabilities
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 # |
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
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.
after
AllFinish
"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.
after
AllFinish
"$0 == \"Tests.Foo.Bar\"" $
testCase "A test that depends on Foo.Bar" $ ...
Or only specify the dependency's own name, ignoring the group names:
after
AllFinish
"$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
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
(Field
NF
) (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
data NormalizedUri #
Constructors
NormalizedUri !Int !Text |
Instances
data DiagnosticSeverity #
Constructors
DiagnosticSeverity_Error | |
DiagnosticSeverity_Warning | |
DiagnosticSeverity_Information | |
DiagnosticSeverity_Hint |
Instances
data NormalizedFilePath #
Instances
Instances
Instances
data WorkspaceEdit #
Constructors
WorkspaceEdit | |
Fields |
Instances
data CodeActionKind #
Constructors
Instances
data DiagnosticTag #
Constructors
DiagnosticTag_Unnecessary | |
DiagnosticTag_Deprecated |
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 ChangeAnnotationsSupportOptions #
Constructors
ChangeAnnotationsSupportOptions | |
Fields |
Instances
data ClientCapabilities #
Constructors
ClientCapabilities | |
Instances
data ClientCodeActionKindOptions #
Constructors
ClientCodeActionKindOptions | |
Fields
|
Instances
data ClientCodeActionLiteralOptions #
Constructors
ClientCodeActionLiteralOptions | |
Instances
data ClientCodeActionResolveOptions #
Constructors
ClientCodeActionResolveOptions | |
Fields
|
Instances
data ClientCompletionItemInsertTextModeOptions #
Constructors
ClientCompletionItemInsertTextModeOptions | |
Fields
|
Instances
data ClientCompletionItemOptions #
Constructors
Instances
data ClientCompletionItemOptionsKind #
Constructors
ClientCompletionItemOptionsKind | |
Fields |
Instances
data ClientCompletionItemResolveOptions #
Constructors
ClientCompletionItemResolveOptions | |
Fields
|
Instances
data ClientDiagnosticsTagOptions #
Constructors
ClientDiagnosticsTagOptions | |
Fields
|
Instances
data ClientFoldingRangeKindOptions #
Constructors
ClientFoldingRangeKindOptions | |
Fields |
Instances
data ClientFoldingRangeOptions #
Constructors
ClientFoldingRangeOptions | |
Fields |
Instances
data ClientInfo #
Instances
data ClientInlayHintResolveOptions #
Constructors
ClientInlayHintResolveOptions | |
Fields
|
Instances
data ClientSemanticTokensRequestFullDelta #
Constructors
ClientSemanticTokensRequestFullDelta | |
Instances
data ClientSemanticTokensRequestOptions #
Constructors
ClientSemanticTokensRequestOptions | |
Instances
data ClientShowMessageActionItemOptions #
Constructors
ClientShowMessageActionItemOptions | |
Fields |
Instances
data ClientSignatureInformationOptions #
Constructors
ClientSignatureInformationOptions | |
Instances
data ClientSignatureParameterInformationOptions #
Constructors
ClientSignatureParameterInformationOptions | |
Fields |
Instances
data ClientSymbolKindOptions #
Constructors
ClientSymbolKindOptions | |
Fields
|
Instances
data ClientSymbolResolveOptions #
Constructors
ClientSymbolResolveOptions | |
Fields
|
Instances
data ClientSymbolTagOptions #
Constructors
ClientSymbolTagOptions | |
Instances
data CodeAction #
Constructors
CodeAction | |
Fields
|
Instances
data CodeActionClientCapabilities #
Constructors
CodeActionClientCapabilities | |
Instances
data CodeActionContext #
Constructors
CodeActionContext | |
Fields |
Instances
data CodeActionDisabled #
Constructors
CodeActionDisabled | |
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.3.0.1-7yeNaKZocsu5j5qdGpaZ2Z" '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 | |
Instances
data CompletionContext #
Constructors
CompletionContext | |
Fields |
Instances
data CompletionItem #
Constructors
CompletionItem | |
Fields
|
Instances
data CompletionItemDefaults #
Constructors
CompletionItemDefaults | |
Fields |
Instances
data CompletionItemKind #
Constructors
Instances
data CompletionItemLabelDetails #
Constructors
CompletionItemLabelDetails | |
Instances
data CompletionItemTag #
Constructors
CompletionItemTag_Deprecated |
Instances
data CompletionItemTagOptions #
Constructors
CompletionItemTagOptions | |
Fields |
Instances
data CompletionList #
Constructors
CompletionList | |
Fields |
Instances
data CompletionListCapabilities #
Constructors
CompletionListCapabilities | |
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 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 | |
Instances
data DocumentSymbolOptions #
Constructors
DocumentSymbolOptions | |
Instances
data DocumentSymbolParams #
Constructors
DocumentSymbolParams | |
Instances
data DocumentSymbolRegistrationOptions #
Constructors
DocumentSymbolRegistrationOptions | |
Fields
|
Instances
data EditRangeWithInsertReplace #
Constructors
EditRangeWithInsertReplace | |
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.3.0.1-7yeNaKZocsu5j5qdGpaZ2Z" '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 | |
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 | |
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 LanguageKind #
Constructors
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 LocationUriOnly #
Constructors
LocationUriOnly | |
Instances
data LogMessageParams #
Constructors
LogMessageParams | |
Fields
|
Instances
data LogTraceParams #
Instances
data MarkdownClientCapabilities #
Constructors
MarkdownClientCapabilities | |
Instances
newtype MarkedString #
Constructors
MarkedString (Text |? MarkedStringWithLanguage) |
Instances
data MarkedStringWithLanguage #
Constructors
MarkedStringWithLanguage | |
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 NotebookCellLanguage #
Constructors
NotebookCellLanguage | |
Instances
data NotebookCellTextDocumentFilter #
Constructors
NotebookCellTextDocumentFilter | |
Instances
data NotebookDocument #
Constructors
NotebookDocument | |
Instances
data NotebookDocumentCellChangeStructure #
Constructors
NotebookDocumentCellChangeStructure | |
Fields |
Instances
data NotebookDocumentCellChanges #
Constructors
NotebookDocumentCellChanges | |
Instances
data NotebookDocumentCellContentChanges #
Constructors
NotebookDocumentCellContentChanges | |
Instances
data NotebookDocumentChangeEvent #
Constructors
NotebookDocumentChangeEvent | |
Instances
data NotebookDocumentClientCapabilities #
Constructors
NotebookDocumentClientCapabilities | |
Instances
newtype NotebookDocumentFilter #
Constructors
NotebookDocumentFilter (NotebookDocumentFilterNotebookType |? (NotebookDocumentFilterScheme |? NotebookDocumentFilterPattern)) |
Instances
data NotebookDocumentFilterNotebookType #
Constructors
NotebookDocumentFilterNotebookType | |
Instances
data NotebookDocumentFilterPattern #
Constructors
NotebookDocumentFilterPattern | |
Instances
data NotebookDocumentFilterScheme #
Constructors
NotebookDocumentFilterScheme | |
Instances
data NotebookDocumentFilterWithCells #
Constructors
NotebookDocumentFilterWithCells | |
Fields |
Instances
data NotebookDocumentFilterWithNotebook #
Constructors
NotebookDocumentFilterWithNotebook | |
Fields |
Instances
data NotebookDocumentIdentifier #
Constructors
NotebookDocumentIdentifier | |
Instances
data NotebookDocumentSyncClientCapabilities #
Constructors
NotebookDocumentSyncClientCapabilities | |
Fields |
Instances
data NotebookDocumentSyncOptions #
Constructors
NotebookDocumentSyncOptions | |
Instances
data NotebookDocumentSyncRegistrationOptions #
Constructors
NotebookDocumentSyncRegistrationOptions | |
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 PrepareRenameDefaultBehavior #
Constructors
PrepareRenameDefaultBehavior | |
Fields |
Instances
data PrepareRenameParams #
Constructors
PrepareRenameParams | |
Fields |
Instances
data PrepareRenamePlaceholder #
Constructors
PrepareRenamePlaceholder | |
Fields
|
Instances
newtype PrepareRenameResult #
Constructors
PrepareRenameResult (Range |? (PrepareRenamePlaceholder |? PrepareRenameDefaultBehavior)) |
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 | |
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
newtype RegularExpressionEngineKind #
Constructors
RegularExpressionEngineKind Text |
Instances
data RegularExpressionsClientCapabilities #
Constructors
RegularExpressionsClientCapabilities | |
Fields |
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
Instances
data SemanticTokensDelta #
Constructors
SemanticTokensDelta | |
Fields
|
Instances
data SemanticTokensDeltaParams #
Constructors
SemanticTokensDeltaParams | |
Instances
data SemanticTokensDeltaPartialResult #
Constructors
SemanticTokensDeltaPartialResult | |
Fields
|
Instances
data SemanticTokensEdit #
Constructors
SemanticTokensEdit | |
Instances
data SemanticTokensFullDelta #
Constructors
SemanticTokensFullDelta | |
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 | |
Fields
|
Instances
data SemanticTokensWorkspaceClientCapabilities #
Constructors
SemanticTokensWorkspaceClientCapabilities | |
Fields |
Instances
data ServerCapabilities #
Constructors
Instances
data ServerCompletionItemOptions #
Constructors
ServerCompletionItemOptions | |
Fields |
Instances
data ServerInfo #
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 | |
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 StaleRequestSupportOptions #
Constructors
StaleRequestSupportOptions | |
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 (TextDocumentContentChangePartial |? TextDocumentContentChangeWholeDocument) |
Instances
data TextDocumentContentChangePartial #
Constructors
TextDocumentContentChangePartial | |
Instances
data TextDocumentContentChangeWholeDocument #
Constructors
TextDocumentContentChangeWholeDocument | |
Instances
data TextDocumentEdit #
Constructors
TextDocumentEdit | |
Instances
newtype TextDocumentFilter #
Constructors
TextDocumentFilter (TextDocumentFilterLanguage |? (TextDocumentFilterScheme |? TextDocumentFilterPattern)) |
Instances
data TextDocumentFilterLanguage #
Constructors
TextDocumentFilterLanguage | |
Instances
data TextDocumentFilterPattern #
Constructors
TextDocumentFilterPattern | |
Instances
data TextDocumentFilterScheme #
Constructors
TextDocumentFilterScheme | |
Instances
data TextDocumentIdentifier #
Constructors
TextDocumentIdentifier | |
Instances
data TextDocumentItem #
Constructors
TextDocumentItem | |
Fields
|
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 TraceValue #
Constructors
TraceValue_Off | |
TraceValue_Messages | |
TraceValue_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 | |
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 WorkspaceOptions #
Constructors
WorkspaceOptions | |
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 |
fromNormalizedUri :: NormalizedUri -> Uri #
toNormalizedUri :: Uri -> NormalizedUri #
positionInRange :: Position -> Range -> Bool #
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 |
goldenWithTestConfig :: Pretty b => TestConfig b -> TestName -> VirtualFileTree -> FilePath -> FilePath -> FilePath -> (TextDocumentIdentifier -> Session ()) -> TestTree Source #
Running HLS for integration tests
runSessionWithServer :: Pretty b => Config -> PluginTestDescriptor b -> FilePath -> Session a -> IO a Source #
runSessionWithServerInTmpDir :: Pretty b => Config -> PluginTestDescriptor b -> VirtualFileTree -> Session a -> IO a Source #
runSessionWithTestConfig :: Pretty b => TestConfig b -> (FilePath -> Session a) -> IO a Source #
Host a server, and run a test session on it.
For setting custom timeout, set the environment variable LSP_TIMEOUT
* LSP_TIMEOUT=10 cabal test
For more detail of the test configuration, see TestConfig
Running parameterised tests for a set of test configurations
parameterisedCursorTest :: (Show a, Eq a) => String -> Text -> [a] -> (Text -> PosPrefixInfo -> IO a) -> TestTree Source #
A parameterised test is similar to a normal test case but allows to run
the same test case multiple times with different inputs.
A parameterisedCursorTest
allows to define a test case based on an input file
that specifies one or many cursor positions via the identification value ^
.
For example:
parameterisedCursorTest "Cursor Test" [trimming| foo = 2 ^ bar = 3 baz = foo + bar ^ |] ["foo", "baz"] (input cursor -> findFunctionNameUnderCursor input cursor)
Assuming a fitting implementation for findFunctionNameUnderCursor
.
This test definition will run the test case findFunctionNameUnderCursor
for
each cursor position, each in its own isolated testCase
.
Cursor positions are identified via the character ^
, which points to the
above line as the actual cursor position.
Lines containing ^
characters, are removed from the final text, that is
passed to the testing function.
TODO: Many Haskell and Cabal source may contain ^
characters for good reasons.
We likely need a way to change the character for certain test cases in the future.
The quasi quoter trimming
is very helpful to define such tests, as it additionally
allows to interpolate haskell values and functions. We reexport this quasi quoter
for easier usage.
Helpful re-exports
data PluginDescriptor ideState #
A Shake database plus persistent store. Can be thought of as storing
mappings from (FilePath, k)
to RuleResult k
.
Helpers for expected test case failuers
data BrokenBehavior Source #
data ExpectBroken (k :: BrokenBehavior) a where Source #
Constructors
BrokenCurrent :: a -> ExpectBroken 'Current a | |
BrokenIdeal :: a -> ExpectBroken 'Ideal a |
unCurrent :: ExpectBroken 'Current a -> a Source #
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
waitForProgressBegin :: Session () Source #
Wait for the next progress begin step
waitForTypecheck :: TextDocumentIdentifier -> Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) Bool) Source #
waitForAction :: String -> TextDocumentIdentifier -> Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) 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.
getLastBuildKeys :: Session (Either (TResponseError @ClientToServer (Method_CustomMethod "test")) [Text]) Source #
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.
hlsPluginTestRecorder :: Pretty a => IO (Recorder (WithPriority a)) Source #
Initialize a recorder that can be instructed to write to stderr by setting one of the environment variables:
- HLS_TEST_PLUGIN_LOG_STDERR=1
- HLS_TEST_LOG_STDERR=1
before running the tests.
HLS_TEST_LOG_STDERR is intended to enable all logging for the server and the plugins under test.
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 | |
Fields
|
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 |
captureKickDiagnostics :: Session () -> Session () -> Session [Diagnostic] Source #
data TestConfig b Source #
Constructors
TestConfig | |
Fields
|
Instances
Default (TestConfig b) Source # | |
Defined in Test.Hls Methods def :: TestConfig b # |