Safe Haskell	None
Language	Haskell2010

Test.Tasty.Hedgehog

Contents

Options you can pass in via tasty

Description

This package lets you test Hedgehog properties with tasty.

Typical usage would look like this:

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

Synopsis

testProperty :: TestName -> Property -> TestTree
newtype HedgehogReplay = HedgehogReplay (Maybe (Size, Seed))
newtype HedgehogShowReplay = HedgehogShowReplay Bool
newtype HedgehogTestLimit = HedgehogTestLimit (Maybe TestLimit)
newtype HedgehogDiscardLimit = HedgehogDiscardLimit (Maybe DiscardLimit)
newtype HedgehogShrinkLimit = HedgehogShrinkLimit (Maybe ShrinkLimit)
newtype HedgehogShrinkRetries = HedgehogShrinkRetries (Maybe ShrinkRetries)

Documentation

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

Create a Test from a Hedgehog property

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

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 # optionCLParser :: Parser HedgehogReplay #

newtype HedgehogShowReplay Source #

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

Constructors

HedgehogShowReplay Bool

Instances

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 # optionCLParser :: Parser HedgehogShowReplay #

newtype HedgehogTestLimit Source #

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

Constructors

HedgehogTestLimit (Maybe TestLimit)

Instances

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 #
Show HedgehogTestLimit Source #
Instance details Defined in Test.Tasty.Hedgehog Methods showsPrec :: Int -> HedgehogTestLimit -> ShowS # show :: HedgehogTestLimit -> String # showList :: [HedgehogTestLimit] -> ShowS #
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 # optionCLParser :: Parser HedgehogTestLimit #

newtype HedgehogDiscardLimit Source #

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

Constructors

HedgehogDiscardLimit (Maybe DiscardLimit)

Instances

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 #
Show HedgehogDiscardLimit Source #
Instance details Defined in Test.Tasty.Hedgehog Methods showsPrec :: Int -> HedgehogDiscardLimit -> ShowS # show :: HedgehogDiscardLimit -> String # showList :: [HedgehogDiscardLimit] -> ShowS #
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 # optionCLParser :: Parser HedgehogDiscardLimit #

newtype HedgehogShrinkLimit Source #

The number of shrinks allowed before Hedgehog will fail a test

Constructors

HedgehogShrinkLimit (Maybe ShrinkLimit)

Instances

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 #
Show HedgehogShrinkLimit Source #
Instance details Defined in Test.Tasty.Hedgehog Methods showsPrec :: Int -> HedgehogShrinkLimit -> ShowS # show :: HedgehogShrinkLimit -> String # showList :: [HedgehogShrinkLimit] -> ShowS #
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 # optionCLParser :: Parser HedgehogShrinkLimit #

newtype HedgehogShrinkRetries Source #

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

Constructors

HedgehogShrinkRetries (Maybe ShrinkRetries)

Instances

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 #
Show HedgehogShrinkRetries Source #
Instance details Defined in Test.Tasty.Hedgehog Methods showsPrec :: Int -> HedgehogShrinkRetries -> ShowS # show :: HedgehogShrinkRetries -> String # showList :: [HedgehogShrinkRetries] -> ShowS #
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 # optionCLParser :: Parser HedgehogShrinkRetries #