如何让Haskell QuickCheck 2.4增加#测试？

Question

好的,正如我通过上一个问题所了解的那样,RWH书籍已经过时了QuickCheck.尽管我读过的所有帖子告诉我使用QuickCheck有多么简单,我找不到任何地方告诉我如何更改为房产运行的测试数量.

RWH说:

handyCheck limit = check defaultConfig {
                     configMaxTest = limit
                   , configEvery   = \_ _ -> ""
                   }

如何使用QuickCheck 2.4做到这一点？更重要的是,我怎么会发现自己？请不要告诉我,我应该能够从API文档中找到它.

Answer 1

您正在寻找:

quickCheckWith stdArgs { maxSuccess = 5000 } someProp

我怎么发现的

1. 我去了API文档.
2. 我看到的第二件事quickCheck是Args带有maxSuccess字段的类型.
3. 我不想写所有的字段,所以我找了一个类型的值Args- 查找stdArgs.(使用浏览器搜索功能 - 通常是ctrl-f).OTOH,我本可以使用hoogle.
4. 我需要在Args某处使用我的类型,所以我一直在寻找.下一行是quickCheckWith- 宾果!另一方面,我可以使用hoogle.

你怎么知道的？

正如我上面所说,你可以使用hoogle找到很多功能,假设你意识到Args类型是你需要的核心(来自黑线鳕).

否则,您可能会减少查看其他软件包的功能,这意味着您需要了解其他软件包值得关注的内容.QuickCheck中的示例文件夹似乎很明显,但并非所有包都包含此类示例.使用反向依赖关系,您经常可以找到要查看的包,但对于QC,许多包没有明确的依赖关系.