[Haskell-cafe] More QuickCheck Questions

[Mark Spezzano]

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.

Thanks in advance,

Mark Spezzano