Copyright | 2015 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | ex8k.hibino@gmail.com |
Stability | experimental |
Portability | unknown |
Safe Haskell | Safe |
Language | Haskell2010 |
This module contains definitions of test properties and default-mains using QuickCheck library.
- 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'
.