QuickCheck-2.7.6: Automatic testing of Haskell programs

Safe HaskellSafe-Inferred

Test.QuickCheck.Exception

Description

Throwing and catching exceptions. Internal QuickCheck module.

Synopsis

Documentation

discard :: aSource

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 aSource