Test.Tasty.SmallCheck

This module allows to use SmallCheck properties in tasty.

Documentation

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

Create a Test for a SmallCheck Testable property

newtype SmallCheckDepth

The "depth" parameter for SmallCheck

Constructors

SmallCheckDepth Int

Instances

Enum SmallCheckDepth

Eq SmallCheckDepth

Integral SmallCheckDepth

Num SmallCheckDepth

Ord SmallCheckDepth

Real SmallCheckDepth

Typeable SmallCheckDepth

IsOption SmallCheckDepth

module Test.SmallCheck