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

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

newtype HedgehogVerbose Source #

Show the generated Hedgehog test cases

Constructors

HedgehogVerbose Bool

Instances

IsOption HedgehogVerbose Source #
Methods defaultValue :: HedgehogVerbose # parseValue :: String -> Maybe HedgehogVerbose # optionName :: Tagged * HedgehogVerbose String # optionHelp :: Tagged * HedgehogVerbose String # optionCLParser :: Parser HedgehogVerbose #

newtype HedgehogTestLimit Source #

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

Constructors

HedgehogTestLimit Int

Instances

Enum HedgehogTestLimit Source #
Methods succ :: HedgehogTestLimit -> HedgehogTestLimit # pred :: HedgehogTestLimit -> HedgehogTestLimit # toEnum :: Int -> HedgehogTestLimit # fromEnum :: HedgehogTestLimit -> Int # enumFrom :: HedgehogTestLimit -> [HedgehogTestLimit] # enumFromThen :: HedgehogTestLimit -> HedgehogTestLimit -> [HedgehogTestLimit] # enumFromTo :: HedgehogTestLimit -> HedgehogTestLimit -> [HedgehogTestLimit] # enumFromThenTo :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit -> [HedgehogTestLimit] #
Eq HedgehogTestLimit Source #
Methods (==) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool # (/=) :: HedgehogTestLimit -> HedgehogTestLimit -> Bool #
Integral HedgehogTestLimit Source #
Methods quot :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # rem :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # div :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # mod :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # quotRem :: HedgehogTestLimit -> HedgehogTestLimit -> (HedgehogTestLimit, HedgehogTestLimit) # divMod :: HedgehogTestLimit -> HedgehogTestLimit -> (HedgehogTestLimit, HedgehogTestLimit) # toInteger :: HedgehogTestLimit -> Integer #
Num HedgehogTestLimit Source #
Methods (+) :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # (-) :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # (*) :: HedgehogTestLimit -> HedgehogTestLimit -> HedgehogTestLimit # negate :: HedgehogTestLimit -> HedgehogTestLimit # abs :: HedgehogTestLimit -> HedgehogTestLimit # signum :: HedgehogTestLimit -> HedgehogTestLimit # fromInteger :: Integer -> HedgehogTestLimit #
Ord HedgehogTestLimit Source #
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 #
Real HedgehogTestLimit Source #
Methods toRational :: HedgehogTestLimit -> Rational #
Show HedgehogTestLimit Source #
Methods showsPrec :: Int -> HedgehogTestLimit -> ShowS # show :: HedgehogTestLimit -> String # showList :: [HedgehogTestLimit] -> ShowS #
IsOption HedgehogTestLimit Source #
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 Int

Instances

Enum HedgehogDiscardLimit Source #
Methods succ :: HedgehogDiscardLimit -> HedgehogDiscardLimit # pred :: HedgehogDiscardLimit -> HedgehogDiscardLimit # toEnum :: Int -> HedgehogDiscardLimit # fromEnum :: HedgehogDiscardLimit -> Int # enumFrom :: HedgehogDiscardLimit -> [HedgehogDiscardLimit] # enumFromThen :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> [HedgehogDiscardLimit] # enumFromTo :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> [HedgehogDiscardLimit] # enumFromThenTo :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit -> [HedgehogDiscardLimit] #
Eq HedgehogDiscardLimit Source #
Methods (==) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool # (/=) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> Bool #
Integral HedgehogDiscardLimit Source #
Methods quot :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # rem :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # div :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # mod :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # quotRem :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> (HedgehogDiscardLimit, HedgehogDiscardLimit) # divMod :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> (HedgehogDiscardLimit, HedgehogDiscardLimit) # toInteger :: HedgehogDiscardLimit -> Integer #
Num HedgehogDiscardLimit Source #
Methods (+) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # (-) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # (*) :: HedgehogDiscardLimit -> HedgehogDiscardLimit -> HedgehogDiscardLimit # negate :: HedgehogDiscardLimit -> HedgehogDiscardLimit # abs :: HedgehogDiscardLimit -> HedgehogDiscardLimit # signum :: HedgehogDiscardLimit -> HedgehogDiscardLimit # fromInteger :: Integer -> HedgehogDiscardLimit #
Ord HedgehogDiscardLimit Source #
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 #
Real HedgehogDiscardLimit Source #
Methods toRational :: HedgehogDiscardLimit -> Rational #
Show HedgehogDiscardLimit Source #
Methods showsPrec :: Int -> HedgehogDiscardLimit -> ShowS # show :: HedgehogDiscardLimit -> String # showList :: [HedgehogDiscardLimit] -> ShowS #
IsOption HedgehogDiscardLimit Source #
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 Int

