QuickCheck：根据其他Arbitraries定义任意实例
我正在使用QuickCheck 1，我有以下数据类型：
data A = ...
instance Arbitrary A where ...
data B = ...
instance Arbitrary B where ...
data C = C A B
C
Arbitrary
A
B
C
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
Arbitraries
没有找到相关结果
已邀请:
1 个回复
bab
instance Arbitrary C where arbitrary = do a <- arbitrary b <- arbitrary return (C a b)的想法可能更好：