test-framework-smallcheck-0.1: Support for SmallCheck tests in test-framework

MaintainerRoman Cheplyaka <[email protected]>

Test.Framework.Providers.SmallCheck

Description

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

Synopsis

Documentation

testProperty :: Testable a => TestName -> a -> TestSource

Create a Test for a SmallCheck Testable property

withDepth :: Depth -> Test -> TestSource

Change the default maximum test depth for a given Test.

This is a simple wrapper around plusTestOptions.