QuickCheck-safe-0.1.0.6: Safe reimplementation of QuickCheck's core

Safe HaskellTrustworthy
LanguageHaskell2010

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.

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 SMGen on GHC, or StdGen on other Haskell systems.

Instances
Read QCGen 
Instance details

Defined in Test.QuickCheck.Random

Show QCGen 
Instance details

Defined in Test.QuickCheck.Random

Methods

showsPrec :: Int -> QCGen -> ShowS #

show :: QCGen -> String #

showList :: [QCGen] -> ShowS #

Splittable QCGen 
Instance details

Defined in Test.QuickCheck.Random

Methods

left :: QCGen -> QCGen

right :: QCGen -> QCGen

Arbitrary QCGen 
Instance details

Defined in Test.QuickCheck.Arbitrary

Methods

arbitrary :: Gen QCGen #

shrink :: QCGen -> [QCGen] #

RandomGen QCGen 
Instance details

Defined in Test.QuickCheck.Random

Methods

next :: QCGen -> (Int, QCGen) #

genRange :: QCGen -> (Int, Int) #

split :: QCGen -> (QCGen, QCGen) #