Test.DocTest.Prop

This package allows you to write QuickCheck properties and HUnit assertions within doctest, using functions that keep silence when test succeeds and print out the test outputs otherwise.

To enjoy behavior driven development in Haskell, first import Test.DocTest.Prop, and use prop, propWith and unit to write in-place tests, as follows.

>>> import Test.DocTest.Prop
>>> prop $ \x -> x*2 == x+x
>>> prop ((<2) . fromEnum :: Bool -> Bool)
>>> propWith (quietArgs{maxSize=3}) $ (<10).length
>>> assert $ 1+1==2

Documentation

prop :: Testable p => p -> IO ()

Test the QuickCheck property.

propWith :: Testable p => Args -> p -> IO ()

prop with customized arguments.

quietArgs :: Args

The standard arguments for QuickCheck but the chatty flag is off.

assert :: Assertable t => t -> Assertion