Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
Options you can pass in via tasty
newtype HedgehogReplay #
The replay token to use for replaying a previous test run
HedgehogReplay (Maybe (Size, Seed)) |
Instances
IsOption HedgehogReplay # | |
newtype HedgehogShowReplay #
If a test case fails, show a replay token for replaying tests
Instances
IsOption HedgehogShowReplay # | |
newtype HedgehogTestLimit #
The number of successful test cases required before Hedgehog will pass a test
Instances
Eq HedgehogTestLimit # | |
Defined in Test.Tasty.Hedgehog (==) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool # (/=) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool # | |
Ord HedgehogTestLimit # | |
Defined in Test.Tasty.Hedgehog 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 # | |
Defined in Test.Tasty.Hedgehog showsPrec :: Int -> HedgehogTestLimit -> ShowS # show :: HedgehogTestLimit -> String # showList :: [HedgehogTestLimit] -> ShowS # | |
IsOption HedgehogTestLimit # | |
newtype HedgehogDiscardLimit #
The number of discarded cases allowed before Hedgehog will fail a test
Instances
Eq HedgehogDiscardLimit # | |
Defined in Test.Tasty.Hedgehog (==) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool # (/=) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool # | |
Ord HedgehogDiscardLimit # | |
Defined in Test.Tasty.Hedgehog 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 # | |
Defined in Test.Tasty.Hedgehog showsPrec :: Int -> HedgehogDiscardLimit -> ShowS # show :: HedgehogDiscardLimit -> String # showList :: [HedgehogDiscardLimit] -> ShowS # | |
IsOption HedgehogDiscardLimit # | |
newtype HedgehogShrinkLimit #
The number of shrinks allowed before Hedgehog will fail a test
Instances
Eq HedgehogShrinkLimit # | |
Defined in Test.Tasty.Hedgehog (==) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool # (/=) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool # | |
Ord HedgehogShrinkLimit # | |
Defined in Test.Tasty.Hedgehog 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 # | |
Defined in Test.Tasty.Hedgehog showsPrec :: Int -> HedgehogShrinkLimit -> ShowS # show :: HedgehogShrinkLimit -> String # showList :: [HedgehogShrinkLimit] -> ShowS # | |
IsOption HedgehogShrinkLimit # | |
newtype HedgehogShrinkRetries #
The number of times to re-run a test during shrinking
Instances
Eq HedgehogShrinkRetries # | |
Defined in Test.Tasty.Hedgehog (==) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool # (/=) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool # | |
Ord HedgehogShrinkRetries # | |
Defined in Test.Tasty.Hedgehog 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 # | |
Defined in Test.Tasty.Hedgehog showsPrec :: Int -> HedgehogShrinkRetries -> ShowS # show :: HedgehogShrinkRetries -> String # showList :: [HedgehogShrinkRetries] -> ShowS # | |
IsOption HedgehogShrinkRetries # | |