如何在使用类型同义词时约束QuickCheck？

Question

我使用QuickCheck在我的代码上运行任意测试用例。然而，在我的代码一个部分我有型同义词：

type Vector = [Double] 

我也有接受一些Vector S作为输入的一些功能。但是，所有这些功能都要求Vector的长度相同。

有没有办法限制QuickCheck，这样它只会生成长度为的列表？？

Answer 1

一个简单的解决方案是不具有任意实例，而是像做

import Test.QuickCheck 
import Control.Monad 

prop_vec :: Int -> Gen [Double] 
prop_vec = flip replicateM arbitrary . abs 


prop_addComm :: Int -> Gen Bool 
prop_addComm i = do 
    v <- prop_vec i 
    u <- prop_vec i 
    return $ u + v = v + u --assuming you'd added a Num instance for your vectors 

从来没有一个类型类别，所以你得到的帮助较少的故障，但鞭打起来更简单。

Answer 2

这里有一种可能性。我们将为可以构建随尺寸而定的随机值的类型定义一个新类。然后，你可以创建一个类型级别的列表或树或任何其他的并且为这些实例声明一个Arbitrary实例。

import Control.Monad 
import Test.QuickCheck 

class SizedArbitrary a where 
    sizedArbitrary :: Int -> Gen a 

instance Arbitrary a => SizedArbitrary [a] where 
    sizedArbitrary n = replicateM n arbitrary 

data Branch a b = a :+ b deriving (Eq, Ord, Show, Read) 
instance (SizedArbitrary a, SizedArbitrary b) => SizedArbitrary (Branch a b) where 
    sizedArbitrary n = liftM2 (:+) (sizedArbitrary n) (sizedArbitrary n) 

instance (SizedArbitrary a, SizedArbitrary b) => Arbitrary (Branch a b) where 
    arbitrary = arbitrarySizedIntegral >>= sizedArbitrary . abs 

然后我们就可以在ghci中加载它，并检查了它的工作原理：

*Main> let allSameLength (xs:xss) = all (==length xs) (map length xss) 
*Main> quickCheck (\(xs :+ ys) -> allSameLength [xs, ys]) 
+++ OK, passed 100 tests. 
*Main> quickCheck (\(ws :+ xs :+ ys :+ zs) -> allSameLength [ws, xs, ys, zs]) 
+++ OK, passed 100 tests. 

Answer 3

您可以使用==>表示法设置约束条件。

一个例子是：现在

*** Failed! Exception: 'Prelude.minimum: empty list' (after 1 test): 
[] 

---

与约束：

prop_test xs = minimum xs == (head $ sort xs) 

从而未能

prop_test xs = not (null xs) ==> minimum xs == (head $ sort xs) 

它的工作原理：

*Main> quickCheck prop_test 
+++ OK, passed 100 tests. 

---

你的情况：

prop_test xs ys = length xs == length ys ==> undefined -- whatever you want 

Answer 4

另一个明显的解决方案是产生一个元组列表，并对其进行解压缩。例如，在ghci中：

> let allSameLength (xs:xss) = all (==length xs) (map length xss) 
> quickCheck (\xys -> let (xs, ys) = unzip xys in allSameLength [xs, ys]) 
+++ OK, passed 100 tests. 
> :{ 
| quickCheck (\wxyzs -> let 
| (wxs, yzs) = unzip wxyzs 
| (ws, xs) = unzip wxs 
| (ys, zs) = unzip yzs 
| in allSameLength [ws, xs, ys, zs]) 
| :} 
+++ OK, passed 100 tests.