Safe Haskell	Trustworthy
Language	Haskell2010

Test.QuickCheck.Safe.Trusted

Synopsis

Documentation

pureEvaluate :: a -> Either AnException a Source #

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 Source #

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
Methods readsPrec :: Int -> ReadS QCGen # readList :: ReadS [QCGen] # readPrec :: ReadPrec QCGen # readListPrec :: ReadPrec [QCGen] #
Show QCGen
Methods showsPrec :: Int -> QCGen -> ShowS # show :: QCGen -> String # showList :: [QCGen] -> ShowS #
Arbitrary QCGen
Methods arbitrary :: Gen QCGen # shrink :: QCGen -> [QCGen] #
RandomGen QCGen
Methods next :: QCGen -> (Int, QCGen) # genRange :: QCGen -> (Int, Int) # split :: QCGen -> (QCGen, QCGen) #