Instances

Enum HedgehogShrinkLimit Source #
Methods succ :: HedgehogShrinkLimit -> HedgehogShrinkLimit # pred :: HedgehogShrinkLimit -> HedgehogShrinkLimit # toEnum :: Int -> HedgehogShrinkLimit # fromEnum :: HedgehogShrinkLimit -> Int # enumFrom :: HedgehogShrinkLimit -> [HedgehogShrinkLimit] # enumFromThen :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> [HedgehogShrinkLimit] # enumFromTo :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> [HedgehogShrinkLimit] # enumFromThenTo :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit -> [HedgehogShrinkLimit] #
Eq HedgehogShrinkLimit Source #
Methods (==) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool # (/=) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> Bool #
Integral HedgehogShrinkLimit Source #
Methods quot :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # rem :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # div :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # mod :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # quotRem :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> (HedgehogShrinkLimit, HedgehogShrinkLimit) # divMod :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> (HedgehogShrinkLimit, HedgehogShrinkLimit) # toInteger :: HedgehogShrinkLimit -> Integer #
Num HedgehogShrinkLimit Source #
Methods (+) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # (-) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # (*) :: HedgehogShrinkLimit -> HedgehogShrinkLimit -> HedgehogShrinkLimit # negate :: HedgehogShrinkLimit -> HedgehogShrinkLimit # abs :: HedgehogShrinkLimit -> HedgehogShrinkLimit # signum :: HedgehogShrinkLimit -> HedgehogShrinkLimit # fromInteger :: Integer -> HedgehogShrinkLimit #
Ord HedgehogShrinkLimit Source #
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 #
Real HedgehogShrinkLimit Source #
Methods toRational :: HedgehogShrinkLimit -> Rational #
Show HedgehogShrinkLimit Source #
Methods showsPrec :: Int -> HedgehogShrinkLimit -> ShowS # show :: HedgehogShrinkLimit -> String # showList :: [HedgehogShrinkLimit] -> ShowS #
IsOption HedgehogShrinkLimit Source #
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 Int

Instances

Enum HedgehogShrinkRetries Source #
Methods succ :: HedgehogShrinkRetries -> HedgehogShrinkRetries # pred :: HedgehogShrinkRetries -> HedgehogShrinkRetries # toEnum :: Int -> HedgehogShrinkRetries # fromEnum :: HedgehogShrinkRetries -> Int # enumFrom :: HedgehogShrinkRetries -> [HedgehogShrinkRetries] # enumFromThen :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> [HedgehogShrinkRetries] # enumFromTo :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> [HedgehogShrinkRetries] # enumFromThenTo :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries -> [HedgehogShrinkRetries] #
Eq HedgehogShrinkRetries Source #
Methods (==) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool # (/=) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> Bool #
Integral HedgehogShrinkRetries Source #
Methods quot :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # rem :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # div :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # mod :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # quotRem :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> (HedgehogShrinkRetries, HedgehogShrinkRetries) # divMod :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> (HedgehogShrinkRetries, HedgehogShrinkRetries) # toInteger :: HedgehogShrinkRetries -> Integer #
Num HedgehogShrinkRetries Source #
Methods (+) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # (-) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # (*) :: HedgehogShrinkRetries -> HedgehogShrinkRetries -> HedgehogShrinkRetries # negate :: HedgehogShrinkRetries -> HedgehogShrinkRetries # abs :: HedgehogShrinkRetries -> HedgehogShrinkRetries # signum :: HedgehogShrinkRetries -> HedgehogShrinkRetries # fromInteger :: Integer -> HedgehogShrinkRetries #
Ord HedgehogShrinkRetries Source #
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 #
Real HedgehogShrinkRetries Source #
Methods toRational :: HedgehogShrinkRetries -> Rational #
Show HedgehogShrinkRetries Source #
Methods showsPrec :: Int -> HedgehogShrinkRetries -> ShowS # show :: HedgehogShrinkRetries -> String # showList :: [HedgehogShrinkRetries] -> ShowS #
IsOption HedgehogShrinkRetries Source #
Methods defaultValue :: HedgehogShrinkRetries # parseValue :: String -> Maybe HedgehogShrinkRetries # optionName :: Tagged * HedgehogShrinkRetries String # optionHelp :: Tagged * HedgehogShrinkRetries String # optionCLParser :: Parser HedgehogShrinkRetries #

IsOption HedgehogShowReplay Source #
Methods defaultValue :: HedgehogShowReplay # parseValue :: String -> Maybe HedgehogShowReplay # optionName :: Tagged * HedgehogShowReplay String # optionHelp :: Tagged * HedgehogShowReplay String # optionCLParser :: Parser HedgehogShowReplay #