-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Allow QuickCheck-style property testing within doctest.
--   
--   <b>Please use <a>doctest</a> that supports <a>QuickCheck
--   properties</a>.</b>
--   
--   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
--   <tt>Test.DocTest.Prop</tt>, and use <tt>prop</tt>, <tt>propWith</tt>
--   and <tt>unit</tt> to write in-place tests. For more details, please
--   refer to examples in the module <tt>Test.DocTest.Prop</tt> .
@package doctest-prop
@version 0.2.0.1


-- | 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
--   <tt>Test.DocTest.Prop</tt>, and use <tt>prop</tt>, <tt>propWith</tt>
--   and <tt>unit</tt> to write in-place tests, as follows.
--   
--   <pre>
--   &gt;&gt;&gt; import Test.DocTest.Prop
--   
--   &gt;&gt;&gt; prop $ \x -&gt; x*2 == x+x
--   
--   &gt;&gt;&gt; prop ((&lt;2) . fromEnum :: Bool -&gt; Bool)
--   
--   &gt;&gt;&gt; propWith (quietArgs{maxSize=3}) $ (&lt;10).length
--   
--   &gt;&gt;&gt; assert $ 1+1==2
--   </pre>
module Test.DocTest.Prop

-- | Test the QuickCheck property.
prop :: Testable p => p -> IO ()

-- | <tt>prop</tt> with customized arguments.
propWith :: Testable p => Args -> p -> IO ()

-- | The standard arguments for QuickCheck but the chatty flag is off.
quietArgs :: Args
assert :: (Assertable t, HasCallStack) => t -> Assertion
