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


-- | Support for SmallCheck tests in test-framework
--   
--   Support for SmallCheck tests in test-framework
@package test-framework-smallcheck
@version 0.2


-- | This module allows to use SmallCheck properties in test-framework.
module Test.Framework.Providers.SmallCheck

-- | Create a <a>Test</a> for a SmallCheck <a>Testable</a> property
--   testProperty :: TestName -&gt; (forall m . T.MonadIO m =&gt;
--   SC.Testable m a) -&gt; Test
testProperty :: Testable IO a => TestName -> a -> Test

-- | Change the default maximum test depth for a given <a>Test</a>.
--   
--   This is a simple wrapper around <a>plusTestOptions</a>.
withDepth :: Depth -> Test -> Test
instance GHC.Show.Show Test.Framework.Providers.SmallCheck.Result
instance Test.Framework.Core.TestResultlike GHC.Types.Int Test.Framework.Providers.SmallCheck.Result
instance Test.Framework.Core.Testlike GHC.Types.Int Test.Framework.Providers.SmallCheck.Result (Test.SmallCheck.Property.Property GHC.Types.IO)
