| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | Safe |
| Language | Haskell98 |
Ideas.Common.Utils.QuickCheck
Description
Extensions to the QuickCheck library
- 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
module Test.QuickCheck
Data type
generators :: [ArbGen a] -> Gen a Source
Constructors
unaryArbGen :: Arbitrary b => (b -> a -> a) -> ArbGen a Source
binaryGens :: [a -> a -> a] -> ArbGen a Source
Frequency combinators
changeFrequency :: Rational -> ArbGen a -> ArbGen a Source