
Debug.QuickCheck  Portability  portable  Stability  experimental  Maintainer  libraries@haskell.org 





Description 
QuickCheck v.0.2
DRAFT implementation; last update 000104.
Koen Claessen, John Hughes.
This file represents work in progress, and might change at a later date.



Documentation 

quickCheck :: Testable a => a > IO () 

verboseCheck :: Testable a => a > IO () 

test :: Testable a => a > IO () 

data Config 


check :: Testable a => Config > a > IO () 

forAll :: (Show a, Testable b) => Gen a > (a > b) > Property 

(==>) :: Testable a => Bool > a > Property 

label :: Testable a => String > a > Property 

collect :: (Show a, Testable b) => a > b > Property 

classify :: Testable a => Bool > String > a > Property 

trivial :: Testable a => Bool > a > Property 

data Gen a 


elements :: [a] > Gen a 

two :: Monad m => m a > m (a, a) 

three :: Monad m => m a > m (a, a, a) 

four :: Monad m => m a > m (a, a, a, a) 

sized :: (Int > Gen a) > Gen a 

resize :: Int > Gen a > Gen a 

choose :: Random a => (a, a) > Gen a 

oneof :: [Gen a] > Gen a 

frequency :: [(Int, Gen a)] > Gen a 

vector :: Arbitrary a => Int > Gen [a] 

class Arbitrary a where 
 Methods  arbitrary :: Gen a   coarbitrary :: a > Gen b > Gen b 
  Instances  Arbitrary ()  Arbitrary Bool  Arbitrary Int  Arbitrary Integer  Arbitrary Float  Arbitrary Double  (Arbitrary a, Arbitrary b) => Arbitrary (a, b)  (Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c)  (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d)  Arbitrary a => Arbitrary [a]  (Arbitrary a, Arbitrary b) => Arbitrary (a > b)  Arbitrary (Poly a) 



rand :: Gen StdGen 

promote :: (a > Gen b) > Gen (a > b) 

variant :: Int > Gen a > Gen a 

class Testable a where 


data Property 


data Result 


generate :: Int > StdGen > Gen a > a 

evaluate :: Testable a => a > Gen Result 

Produced by Haddock version 0.6 