Moduletest-framework-smallcheck-0.2Haskell98

Test.Framework.Providers.SmallCheck

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

valuetestProperty :: 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

valuewithDepth :: Depth -> Test -> Test

Change the default maximum test depth for a given Test.

This is a simple wrapper around plusTestOptions.

Orphan instances

1 instance