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


-- | Test properties and default-mains for QuickCheck
--   
@package quickcheck-simple
@version 0.0.1.0


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

-- | Property type. <a>Bool</a> or <a>Testable</a> of QuickCheck.
data Property
Bool :: Bool -> Property
QuickCheck :: Property -> Property

-- | <a>Bool</a> specialized property
boolTest :: String -> Bool -> Test

-- | QuickCheck <a>Testable</a> property
qcTest :: Testable prop => String -> prop -> Test

-- | Property with label string
type Test = (String, Property)

-- | Test error result.
data TestError
BFalse :: TestError
QCError :: Result -> TestError

-- | Run a single test suite.
runTest :: Test -> IO (Maybe TestError)

-- | Default main to run test suites.
defaultMain' :: Bool -> [Test] -> IO ()

-- | Not verbose version of <a>defaultMain'</a>.
defaultMain :: [Test] -> IO ()
instance Show TestError