Test.QuickCheck.Simple

This module contains definitions of test properties and default-mains using QuickCheck library.

Documentation

data Property

Property type. Property or Testable of QuickCheck.

Constructors

Bool (Maybe String) Bool

QuickCheck Property

boolTest' :: String -> String -> Bool -> Test

Property specialized property with message for False case

boolTest :: String -> Bool -> Test

Property specialized property

eqTest' :: (a -> a -> Bool) -> (a -> String) -> String -> a -> a -> Test

Eq specialized property with explicit passing

eqTest :: (Eq a, Show a) => String -> a -> a -> Test

Eq specialized property

qcTest :: Testable prop => String -> prop -> Test

QuickCheck Testable property

type Test = (String, Property)

Property with label string

data TestError

Test failure result.

Constructors

BFalse (Maybe String)

QCError Result

Instances

Show TestError

Defined in Test.QuickCheck.Simple

Methods

showsPrec :: Int -> TestError -> ShowS

show :: TestError -> String

showList :: [TestError] -> ShowS

runTest_

Arguments

:: Bool

verbose flag

-> Test

property to test

-> IO (Maybe TestError)

result action, and may be failure result

Run a single test suite.

runTest

Arguments

:: Test

property to test

-> IO (Maybe TestError)

result action, and may be failure result

Not verbose version of runTest_

defaultMain_ :: Bool -> [Test] -> IO ()

Default main to run test suites.

defaultMain :: [Test] -> IO ()

Not verbose version of defaultMain'.

verboseMain :: [Test] -> IO ()

Verbose verison of defaultMain

defaultMain' :: Bool -> [Test] -> IO ()

Deprecated: Use defaultMain_ instead of this.