[Haskell-cafe] Co-arbitrary

[Bjorn Bringert]

On May 8, 2007, at 9:33 , Joel Reymont wrote:

> Would someone kindly explain why we need co-arbitrary in QuickCheck  
> and how to define it?
>
> Detailed examples would be awesome!
>
> I would be willing to paste an in-depth explanation on my wall and  
> keep it forever.
>
> 	Thanks in advance, Joel
>

Maybe this can help: http://www.cs.chalmers.se/~rjmh/QuickCheck/ 
manual_body.html#18

/Björn