quickcheck-simple-0.1.0.1: 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 

Instances

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'.