| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
Test.QuickCheck.Safe.Trusted
- pureEvaluate :: a -> Either AnException a
- type AnException = SomeException
- inventQCGen :: a -> QCGen
- data QCGen :: *
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.