QuickCheck-1.1.0.0: Automatic testing of Haskell programsSource codeContentsIndex
Test.QuickCheck
Portabilityportable
Stabilityexperimental
Maintainerlibraries@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 ()Source
verboseCheck :: Testable a => a -> IO ()Source
test :: Testable a => a -> IO ()Source
data Config Source
Constructors
Config
configMaxTest :: Int
configMaxFail :: Int
configSize :: (Int -> Int)
configEvery :: (Int -> [String] -> String)
defaultConfig :: ConfigSource
check :: Testable a => Config -> a -> IO ()Source
forAll :: (Show a, Testable b) => Gen a -> (a -> b) -> PropertySource
(==>) :: Testable a => Bool -> a -> PropertySource
label :: Testable a => String -> a -> PropertySource
collect :: (Show a, Testable b) => a -> b -> PropertySource
classify :: Testable a => Bool -> String -> a -> PropertySource
trivial :: Testable a => Bool -> a -> PropertySource
data Gen aSource
show/hide Instances
elements :: [a] -> Gen aSource
two :: Monad m => m a -> m (a, a)Source
three :: Monad m => m a -> m (a, a, a)Source
four :: Monad m => m a -> m (a, a, a, a)Source
sized :: (Int -> Gen a) -> Gen aSource
resize :: Int -> Gen a -> Gen aSource
choose :: Random a => (a, a) -> Gen aSource
oneof :: [Gen a] -> Gen aSource
frequency :: [(Int, Gen a)] -> Gen aSource
vector :: Arbitrary a => Int -> Gen [a]Source
class Arbitrary a whereSource
Methods
arbitrary :: Gen aSource
coarbitrary :: a -> Gen b -> Gen bSource
show/hide Instances
rand :: Gen StdGenSource
promote :: (a -> Gen b) -> Gen (a -> b)Source
variant :: Int -> Gen a -> Gen aSource
class Testable a whereSource
Methods
property :: a -> PropertySource
show/hide Instances
data Property Source
show/hide Instances
data Result Source
Constructors
Result
ok :: (Maybe Bool)
stamp :: [String]
arguments :: [String]
show/hide Instances
generate :: Int -> StdGen -> Gen a -> aSource
evaluate :: Testable a => a -> Gen ResultSource
Produced by Haddock version 0.8