Ideas.Utils.QuickCheck

Extensions to the QuickCheck library

Documentation

module Test.QuickCheck

Data type

data ArbGen a

Instances

Monoid (ArbGen a)

Methods

mempty :: ArbGen a

mappend :: ArbGen a -> ArbGen a -> ArbGen a

mconcat :: [ArbGen a] -> ArbGen a

generator :: ArbGen a -> Gen a

generators :: [ArbGen a] -> Gen a

Constructors

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

Frequency combinators

common :: ArbGen a -> ArbGen a

uncommon :: ArbGen a -> ArbGen a

rare :: ArbGen a -> ArbGen a

changeFrequency :: Rational -> ArbGen a -> ArbGen a