| Copyright | 2015-2019 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Test.QuickCheck.Simple
Description
This module contains definitions of test properties and default-mains using QuickCheck library.
Synopsis
- data Property
- boolTest' :: String -> String -> Bool -> Test
- boolTest :: String -> Bool -> Test
- eqTest' :: (a -> a -> Bool) -> (a -> String) -> String -> a -> a -> Test
- eqTest :: (Eq a, Show a) => String -> a -> a -> Test
- qcTest :: Testable prop => String -> prop -> Test
- type Test = (String, Property)
- data TestError
- runTest_ :: Bool -> Test -> IO (Maybe TestError)
- runTest :: Test -> IO (Maybe TestError)
- defaultMain_ :: Bool -> [Test] -> IO ()
- defaultMain :: [Test] -> IO ()
- verboseMain :: [Test] -> IO ()
- defaultMain' :: Bool -> [Test] -> IO ()
Documentation
boolTest' :: String -> String -> Bool -> Test Source #
Property specialized property with message for False case
eqTest' :: (a -> a -> Bool) -> (a -> String) -> String -> a -> a -> Test Source #
Eq specialized property with explicit passing
Test failure result.
Arguments
| :: Bool | verbose flag |
| -> Test | property to test |
| -> IO (Maybe TestError) | result action, and may be failure result |
Run a single test suite.
Not verbose version of runTest_
defaultMain :: [Test] -> IO () Source #
Not verbose version of defaultMain'.
verboseMain :: [Test] -> IO () Source #
Verbose verison of defaultMain