![](haskell_icon.gif) | QuickCheck-1.2.0.0: Automatic testing of Haskell programs | Contents | Index |
|
Test.QuickCheck.Utils | Portability | portable | Stability | experimental | Maintainer | libraries@haskell.org |
|
|
|
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 2.3.0 |