[Haskell-cafe] Quickcheck for common typeclass laws
jeremy at n-heptane.com
Sun Aug 9 18:19:55 EDT 2009
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)
> 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
More information about the Haskell-Cafe