ModuleQuickCheck-2.18.0.0Haskell2010

Test.QuickCheck.Exception

Throwing and catching exceptions. Internal QuickCheck module.

Synopsis

type AnException
value tryEvaluate
value tryEvaluateIO
value evaluate
value isInterrupt
value isDiscard
value discard
value finally

PackageQuickCheck-2.18.0.0
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause
SourceException.hs

typetype AnException = SomeException

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

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

valueevaluate :: a -> IO a

valueisInterrupt :: AnException -> Bool

Source#

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

valueisDiscard :: AnException -> Bool

valuediscard :: a

Source#

A special error value. If a property evaluates discard, it causes QuickCheck to discard the current test case. This can be useful if you want to discard the current test case, but are somewhere you can't use ==>, such as inside a generator.

valuefinally :: IO a -> IO b -> IO a