如何编写一个函数来触发 QuickCheck prop_xxx？

Question

我正在使用 QuickCheck v1。这是一个简单的 prop_xxx 定义如下：

prop_foo :: (Num a) =>[a] -> Bool
prop_foo xs = (reverse.reverse) xs == id xs

这可以在 GHCi 中正确测试： QuickCheck prop_foo

但是，当我尝试将调用包装在如下函数中时：

f :: IO ()
f = quickCheck prop_foo

它报告了错误：

Ambiguous type variable `a' in the constraints:
  `Num a' arising from a use of `prop_foo' at Foo.hs:147:15-22
  `Arbitrary a'
    arising from a use of `quickCheck' at Foo.hs:147:4-22
Probable fix: add a type signature that fixes these type variable(s)

我应该提供类似

instance Arbitrary Xxx where
    arbitrary     = ...
    coarbitrary c = ...

“非常感谢”之类的内容吗？

-- 拉里

Answer 1

你必须给它一个单态类型签名，例如

prop_foo :: [Int] -> Bool

毕竟，问题是：在您的原始版本中，quickCheck 应该选择哪种类型 a 来测试函数？ a = Int？ a = 双？还有别的事吗？错误消息抱怨 a 不明确，即没有唯一的选择。