Quickcheck for common typeclass laws
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
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
On Sun, 9 Aug 2009, Jeremy Shaw wrote:
This perhaps?
It seems dangerous to me to supply orphan instances in a package which is not obviously related to QuickCheck. I propose to get approval from the QuickCheck authors, that the instances can be considered "official" and use a package name which reflects that. The package name should start with QuickCheck in order to get the 'checkers' package close to QuickCheck in a lexicographic list. Then people cannot miss it so easily.
participants (3)
-
Henning Thielemann -
Jeremy Shaw -
Job Vranish