Test.QuickCheck.Exception

Throwing and catching exceptions. Internal QuickCheck module.

Documentation

type AnException = SomeException

tryEvaluate :: a -> IO (Either AnException a)

tryEvaluateIO :: IO a -> IO (Either AnException a)

evaluate :: a -> IO a

isInterrupt :: AnException -> Bool

Test if an exception was a ^C. QuickCheck won't try to shrink an interrupted test case.

discard :: a

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 -> Bool

finally :: IO a -> IO b -> IO a