Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
- 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.