[Haskell-cafe] Quickcheck for common typeclass laws

Henning Thielemann lemming at henning-thielemann.de
Fri Aug 14 12:06:25 EDT 2009


On Sun, 9 Aug 2009, Jeremy Shaw wrote:

> This perhaps?
>
> http://hackage.haskell.org/package/checkers

It seems dangerous to me to supply orphan instances in a package which is 
not obviously related to QuickCheck. I propose to get approval from the 
QuickCheck authors, that the instances can be considered "official" and 
use a package name which reflects that. The package name should start with 
QuickCheck in order to get the 'checkers' package close to QuickCheck in a 
lexicographic list. Then people cannot miss it so easily.


More information about the Haskell-Cafe mailing list