QuickCheck：根据其他任意对象定义任意实例

Question

我正在使用 QuickCheck 1，并且具有以下数据类型：

data A = ...
instance Arbitrary A where ...
data B = ...
instance Arbitrary B where ...
data C = C A B

现在我想为 C 定义一个 Arbitrary 实例，以便 C code> 值是使用 A 和 B 的现有生成器生成的。我最终这样做了：

instance Arbitrary C where
  arbitrary = elements [(C a b) |
                        a <- generate 20 (System.Random.mkStdGen 0) arbitrary,
                        b <- generate 20 (System.Random.mkStdGen 0) arbitrary]

是否有必要为 A 和 B 显式生成固定数量的值，或者是否有更好的方法来组合现有的 Arbitraries< /code> 变成一个新的？

Answer 1

我会这样做：

instance Arbitrary C
  where arbitrary = do a <- arbitrary
                       b <- arbitrary
                       return (C a b)

虽然 sclv 使用 Control.Monad 中的 liftM2 的想法可能更好：

instance Arbitrary C
  where arbitrary = liftM2 C arbitrary arbitrary