[Haskell-cafe] QuickCheck properties for Haskell98 Libraries?

John Meacham john at repetae.net
Thu Jan 27 02:58:10 EST 2005

I was curious if anyone had a collection of QuickCheck rules for testing
the Haskell98 Prelude and libraries? It seems like it would be a useful
thing to exist as a common resource.

In particular, if there were overloaded rules for the various class
properties then it would be easier to test whether the instances one
writes for standard classes were correct.

In fact, it would be nice if the author of every class provided some
quickcheck rules for testing the laws instances should obey.


John Meacham - ⑆repetae.net⑆john⑈ 

More information about the Haskell-Cafe mailing list