Re: [Haskell-cafe] Test.QuickCheck: generate

On Wed, Oct 7, 2009 at 8:29 PM, Michael Mossey <mpm@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:

<http://www.haskell.org/ghc/docs/latest/html/libraries/QuickCheck/Test-QuickCheck.html>

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. -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>