Ideas.Utils.QuickCheck

Contents

• Data type
• Constructors
• Frequency combinators

Description

Synopsis

• module Test.QuickCheck
• data ArbGen a
• generator :: ArbGen a -> Gen a
• generators :: [ArbGen a] -> Gen a
• arbGen :: Arbitrary b => (b -> a) -> ArbGen a
• constGen :: a -> ArbGen a
• constGens :: [a] -> ArbGen a
• unaryGen :: (a -> a) -> ArbGen a
• unaryGens :: [a -> a] -> ArbGen a
• unaryArbGen :: Arbitrary b => (b -> a -> a) -> ArbGen a
• binaryGen :: (a -> a -> a) -> ArbGen a
• binaryGens :: [a -> a -> a] -> ArbGen a
• toArbGen :: Gen a -> ArbGen a
• common :: ArbGen a -> ArbGen a
• uncommon :: ArbGen a -> ArbGen a
• rare :: ArbGen a -> ArbGen a
• changeFrequency :: Rational -> ArbGen a -> ArbGen a

Documentation

Data type

Constructors

Frequency combinators