QuickCheck-safe- Safe reimplementation of QuickCheck's core

Safe HaskellTrustworthy




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