Test.LeanCheck.Error

A simple property-based testing library based on enumeration of values via lists of lists.

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, 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)]

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