QuickCheck-2.8.2: Automatic testing of Haskell programs

Safe Haskell | Safe
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)
- evaluate :: a -> IO 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) #

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 #