“食谱”从QuickCheck1转换为QuickCheck2？

Question

有没有可以从QuickCheck1转换到QuickCheck2的食谱？

作为一些示例，defaultConfig（replaced by Args）和trivial被移除并且CoArbitrary被引入。我没看过what's new in QuickCheck 2 (with single answer ...)。

Answer 1

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

Answer 2

我不知道任何这样的文件 - 这是一个耻辱！

不过，有人至少一个局部修改列表发布到邮件列表：http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

给出有这份名单包括：

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