[project @ 2002-04-26 13:34:05 by simonmar]
[haskell-directory.git] / Debug / QuickCheck / Utils.hs
1 -----------------------------------------------------------------------------
2 -- |
3 -- Module      :  Debug.QuickCheck.Utils
4 -- Copyright   :  (c) Andy Gill 2001
5 -- License     :  BSD-style (see the file libraries/core/LICENSE)
6 -- 
7 -- Maintainer  :  libraries@haskell.org
8 -- Stability   :  experimental
9 -- Portability :  portable
10 --
11 -- These are some general purpose utilities for use with QuickCheck.
12 --
13 -----------------------------------------------------------------------------
14
15 module Debug.QuickCheck.Utils
16   ( isAssociativeBy
17   , isAssociative
18   , isCommutableBy
19   , isCommutable
20   , isTotalOrder
21   ) where
22
23 import Debug.QuickCheck
24
25 isAssociativeBy :: (Show a,Testable prop) 
26                 => (a -> a -> prop) -> Gen a -> (a -> a -> a) -> Property
27 isAssociativeBy (===) src (**) = 
28         forAll src $ \ a ->
29         forAll src $ \ b ->
30         forAll src $ \ c ->
31         ((a ** b) ** c) === (a ** (b ** c))
32
33 isAssociative :: (Arbitrary a,Show a,Eq a) => (a -> a -> a) -> Property
34 isAssociative = isAssociativeBy (==) arbitrary
35
36 isCommutableBy :: (Show a,Testable prop) 
37                => (b -> b -> prop) -> Gen a -> (a -> a -> b) -> Property
38 isCommutableBy (===) src (**) =
39         forAll src $ \ a ->
40         forAll src $ \ b ->
41         (a ** b) === (b ** a)
42
43 isCommutable :: (Arbitrary a,Show a,Eq b) => (a -> a -> b) -> Property
44 isCommutable = isCommutableBy (==) arbitrary
45
46 isTotalOrder :: (Arbitrary a,Show a,Ord a) => a -> a -> Property
47 isTotalOrder x y = 
48     classify (x > y)  "less than" $
49     classify (x == y) "equals" $
50     classify (x < y)  "greater than" $
51     x < y || x == y || x > y