hedgehog-0.5.2: Hedgehog will eat all your bugs.

Safe HaskellNone
LanguageHaskell98

Hedgehog.Internal.Report

Contents

Synopsis

Report

data Report a Source #

A report on a running or completed property test.

Instances

Functor Report Source # 

Methods

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

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

Foldable Report Source # 

Methods

fold :: Monoid m => Report m -> 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 # 

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 # 

Methods

showsPrec :: Int -> Report a -> ShowS #

show :: Report a -> String #

showList :: [Report a] -> ShowS #

data Progress Source #

The status of a running property test.

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

newtype ShrinkCount Source #

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

Constructors

ShrinkCount Int 

Instances

Enum ShrinkCount Source # 
Eq ShrinkCount Source # 
Integral ShrinkCount Source # 
Num ShrinkCount Source # 
Ord ShrinkCount Source # 
Real ShrinkCount Source # 
Show ShrinkCount Source # 

newtype TestCount Source #

The number of tests a property ran successfully.

Constructors

TestCount Int 

Instances

Enum TestCount Source # 
Eq TestCount Source # 
Integral TestCount Source # 
Num TestCount Source # 
Ord TestCount Source # 
Real TestCount Source # 
Show TestCount Source # 

newtype DiscardCount Source #

The number of tests a property had to discard.

Constructors

DiscardCount Int 

Instances

Enum DiscardCount Source # 
Eq DiscardCount Source # 
Integral DiscardCount Source # 
Num DiscardCount Source # 
Ord DiscardCount Source # 
Real DiscardCount Source # 
Show DiscardCount Source # 

newtype PropertyCount Source #

The number of properties in a group.

Constructors

PropertyCount Int 

Instances

Enum PropertyCount Source # 
Eq PropertyCount Source # 
Integral PropertyCount Source # 
Num PropertyCount Source # 
Ord PropertyCount Source # 
Real PropertyCount Source # 
Show PropertyCount Source # 

fromResult :: Result -> Summary Source #

Construct a summary from a single result.