Safe Haskell	None
Language	Haskell98

Hedgehog.Internal.Report

Contents

Report

Synopsis

Report

data Report Source #

The report from a property test run.

Constructors

Report
Fields reportTests :: !TestCount reportDiscards :: !DiscardCount reportStatus :: !Status

Instances

Show Report Source #
Methods showsPrec :: Int -> Report -> ShowS # show :: Report -> String # showList :: [Report] -> ShowS #

data Status Source #

The status of a property test run.

In the case of a failure it provides the seed used for the test, the number of shrinks, and the execution log.

Constructors

Waiting
Running
Shrinking !FailureReport
Failed !FailureReport
GaveUp
OK

Instances

Eq Status Source #
Methods (==) :: Status -> Status -> Bool # (/=) :: Status -> Status -> Bool #
Show Status Source #
Methods showsPrec :: Int -> Status -> ShowS # show :: Status -> String # showList :: [Status] -> ShowS #

data FailureReport Source #

Constructors

FailureReport
Fields failureSize :: !Size failureSeed :: !Seed failureShrinks :: !ShrinkCount failureInputs :: ![FailedInput] failureLocation :: !(Maybe Span) failureMessage :: !String failureDiff :: !(Maybe Diff) failureMessages :: ![String]

Instances

Eq FailureReport Source #
Methods (==) :: FailureReport -> FailureReport -> Bool # (/=) :: FailureReport -> FailureReport -> Bool #
Show FailureReport Source #
Methods showsPrec :: Int -> FailureReport -> ShowS # show :: FailureReport -> String # showList :: [FailureReport] -> ShowS #

data FailedInput Source #

Constructors

FailedInput
Fields failedSpan :: !(Maybe Span) failedType :: !TypeRep failedValue :: !String

Instances

Eq FailedInput Source #
Methods (==) :: FailedInput -> FailedInput -> Bool # (/=) :: FailedInput -> FailedInput -> Bool #
Show FailedInput Source #
Methods showsPrec :: Int -> FailedInput -> ShowS # show :: FailedInput -> String # showList :: [FailedInput] -> ShowS #

data ShrinkCount Source #

The numbers of times a property was able to shrink after a failing test.

Instances

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

data TestCount Source #

The number of tests a property ran successfully.

Instances

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

data DiscardCount Source #

The number of tests a property had to discard.

Instances

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

data Style Source #

Constructors

StyleInfo
StyleInput
StyleFailure

Instances

Eq Style Source #
Methods (==) :: Style -> Style -> Bool # (/=) :: Style -> Style -> Bool #
Ord Style Source #
Methods compare :: Style -> Style -> Ordering # (<) :: Style -> Style -> Bool # (<=) :: Style -> Style -> Bool # (>) :: Style -> Style -> Bool # (>=) :: Style -> Style -> Bool # max :: Style -> Style -> Style # min :: Style -> Style -> Style #
Show Style Source #
Methods showsPrec :: Int -> Style -> ShowS # show :: Style -> String # showList :: [Style] -> ShowS #
Semigroup Style Source #
Methods (<>) :: Style -> Style -> Style # sconcat :: NonEmpty Style -> Style # stimes :: Integral b => b -> Style -> Style #

data Markup Source #

Instances

Eq Markup Source #
Methods (==) :: Markup -> Markup -> Bool # (/=) :: Markup -> Markup -> Bool #
Ord Markup Source #
Methods compare :: Markup -> Markup -> Ordering # (<) :: Markup -> Markup -> Bool # (<=) :: Markup -> Markup -> Bool # (>) :: Markup -> Markup -> Bool # (>=) :: Markup -> Markup -> Bool # max :: Markup -> Markup -> Markup # min :: Markup -> Markup -> Markup #
Show Markup Source #
Methods showsPrec :: Int -> Markup -> ShowS # show :: Markup -> String # showList :: [Markup] -> ShowS #

renderReport :: MonadIO m => Maybe PropertyName -> Report -> m String Source #

ppReport :: MonadIO m => Maybe PropertyName -> Report -> m (WL.Doc Markup) Source #

mkFailure :: Size -> Seed -> ShrinkCount -> Maybe Span -> String -> Maybe Diff -> [Log] -> FailureReport Source #

WaitingIcon
WaitingHeader
RunningIcon
RunningHeader
ShrinkingIcon
ShrinkingHeader
FailedIcon
FailedHeader
GaveUpIcon
GaveUpHeader
SuccessIcon
SuccessHeader
DeclarationLocation
StyledLineNo !Style
StyledBorder !Style
StyledSource !Style
InputGutter
InputValue
FailureArrows
FailureGutter
FailureMessage
DiffPrefix
DiffInfix
DiffSuffix
DiffSame
DiffRemoved
DiffAdded
ReproduceHeader
ReproduceGutter
ReproduceSource