Test.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.

Synopsis

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

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

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

data Config = Config {

configMaxTest :: Int

configMaxFail :: Int

configSize :: (Int -> Int)

configEvery :: (Int -> [String] -> String)

}

defaultConfig :: 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

arbitrary :: Gen a

coarbitrary :: a -> Gen b -> Gen b

rand :: Gen StdGen

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

variant :: Int -> Gen a -> Gen a

class Testable a where

property :: a -> Property

data Property

data Result = Result {

ok :: (Maybe Bool)

stamp :: [String]

arguments :: [String]

}

generate :: Int -> StdGen -> Gen a -> a

evaluate :: Testable a => a -> Gen Result

Produced by Haddock version 0.6