haskell - QuickCheck 2 中的详细检查？

Question

函数verboseCheck QuickCheck 2 中似乎没有来自 QuickCheck 1(或者至少，我找不到它)。有没有其他方法可以显示测试期间使用了哪些值？

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"
....

这样，就可以轻松地使用您的 Arbitrary 实例，并确保它们生成您认为它们生成的内容。