QuickCheck-2.9.2: Automatic testing of Haskell programs

Safe HaskellSafe
LanguageHaskell98

Test.QuickCheck.Exception

Description

Throwing and catching exceptions. Internal QuickCheck module.

Synopsis

Documentation

evaluate :: a -> IO a Source #

isInterrupt :: AnException -> Bool Source #

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

discard :: a Source #

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.

finally :: IO a -> IO b -> IO a Source #