 | QuickCheck-1.0: Automatic testing of Haskell programs | Contents | Index |
| Test.QuickCheck.Utils |
|
| ||||||||
| ||||||||
| Description | ||||||||
| These are some general purpose utilities for use with QuickCheck. | ||||||||
| Documentation | ||||||||
| isAssociativeBy :: (Show a, Testable prop) => (a -> a -> prop) -> Gen a -> (a -> a -> a) -> Property | ||||||||
| isAssociative :: (Arbitrary a, Show a, Eq a) => (a -> a -> a) -> Property | ||||||||
| isCommutableBy :: (Show a, Testable prop) => (b -> b -> prop) -> Gen a -> (a -> a -> b) -> Property | ||||||||
| isCommutable :: (Arbitrary a, Show a, Eq b) => (a -> a -> b) -> Property | ||||||||
| isTotalOrder :: (Arbitrary a, Show a, Ord a) => a -> a -> Property | ||||||||
| Produced by Haddock version 0.8 |