30 May
2011
30 May
'11
4:26 a.m.
On 30 May 2011 00:14, Alexey Khudyakov
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