Modulehedgehog-1.7
Hedgehog.Internal.Report
Synopsis
- value defaultConfig
- value fromResult
- value mkFailure
- value ppProgress
- value ppResult
- value ppResultWith
- value ppSummary
- value renderDoc
- value renderProgress
- value renderResult
- value renderResultWith
- value renderSummary
- data Config
- data Context
- data FailedAnnotation
- data FailureReport
- newtype Lines
- data Markup
- data PrintPrefixIcons
- data Progress
- data Report
- data Result
- data Style
- data Summary
- Packagehedgehog-1.7
- Exports24
- LicenceBSD-3-Clause
Constructors
Constructors
Instances2Eq, Show
Eq FailedAnnotationDefined in hedgehog-1.7 · Hedgehog.Internal.ReportShow FailedAnnotationDefined in hedgehog-1.7 · Hedgehog.Internal.Report
Constructors
Instances2Eq, Show
Eq FailureReportDefined in hedgehog-1.7 · Hedgehog.Internal.ReportShow FailureReportDefined in hedgehog-1.7 · Hedgehog.Internal.Report
Constructors
WaitingIconWaitingHeaderRunningIconRunningHeaderShrinkingIconShrinkingHeaderFailedIconFailedTextGaveUpIconGaveUpTextSuccessIconSuccessTextCoverageIconCoverageTextCoverageFillDeclarationLocationStyledLineNo !StyleStyledBorder !StyleStyledSource !StyleAnnotationGutterAnnotationValueFailureArrowsFailureGutterFailureMessageDiffPrefixDiffInfixDiffSuffixDiffSameDiffRemovedDiffAddedReproduceHeaderReproduceGutterReproduceSource
Instances2Eq, Show
Eq PrintPrefixIconsDefined in hedgehog-1.7 · Hedgehog.Internal.ReportShow PrintPrefixIconsDefined in hedgehog-1.7 · Hedgehog.Internal.Report