Portability	portable
Stability	experimental
Maintainer	libraries@haskell.org

Test.QuickCheck

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

dataConfig Source

Constructors

Config
Fields configMaxTest :: Int configMaxFail :: Int configSize :: Int -> Int configEvery :: Int -> [String] -> String

defaultConfig :: Config Source

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

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

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

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

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

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

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

dataGen a Source

Instances

Monad Gen
Functor Gen

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

classArbitrary a whereSource

Methods

arbitrary :: Gen aSource

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

Instances

Arbitrary Bool
Arbitrary Double
Arbitrary Float
Arbitrary Int
Arbitrary Integer
Arbitrary ()
Arbitrary a => Arbitrary [a]
Arbitrary a => Arbitrary (Maybe a)
Arbitrary (Poly a)
(Arbitrary a, Arbitrary b) => Arbitrary (a -> b)
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b)
(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)