Test.QuickCheck.Safe.Trusted

Documentation

pureEvaluate :: a -> Either AnException a

pureEvaluate wraps tryEvaluate in unsafePerformIO. This may look like a dirty hack, but this building block allows us to implement most of QuickCheck's functionality without resorting to IO again.

type AnException = SomeException

inventQCGen :: a -> QCGen

inventQCGen invokes newQCGen via unsafePerformIO. It is useful in connection with the quickCheck family of functions.

data QCGen

The "standard" QuickCheck random number generator. A wrapper around either TFGen on GHC, or StdGen on other Haskell systems.

Instances

Read QCGen

Defined in Test.QuickCheck.Random

Methods

readsPrec :: Int -> ReadS QCGen

readList :: ReadS [QCGen]

readPrec :: ReadPrec QCGen

readListPrec :: ReadPrec [QCGen]

Show QCGen

Defined in Test.QuickCheck.Random

Methods

showsPrec :: Int -> QCGen -> ShowS

show :: QCGen -> String

showList :: [QCGen] -> ShowS

Arbitrary QCGen

Defined in Test.QuickCheck.Arbitrary

Methods

arbitrary :: Gen QCGen

shrink :: QCGen -> [QCGen]

RandomGen QCGen

Defined in Test.QuickCheck.Random

Methods

next :: QCGen -> (Int, QCGen)

genRange :: QCGen -> (Int, Int)

split :: QCGen -> (QCGen, QCGen)