| Safe Haskell | Safe-Inferred |
|---|
Test.QuickCheck.Exception
Description
Throwing and catching exceptions. Internal QuickCheck module.
- type AnException = SomeException
- tryEvaluate :: a -> IO (Either AnException a)
- tryEvaluateIO :: IO a -> IO (Either AnException a)
- isInterrupt :: AnException -> Bool
- discard :: a
- isDiscard :: AnException -> Bool
- finally :: IO a -> IO b -> IO a
Documentation
type AnException = SomeExceptionSource
tryEvaluate :: a -> IO (Either AnException a)Source
tryEvaluateIO :: IO a -> IO (Either AnException a)Source
isInterrupt :: AnException -> BoolSource
A special exception that makes QuickCheck discard the test case.
Normally you should use ==>, but if for some reason this isn't
possible (e.g. you are deep inside a generator), use discard
instead.
isDiscard :: AnException -> BoolSource