ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Exception

Synopsis

valuediscard :: a

valueevaluate :: a -> IO a

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

valueisDiscard :: AnException -> Bool

valueisInterrupt :: AnException -> Bool

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

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

typetype AnException = SomeException