[Haskell-cafe] QuickCheck properties for Haskell98 Libraries?

[John Meacham]

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


-- 
John Meacham - ⑆repetae.net⑆john⑈