QuickCheck-1.1.0.0: Automatic testing of Haskell programsSource codeContentsIndex
Test.QuickCheck.Utils
Portabilityportable
Stabilityexperimental
Maintainerlibraries@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) -> PropertySource
isAssociative :: (Arbitrary a, Show a, Eq a) => (a -> a -> a) -> PropertySource
isCommutableBy :: (Show a, Testable prop) => (b -> b -> prop) -> Gen a -> (a -> a -> b) -> PropertySource
isCommutable :: (Arbitrary a, Show a, Eq b) => (a -> a -> b) -> PropertySource
isTotalOrder :: (Arbitrary a, Show a, Ord a) => a -> a -> PropertySource
Produced by Haddock version 0.9