Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Report = Report {}
- data Status
- = Waiting
- | Running
- | Shrinking !FailureReport
- | Failed !FailureReport
- | GaveUp
- | OK
- data FailureReport = FailureReport {
- failureSize :: !Size
- failureSeed :: !Seed
- failureShrinks :: !ShrinkCount
- failureInputs :: ![FailedInput]
- failureLocation :: !(Maybe Span)
- failureMessage :: !String
- failureDiff :: !(Maybe Diff)
- failureMessages :: ![String]
- data FailedInput = FailedInput {
- failedSpan :: !(Maybe Span)
- failedType :: !TypeRep
- failedValue :: !String
- data ShrinkCount
- data TestCount
- data DiscardCount
- data Style
- data Markup
- = 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
- renderReport :: MonadIO m => Maybe PropertyName -> Report -> m String
- ppReport :: MonadIO m => Maybe PropertyName -> Report -> m (WL.Doc Markup)
- mkFailure :: Size -> Seed -> ShrinkCount -> Maybe Span -> String -> Maybe Diff -> [Log] -> FailureReport
Report
The report from a property test run.
Report | |
|
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.
data FailureReport Source #
FailureReport | |
|
data FailedInput Source #
FailedInput | |
|
data ShrinkCount Source #
The numbers of times a property was able to shrink after a failing test.
The number of tests a property ran successfully.
data DiscardCount Source #
The number of tests a property had to discard.
renderReport :: MonadIO m => Maybe PropertyName -> Report -> m String Source #