Generate Arbitrary instance for all types (haskell#544)

* Generate Arbitrary instances for all types * More format
soulomoon · Apr 8, 2024 · dda873e · dda873e
1 parent e961f28
commit dda873e
Show file tree

Hide file tree

Showing 52 changed files with 689 additions and 836 deletions.
diff --git a/lsp-types/ChangeLog.md b/lsp-types/ChangeLog.md
@@ -4,6 +4,7 @@
 
 - Require aeson 2
 - Accept `null` in place of a missing field, a common mistake in spec compliance.
+- Arbitrary instances for everything now exist and are exported via the new `lsp-types-quickcheck` library
 
 ## 2.1.0.0 -- 2023-11-13
 

diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Lens.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Lens.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Meta.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Meta.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CodeActionKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CodeActionKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CodeActionTriggerKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CodeActionTriggerKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionItemKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionItemKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionItemTag.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionItemTag.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionTriggerKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/CompletionTriggerKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DiagnosticSeverity.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DiagnosticSeverity.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DiagnosticTag.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DiagnosticTag.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DocumentDiagnosticReportKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DocumentDiagnosticReportKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DocumentHighlightKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/DocumentHighlightKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/ErrorCodes.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/ErrorCodes.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FailureHandlingKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FailureHandlingKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FileChangeType.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FileChangeType.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FileOperationPatternKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FileOperationPatternKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FoldingRangeKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/FoldingRangeKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InlayHintKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InlayHintKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InsertTextFormat.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InsertTextFormat.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InsertTextMode.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/InsertTextMode.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/LSPErrorCodes.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/LSPErrorCodes.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MarkupKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MarkupKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MessageType.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MessageType.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MonikerKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/MonikerKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/NotebookCellKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/NotebookCellKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/PositionEncodingKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/PositionEncodingKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/PrepareSupportDefaultBehavior.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/PrepareSupportDefaultBehavior.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/ResourceOperationKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/ResourceOperationKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SemanticTokenModifiers.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SemanticTokenModifiers.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SemanticTokenTypes.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SemanticTokenTypes.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SignatureHelpTriggerKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SignatureHelpTriggerKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SymbolKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SymbolKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SymbolTag.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/SymbolTag.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TextDocumentSaveReason.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TextDocumentSaveReason.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TextDocumentSyncKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TextDocumentSyncKind.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TokenFormat.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TokenFormat.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TraceValues.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/TraceValues.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/UniquenessLevel.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/UniquenessLevel.hs
diff --git a/lsp-types/generated/Language/LSP/Protocol/Internal/Types/WatchKind.hs b/lsp-types/generated/Language/LSP/Protocol/Internal/Types/WatchKind.hs