Test.QuickCheck.Exception

QuickCheck-2.7.3: Automatic testing of Haskell programs

Safe Haskell | Safe-Inferred
Language | Haskell98

Test.QuickCheck.Exception

Description

Throwing and catching exceptions. Internal QuickCheck module.

Synopsis

- 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 = SomeException

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

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

isInterrupt :: AnException -> Bool

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