Test.QuickCheck.Simple

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

Documentation

data Property

Property type. Bool or Testable of QuickCheck.

Constructors

Bool Bool

QuickCheck Property

boolTest :: String -> Bool -> Test

Bool specialized property

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

QuickCheck Testable property

type Test = (String, Property)

Property with label string

data TestError

Test error result.

Constructors

BFalse

QCError Result

Instances

Show TestError

runTest :: Test -> IO (Maybe TestError)

Run a single test suite.

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

Default main to run test suites.

defaultMain :: [Test] -> IO ()

Not verbose version of defaultMain'.