从quickCheck 1转换为QuickCheck 2的“cookbook”？

Question

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

作为一些示例，我们删除了defaultConfig（replaced by Args）和trivial并引入了CoArbitrary。

我读过what's new in QuickCheck 2 (with single answer ...)。

Answer 1

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

Answer 2

我不知道任何此类文件 - 这是一种耻辱！

但是，邮件列表中至少有一个部分更改列表：http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

那里的清单包括：

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