[Haskell-cafe] Quickcheck for common typeclass laws

[Jeremy Shaw]

This perhaps? 

http://hackage.haskell.org/package/checkers

- jeremy 

At Sun, 9 Aug 2009 17:44:05 -0400,
Job Vranish wrote:
> 
> [1  <multipart/alternative (7bit)>]
> [1.1  <text/plain; ISO-8859-1 (7bit)>]
> Is there a hackage package that contains quickcheck properties for the laws
> of common typeclasses?
> (Functor, Monad, Num, Ord, Eq, Applicative, etc...)
> so that one could quickly check (har har) that their new instances satisfy
> the appropriate laws?
> 
> It would be very nice to have a
> isValidMonad (undefined :: MyNewMonadType)
> function.
> 
> If one does not exist, I may just have to make one.
> 
> - Job
> [1.2  <text/html; ISO-8859-1 (quoted-printable)>]
> 
> [2  <text/plain; us-ascii (7bit)>]
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe