quickcheck-simple-0.1.0.3: Test properties and default-mains for QuickCheck

Copyright2015 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellSafe
LanguageHaskell2010

Test.QuickCheck.Simple

Description

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

Synopsis

Documentation

data Property Source #

Property type. Bool or Testable of QuickCheck.

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

Bool specialized property with message for False case

boolTest :: String -> Bool -> Test Source #

Bool specialized property

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

Eq specialized property with explicit passing

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

Eq specialized property

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

QuickCheck Testable property

type Test = (String, Property) Source #

Property with label string

data TestError Source #

Test error result.

Constructors

BFalse (Maybe String) 
QCError Result 

runTest :: Test -> IO (Maybe TestError) Source #

Run a single test suite.

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

Default main to run test suites.

defaultMain :: [Test] -> IO () Source #

Not verbose version of defaultMain'.