ModuleQuickCheck-2.15.0.1Haskell2010

Test.QuickCheck.Exception

Throwing and catching exceptions. Internal QuickCheck module.

1 type
7 values

PackageQuickCheck-2.15.0.1
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

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

valueisDiscard :: AnException -> Bool

valuediscard :: a

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