Re: [Haskell-cafe] ANN: quickcheck-properties

On 30.05.2011 12:26, Bas van Dijk wrote:

On 30 May 2011 00:14, Alexey Khudyakov wrote:

...

It always puzzled me why there are no packages for for testing general type classes laws. (Monoid laws, monad laws etc). It looks like ideal case for quickcheck and smallcheck.

How about 'checkers' by Conal Elliott: http://hackage.haskell.org/package/checkers

We really need better search on hackage than C-f in browser. I didn't find them. Thank you for pointers.

Nice work by the way!

Bas