hedgehog-1.0.2: Release with confidence.
Safe HaskellNone
LanguageHaskell98

Hedgehog.Internal.Report

Contents

Synopsis

Report

data Summary Source #

A summary of all the properties executed.

Instances

Instances details
Show Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> Summary -> ShowS

show :: Summary -> String

showList :: [Summary] -> ShowS

Semigroup Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

(<>) :: Summary -> Summary -> Summary #

sconcat :: NonEmpty Summary -> Summary

stimes :: Integral b => b -> Summary -> Summary

Monoid Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

data Report a Source #

A report on a running or completed property test.

Instances

Instances details
Functor Report Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

fmap :: (a -> b) -> Report a -> Report b

(<$) :: a -> Report b -> Report a

Foldable Report Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

fold :: Monoid m => Report m -> m

foldMap :: Monoid m => (a -> m) -> Report a -> m

foldMap' :: Monoid m => (a -> m) -> Report a -> m

foldr :: (a -> b -> b) -> b -> Report a -> b

foldr' :: (a -> b -> b) -> b -> Report a -> b

foldl :: (b -> a -> b) -> b -> Report a -> b

foldl' :: (b -> a -> b) -> b -> Report a -> b

foldr1 :: (a -> a -> a) -> Report a -> a

foldl1 :: (a -> a -> a) -> Report a -> a

toList :: Report a -> [a]

null :: Report a -> Bool

length :: Report a -> Int

elem :: Eq a => a -> Report a -> Bool

maximum :: Ord a => Report a -> a

minimum :: Ord a => Report a -> a

sum :: Num a => Report a -> a

product :: Num a => Report a -> a

Traversable Report Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

traverse :: Applicative f => (a -> f b) -> Report a -> f (Report b)

sequenceA :: Applicative f => Report (f a) -> f (Report a)

mapM :: Monad m => (a -> m b) -> Report a -> m (Report b)

sequence :: Monad m => Report (m a) -> m (Report a)

Show a => Show (Report a) Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> Report a -> ShowS

show :: Report a -> String

showList :: [Report a] -> ShowS

data Progress Source #

The status of a running property test.

Instances

Instances details
Eq Progress Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

(==) :: Progress -> Progress -> Bool

(/=) :: Progress -> Progress -> Bool

Show Progress Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> Progress -> ShowS

show :: Progress -> String

showList :: [Progress] -> ShowS

data Result Source #

The status of a completed property test.

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

Constructors

Failed !FailureReport 
GaveUp 
OK 

Instances

Instances details
Eq Result Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

(==) :: Result -> Result -> Bool

(/=) :: Result -> Result -> Bool

Show Result Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> Result -> ShowS

show :: Result -> String

showList :: [Result] -> ShowS

data FailureReport Source #

Instances

Instances details
Eq FailureReport Source # 
Instance details

Defined in Hedgehog.Internal.Report

Show FailureReport Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> FailureReport -> ShowS

show :: FailureReport -> String

showList :: [FailureReport] -> ShowS

data FailedAnnotation Source #

Constructors

FailedAnnotation 

Fields

Instances

Instances details
Eq FailedAnnotation Source # 
Instance details

Defined in Hedgehog.Internal.Report

Show FailedAnnotation Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> FailedAnnotation -> ShowS

show :: FailedAnnotation -> String

showList :: [FailedAnnotation] -> ShowS

data Style Source #

Instances

Instances details
Eq Style Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

(==) :: Style -> Style -> Bool

(/=) :: Style -> Style -> Bool

Ord Style Source # 
Instance details

Defined in Hedgehog.Internal.Report

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

Defined in Hedgehog.Internal.Report

Methods

showsPrec :: Int -> Style -> ShowS

show :: Style -> String

showList :: [Style] -> ShowS

Semigroup Style Source # 
Instance details

Defined in Hedgehog.Internal.Report

Methods

(<>) :: Style -> Style -> Style #

sconcat :: NonEmpty Style -> Style

stimes :: Integral b => b -> Style -> Style

renderProgress :: MonadIO m => UseColor -> Maybe PropertyName -> Report Progress -> m String Source #

renderResult :: MonadIO m => UseColor -> Maybe PropertyName -> Report Result -> m String Source #

renderSummary :: MonadIO m => UseColor -> Summary -> m String Source #

renderDoc :: MonadIO m => UseColor -> Doc Markup -> m String Source #

ppProgress :: MonadIO m => Maybe PropertyName -> Report Progress -> m (Doc Markup) Source #

ppResult :: MonadIO m => Maybe PropertyName -> Report Result -> m (Doc Markup) Source #

ppSummary :: MonadIO m => Summary -> m (Doc Markup) Source #

fromResult :: Result -> Summary Source #

Construct a summary from a single result.

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