| Copyright | 2015 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| 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 :: Test -> IO (Maybe TestError)
- defaultMain' :: Bool -> [Test] -> IO ()
- defaultMain :: [Test] -> IO ()
Documentation
boolTest' :: String -> String -> Bool -> Test Source #
Bool 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 error result.
defaultMain :: [Test] -> IO () Source #
Not verbose version of defaultMain'.