首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >从QuickCheck1转换到QuickCheck2的“食谱”?

从QuickCheck1转换到QuickCheck2的“食谱”?
EN

Stack Overflow用户
提问于 2012-05-23 09:34:22
回答 2查看 315关注 0票数 16

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

例如,删除了defaultConfig (replaced by Args)和trivial,并引入了CoArbitrary

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

EN

回答 2

Stack Overflow用户

发布于 2014-07-18 02:47:46

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

票数 1
EN

Stack Overflow用户

发布于 2015-02-20 12:57:11

我不知道有这样的文档--这太可惜了!

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

这里给出的列表包括:

cases.

  • Supports gracefully.

  • coarbitrary已移至单独的类,以便更容易地编写用于更改测试数据生成的Arbitrary.

  • Type-level修饰符的简单实例(例如,属性失败时的NonNegative).

  • Magic函数表printing.

  • User-defined
票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/10712373

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档