QuickCheck-1.2.0.0: Automatic testing of Haskell programs

Portabilityportable
Stabilityexperimental
Maintainer[email protected]

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) -> 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