I was hoping I could use Arbitrary instances to generate streams of values for 
test data.
It looks like you're not 'supposed' to be trying this, other than for the 
specific purpose of then testing some properties on these streams within Quick 
Check itself.

I'm looking for something like the sample' function in Quick Check, only to 
produce an infinite stream of values (rather than the 11 values that are 
clearly designed simply to give you a sense of the output of a generator).
Am I out of luck, or is there yet some cunning way of doing this without 
hacking the Quick Check package to export the MkGen constructor?

-- Luke

Haskell-Cafe mailing list

Reply via email to