tasty-hedgehog-1.3.1.0: Integration for tasty and hedgehog.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Tasty.Hedgehog

Description

This package lets you test Hedgehog properties with tasty.

Typical usage would look like this:

testGroup "tasty-hedgehog tests" [
   testPropertyNamed "reverse involutive" "prop_reverse_involutive" prop_reverse_involutive
 , testPropertyNamed "sort idempotent"    "prop_sort_idempotent"    prop_sort_idempotent
 ]
Synopsis

Documentation

testProperty :: TestName -> Property -> TestTree Source #

Create a TestTree from a Hedgehog Property.

testPropertyNamed :: TestName -> PropertyName -> Property -> TestTree Source #

testPropertyNamed testName propertyName property creates a TestTree from property using testName as the displayed description for the property. The propertyName is used by Hedgehog when a failure occurs to provide instructions for how to re-run the property and should normally be set to a string representation of the property argument.

testPropertyNamed
 "reverse is involutive"
 "prop_reverse_involutive"
 prop_reverse_involutive

Since: 1.2.0.0

fromGroup :: Group -> TestTree Source #

Create a TestTree from a Hedgehog Group.

Options you can pass in via tasty

newtype HedgehogDiscardLimit Source #

The number of discarded cases allowed before Hedgehog will fail a test

newtype HedgehogShrinkLimit Source #

The number of shrinks allowed before Hedgehog will fail a test

newtype HedgehogShrinkRetries Source #

The number of times to re-run a test during shrinking