有没有可以从QuickCheck1转换为QuickCheck2的食谱?
作为一些例子,defaultConfig(替换为Args)trivial并被删除和CoArbitrary介绍.
defaultConfig
Args
trivial
CoArbitrary
我确实阅读了QuickCheck 2中的新功能(单一答案......).
haskell quickcheck
haskell ×1
quickcheck ×1