HORIZON HASKELLDocslts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Moduletasty-hedgehog-1.4.0.2Haskell2010

Test.Tasty.Hedgehog

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
 ]
Contents
  1. Options you can pass in via tasty
Synopsis

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

Options you can pass in via tasty

newtypenewtype HedgehogTestLimit

The number of successful test cases required before Hedgehog will pass a test

Instances4Eq, Ord, Show, IsOption
newtypenewtype HedgehogDiscardLimit

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

Instances4Eq, Ord, Show, IsOption
newtypenewtype HedgehogShrinkLimit

The number of shrinks allowed before Hedgehog will fail a test

Instances4Eq, Ord, Show, IsOption
newtypenewtype HedgehogShrinkRetries

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

Instances4Eq, Ord, Show, IsOption