Test.LeanCheck.Error

This module is part of LeanCheck, a simple enumerative property-based testing library.

This module re-exports Test.LeanCheck but some test functions have been specialized to catch errors (see the explicit export list below).

This module is unsafe as it uses unsafePerformIO to catch errors.

Documentation

holds :: Testable a => Int -> a -> Bool

fails :: Testable a => Int -> a -> Bool

exists :: Testable a => Int -> a -> Bool

counterExample :: Testable a => Int -> a -> Maybe [String]

counterExamples :: Testable a => Int -> a -> [[String]]

witness :: Testable a => Int -> a -> Maybe [String]

witnesses :: Testable a => Int -> a -> [[String]]

results :: Testable a => a -> [([String], Bool)]

fromError :: a -> a -> a

errorToNothing :: a -> Maybe a

Transforms a value into Just that value or Nothing on some errors:

• ArithException
• ArrayException
• ErrorCall
• PatternMatchFail

errorToFalse :: Bool -> Bool

errorToTrue :: Bool -> Bool

anyErrorToNothing :: a -> Maybe a

Transforms a value into Just that value or Nothing on error.

module Test.LeanCheck