Safe Haskell | None |
---|---|

Language | Haskell2010 |

LeanCheck is 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.

- 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
- errorToFalse :: Bool -> Bool
- errorToTrue :: Bool -> Bool
- anyErrorToNothing :: a -> Maybe a
- module Test.LeanCheck

# Documentation

errorToNothing :: a -> Maybe a Source #

errorToFalse :: Bool -> Bool Source #

errorToTrue :: Bool -> Bool Source #

anyErrorToNothing :: a -> Maybe a Source #

module Test.LeanCheck