Safe Haskell | None |
---|---|
Language | Haskell2010 |
A simple property-based testing library based on enumeration of values via lists of lists.
This module re-exports Test.Check 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.
- 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.Check
Documentation
counterExamples :: Testable a => Int -> a -> [[String]] Source
errorToNothing :: a -> Maybe a Source
errorToFalse :: Bool -> Bool Source
errorToTrue :: Bool -> Bool Source
anyErrorToNothing :: a -> Maybe a Source
module Test.Check