QuickCheck arbitrary/co-arbitrary

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

QuickCheck arbitrary/co-arbitrary

Joel Reymont
Folks,

I'm collecting examples of QuickCheck arbitrary/co-arbitrary  
definitions, the more complex the better. Please point me to any or  
send them if you are willing to!

Also, is there a cood explanation of co-arbitrary someplace?

        Thanks, Joel

--
http://wagerlabs.com/





_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: QuickCheck arbitrary/co-arbitrary

Donald Bruce Stewart
joelr1:
> Folks,
>
> I'm collecting examples of QuickCheck arbitrary/co-arbitrary  
> definitions, the more complex the better. Please point me to any or  
> send them if you are willing to!
>
> Also, is there a cood explanation of co-arbitrary someplace?

Check the QuickCheck paper for the definition and motiviation of
coarbitrary.
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe