haskell - 从 QuickCheck1 转换为 QuickCheck2 的“食谱”？

Question

是否有可用于从 QuickCheck1 转换为 QuickCheck2 的食谱？

作为一些示例，defaultConfig(替换为Args) 和trivial被删除和CoArbitrary引入。

我确实阅读了QuickCheck 2 (with single answer ...) 中的新增功能。

Answer 1

我不知道有任何这样的文件——真可惜！

然而，至少有一个部分更改列表发布到邮件列表：http: //osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

那里给出的清单包括：

• 缩小失败的测试用例。
• 支持测试一元代码。
• 优雅地处理异常。
• coarbitrary 已移至单独的类，以便更轻松地编写 Arbitrary 的简单实例。
• 用于更改测试数据生成的类型级修饰符（例如 NonNegative）。
• 魔术功能表打印。
• 属性失败时用户定义的操作。

Answer 2

QuickCheck2 的作者似乎没有提供发行说明，这些说明通常用于回答像您这样的问题。假设（哦，我们知道这意味着什么！）作者更新了 API 文档，您可以将其与您拥有的版本进行比较，差异将为您提供您的食谱。作为最后的手段，您可以比较源代码，但这可能会显示出比您关心的更多的差异。