25 Jul
2011
25 Jul
'11
3:16 p.m.
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.