Test.Framework.Providers.SmallCheck

This module allows to use SmallCheck properties in test-framework.

Documentation

testProperty :: Testable IO a => TestName -> a -> Test

Create a Test for a SmallCheck Testable property testProperty :: TestName -> (forall m . T.MonadIO m => SC.Testable m a) -> Test

withDepth :: Depth -> Test -> Test

Change the default maximum test depth for a given Test.

This is a simple wrapper around plusTestOptions.