On 08/10/09 04:57, David Menendez wrote:
On Wed, Oct 7, 2009 at 8:29 PM, Michael Mossey<m...@alumni.caltech.edu> wrote:
In Test.QuickCheck, the type of 'generate' is
generate :: Int -> StdGen -> Gen a -> a
I can't find docs that explain what the Int does. Some docs are here:
Judging by the source code, the integer is the upper bound for the
size parameter. If you are generating a list, for example, it gives
the maximum size of the list
Thats right. Its the "size" parameter, and what it does depends on the
instance of Arbitrary. Arbitrary numbers will be within +/- size.
Arbitrary lists will be of maximum length size. On the other hand
arbitrary booleans will just be True or False.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
