[Haskell-cafe] Co-arbitrary

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 -- http://wagerlabs.com/

Re: [Haskell-cafe] Co-arbitrary

joelr1: Would someone kindly explain why we need co-arbitrary in QuickCheck and how to define it? Generating random function generators. A nice explanation was given recently on the programming subreddit: The CoArbitrary class continues to confuse me

Re: [Haskell-cafe] Co-arbitrary

Joel Reymont [EMAIL PROTECTED] writes: Would someone kindly explain why we need co-arbitrary in QuickCheck and how to define it? Ever written a higher-order function and wanted to quickcheck it? So where do you get your random functional arguments from? Whereas the 'arbitrary' method allows

Re: [Haskell-cafe] Co-arbitrary

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