verboseCheck in QuickCheck 2？

Question

verboseCheckQuickCheck 1中的功能似乎在QuickCheck 2中不存在(或者至少,我找不到它).有没有其他方法可以显示测试期间使用哪些值？

Answer 1

该sample功能也很有用:

Prelude Test.QuickCheck
ghci> sample (arbitrary :: Gen String)
""
")\223"
"(\227\&5F"
"\DC1"
"\136'\140\180\FS"
"K\DC2\NUL\CAN\253Q"
"\DC4\f\184&.\DC3\159\&1I\160j\147"
....

这样,您可以轻松使用任意实例,并确保它们生成您认为它们生成的内容.

Answer 2

看起来verbose（和其他verbose功能）在 2.4 版本中返回到了 QuickCheck