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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
