[Haskell-cafe] More QuickCheck Questions

[Michael Orlitzky]

On 07/25/11 06:01, Mark Spezzano wrote:
> Hi all,
> 
> I still don't understand exactly how the QuickCheck "sized" function
> is meant to work, and what it's useful for. Please explain!
> 
> Also, I think that class CoArbitrary can help to generate random
> *functions *(as opposed to values; but tell me if I'm wrong) but I
> don't see how this could be useful.
> 
> Also what does shrink do?
> 
> Example code of these would be tremendously helpful understanding
> these concepts.
> 

If there are canonical examples of some QuickCheck2 functions, I will
gladly submit them as patches to the Haddock docs. I've banged my head
against them more than once, and examples would have saved me a few hours.