[Haskell-cafe] Quickcheck for common typeclass laws

Job Vranish jvranish at gmail.com
Sun Aug 9 17:44:05 EDT 2009

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)

If one does not exist, I may just have to make one.

- Job
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090809/91528670/attachment.html

More information about the Haskell-Cafe mailing list