Question

我们有两个函数比较两个不同的power函数，如果它们返回相同的值（在同一个输入上），则返回true。

然后我们还有另外两个函数可以针对两个列表测试这些函数，看看是否有任何值没有返回true。

但我们不想使用范围为[1..100]的列表，而是使用QuickCheck。

是否可以使QuickCheck仅返回正整数？

代码：

comparePower1 :: Integer -> Integer -> Bool
comparePower1 n k = power n k == power1 n k

comparePower2 :: Integer -> Integer -> Bool
comparePower2 n k = power n k == power2 n k

testing1 = and [comparePower1 n k | n <- [0..100], k <- [0..100]]
testing2 = and [comparePower2 n k | n <- [0..100], k <- [0..100]]

Answer 1

QuickCheck支持Positive numbers，但为了本教程，我将向您展示如何创建自己的Generator。 QuickCheck的主要功能之一是您可以设计自己的发生器来输出您需要的产品。例如

genPos :: Gen Int
genPos = abs `fmap` (arbitrary :: Gen Int) `suchThat` (> 0)

然后你可以创建自己的列表genereator

genListOfPos :: Gen [Int]
genListOfPos = listOf genPos

最后你可以使用forAll，传递发电机并获利。

main :: IO ()
main = do
  quickCheck $ forAll genPos $ \x -> x > 0
  quickCheck $ forAll genListOfPos $ all (> 0)

仅使用QuickCheck生成正整数

1 个答案: