Test.QuickCheck.GenT

Most of the code is borrowed from a mailing list discussion. Therefor, credits go to Paul Johnson and Felix Martini.

Documentation

newtype GenT m a

Constructors

GenT

Fields

• unGenT :: QCGen -> Int -> m a

Instances

MonadTrans GenT

Defined in Test.QuickCheck.GenT

Methods

lift :: Monad m => m a -> GenT m a

Monad m => Monad (GenT m)

Defined in Test.QuickCheck.GenT

Methods

(>>=) :: GenT m a -> (a -> GenT m b) -> GenT m b

(>>) :: GenT m a -> GenT m b -> GenT m b

return :: a -> GenT m a

fail :: String -> GenT m a

Functor m => Functor (GenT m)

Defined in Test.QuickCheck.GenT

Methods

fmap :: (a -> b) -> GenT m a -> GenT m b

(<$) :: a -> GenT m b -> GenT m a

(Functor m, Monad m) => Applicative (GenT m)

Defined in Test.QuickCheck.GenT

Methods

pure :: a -> GenT m a

(<*>) :: GenT m (a -> b) -> GenT m a -> GenT m b

liftA2 :: (a -> b -> c) -> GenT m a -> GenT m b -> GenT m c

(*>) :: GenT m a -> GenT m b -> GenT m b

(<*) :: GenT m a -> GenT m b -> GenT m a

MonadIO m => MonadIO (GenT m)

Defined in Test.QuickCheck.GenT

Methods

liftIO :: IO a -> GenT m a

(Applicative m, Monad m) => MonadGen (GenT m)

Defined in Test.QuickCheck.GenT

Methods

liftGen :: Gen a -> GenT m a

variant :: Integral n => n -> GenT m a -> GenT m a

sized :: (Int -> GenT m a) -> GenT m a

resize :: Int -> GenT m a -> GenT m a

choose :: Random a => (a, a) -> GenT m a

runGenT :: GenT m a -> Gen (m a)

class (Applicative g, Monad g) => MonadGen g where

Methods

liftGen :: Gen a -> g a

variant :: Integral n => n -> g a -> g a

sized :: (Int -> g a) -> g a

resize :: Int -> g a -> g a

choose :: Random a => (a, a) -> g a

Instances

MonadGen Gen

Defined in Test.QuickCheck.GenT

Methods

liftGen :: Gen a -> Gen a

variant :: Integral n => n -> Gen a -> Gen a

sized :: (Int -> Gen a) -> Gen a

resize :: Int -> Gen a -> Gen a

choose :: Random a => (a, a) -> Gen a

(Applicative m, Monad m) => MonadGen (GenT m)

Defined in Test.QuickCheck.GenT

Methods

liftGen :: Gen a -> GenT m a

variant :: Integral n => n -> GenT m a -> GenT m a

sized :: (Int -> GenT m a) -> GenT m a

resize :: Int -> GenT m a -> GenT m a

choose :: Random a => (a, a) -> GenT m a

var :: Integral n => n -> QCGen -> QCGen

Private variant-generating function. Converts an integer into a chain of (fst . split) and (snd . split) applications. Every integer (including negative ones) will give rise to a different random number generator in log2 n steps.

Common generator combinators

suchThat :: MonadGen m => m a -> (a -> Bool) -> m a

Generates a value that satisfies a predicate.

suchThatMaybe :: MonadGen m => m a -> (a -> Bool) -> m (Maybe a)

Tries to generate a value that satisfies a predicate.

listOf :: MonadGen m => m a -> m [a]

Generates a list of random length. The maximum length depends on the size parameter.

listOf1 :: MonadGen m => m a -> m [a]

Generates a non-empty list of random length. The maximum length depends on the size parameter.

vectorOf :: MonadGen m => Int -> m a -> m [a]

Generates a list of the given length.

Partial functions

oneof :: MonadGen m => [m a] -> m a

Randomly uses one of the given generators. The input list must be non-empty.

frequency :: MonadGen m => [(Int, m a)] -> m a

Chooses one of the given generators, with a weighted random distribution. The input list must be non-empty.

elements :: MonadGen m => [a] -> m a

Generates one of the given values. The input list must be non-empty.

growingElements :: MonadGen m => [a] -> m a

Takes a list of elements of increasing size, and chooses among an initial segment of the list. The size of this initial segment increases with the size parameter. The input list must be non-empty.

Non-partial functions resulting in Maybe

oneofMay :: MonadGen m => [m a] -> m (Maybe a)

Randomly uses one of the given generators.

elementsMay :: MonadGen m => [a] -> m (Maybe a)

Generates one of the given values.

growingElementsMay :: MonadGen m => [a] -> m (Maybe a)

Takes a list of elements of increasing size, and chooses among an initial segment of the list. The size of this initial segment increases with the size parameter.