checkers-0.4.10: Check properties on standard classes and data structures.

Copyright(c) Andy Gill 2001
LicenseBSD-style (see the file libraries/base/LICENSE)
Maintainerlibraries@haskell.org
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Test.QuickCheck.Utils

Description

These are some general purpose utilities for use with QuickCheck.

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

Documentation

isAssociativeBy :: (Show a, Testable prop) => (a -> a -> prop) -> Gen a -> (a -> a -> a) -> Property Source #

isAssociative :: (Arbitrary a, Show a, Eq a) => (a -> a -> a) -> Property Source #

isCommutableBy :: (Show a, Testable prop) => (b -> b -> prop) -> Gen a -> (a -> a -> b) -> Property Source #

isCommutable :: (Arbitrary a, Show a, Eq b) => (a -> a -> b) -> Property Source #

isTotalOrder :: (Arbitrary a, Show a, Ord a) => a -> a -> Property Source #