[Haskell-cafe] ANN: quickcheck-properties

[Bas van Dijk]

On 30 May 2011 00:14, Alexey Khudyakov <alexey.skladnoy at gmail.com> 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

Nice work by the way!

Bas