Modulecheckers-0.6.0Haskell2010

Test.QuickCheck.Utils

These are some general purpose utilities for use with QuickCheck.

Copied from QuickCheck 1.2.0.0. Doesn't appear in 2.x

valueisAssociativeBy

valueisAssociative :: (Arbitrary a, Show a, Eq a) => (a -> a -> a) -> Property

valueisCommutableBy

valueisCommutable :: (Arbitrary a, Show a, Eq b) => (a -> a -> b) -> Property

valueisTotalOrder :: Ord a => a -> a -> Property