9 Aug
2009
9 Aug
'09
6:19 p.m.
This perhaps? http://hackage.haskell.org/package/checkers - jeremy At Sun, 9 Aug 2009 17:44:05 -0400, Job Vranish wrote:
[1
] [1.1 ] 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
] [2
] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe