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 HedgehogReplay Source #

The replay token to use for replaying a previous test run

Constructors

HedgehogReplay (Maybe (Size, Seed)) 

Instances

Instances details
IsOption HedgehogReplay Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogReplay #

parseValue :: String -> Maybe HedgehogReplay #

optionName :: Tagged HedgehogReplay String #

optionHelp :: Tagged HedgehogReplay String #

showDefaultValue :: HedgehogReplay -> Maybe String #

optionCLParser :: Parser HedgehogReplay #

newtype HedgehogShowReplay Source #

If a test case fails, show a replay token for replaying tests

Constructors

HedgehogShowReplay Bool 

Instances

Instances details
IsOption HedgehogShowReplay Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogShowReplay #

parseValue :: String -> Maybe HedgehogShowReplay #

optionName :: Tagged HedgehogShowReplay String #

optionHelp :: Tagged HedgehogShowReplay String #

showDefaultValue :: HedgehogShowReplay -> Maybe String #

optionCLParser :: Parser HedgehogShowReplay #

newtype HedgehogTestLimit Source #

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

Constructors

HedgehogTestLimit (Maybe TestLimit) 

Instances

Instances details
Show HedgehogTestLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

showsPrec :: Int -> HedgehogTestLimit -> ShowS #

show :: HedgehogTestLimit -> String #

showList :: [HedgehogTestLimit] -> ShowS #

Eq HedgehogTestLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

(==) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

(/=) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

Ord HedgehogTestLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

compare :: HedgehogTestLimit -> HedgehogTestLimit -> Ordering #

(<) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

(<=) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

(>) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

(>=) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #

max :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit #

min :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit #

IsOption HedgehogTestLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogTestLimit #

parseValue :: String -> Maybe HedgehogTestLimit #

optionName :: Tagged HedgehogTestLimit String #

optionHelp :: Tagged HedgehogTestLimit String #

showDefaultValue :: HedgehogTestLimit -> Maybe String #

optionCLParser :: Parser HedgehogTestLimit #

newtype HedgehogDiscardLimit Source #

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

Constructors

HedgehogDiscardLimit (Maybe DiscardLimit) 

Instances

Instances details
Show HedgehogDiscardLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

showsPrec :: Int -> HedgehogDiscardLimit -> ShowS #

show :: HedgehogDiscardLimit -> String #

showList :: [HedgehogDiscardLimit] -> ShowS #

Eq HedgehogDiscardLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

(==) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

(/=) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

Ord HedgehogDiscardLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

compare :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Ordering #

(<) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

(<=) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

(>) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

(>=) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #

max :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit #

min :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit #

IsOption HedgehogDiscardLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogDiscardLimit #

parseValue :: String -> Maybe HedgehogDiscardLimit #

optionName :: Tagged HedgehogDiscardLimit String #

optionHelp :: Tagged HedgehogDiscardLimit String #

showDefaultValue :: HedgehogDiscardLimit -> Maybe String #

optionCLParser :: Parser HedgehogDiscardLimit #

newtype HedgehogShrinkLimit Source #

The number of shrinks allowed before Hedgehog will fail a test

Constructors

HedgehogShrinkLimit (Maybe ShrinkLimit) 

Instances

Instances details
Show HedgehogShrinkLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

showsPrec :: Int -> HedgehogShrinkLimit -> ShowS #

show :: HedgehogShrinkLimit -> String #

showList :: [HedgehogShrinkLimit] -> ShowS #

Eq HedgehogShrinkLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

(==) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

(/=) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

Ord HedgehogShrinkLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

compare :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Ordering #

(<) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

(<=) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

(>) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

(>=) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #

max :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit #

min :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit #

IsOption HedgehogShrinkLimit Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogShrinkLimit #

parseValue :: String -> Maybe HedgehogShrinkLimit #

optionName :: Tagged HedgehogShrinkLimit String #

optionHelp :: Tagged HedgehogShrinkLimit String #

showDefaultValue :: HedgehogShrinkLimit -> Maybe String #

optionCLParser :: Parser HedgehogShrinkLimit #

newtype HedgehogShrinkRetries Source #

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

Constructors

HedgehogShrinkRetries (Maybe ShrinkRetries) 

Instances

Instances details
Show HedgehogShrinkRetries Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

showsPrec :: Int -> HedgehogShrinkRetries -> ShowS #

show :: HedgehogShrinkRetries -> String #

showList :: [HedgehogShrinkRetries] -> ShowS #

Eq HedgehogShrinkRetries Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

(==) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

(/=) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

Ord HedgehogShrinkRetries Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

compare :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Ordering #

(<) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

(<=) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

(>) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

(>=) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #

max :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries #

min :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries #

IsOption HedgehogShrinkRetries Source # 
Instance details

Defined in Test.Tasty.Hedgehog

Methods

defaultValue :: HedgehogShrinkRetries #

parseValue :: String -> Maybe HedgehogShrinkRetries #

optionName :: Tagged HedgehogShrinkRetries String #

optionHelp :: Tagged HedgehogShrinkRetries String #

showDefaultValue :: HedgehogShrinkRetries -> Maybe String #

optionCLParser :: Parser HedgehogShrinkRetries #