标签: haskell random quickcheck deterministic
QuickCheck是否有办法将Args对象(或至少指定种子)传递给generate (:: Gen a -> IO a)函数(或等效函数)? 我看到它有quickCheckWith,它带有一个Args,但它只能返回一个Result。它似乎不是generateWith函数。
(:: Gen a -> IO a)
quickCheckWith
generateWith