hedgehog-1.0.1: Release with confidence.

Safe HaskellNone
LanguageHaskell98

Hedgehog.Internal.Report

Contents

Synopsis

Report

data Summary Source #

A summary of all the properties executed.

Instances
Show Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

Semigroup Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

Monoid Summary Source # 
Instance details

Defined in Hedgehog.Internal.Report

data Report a Source #

A report on a running or completed property test.

Instances
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 #

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
Eq Progress Source # 
Instance details

Defined in Hedgehog.Internal.Report

Show Progress Source # 
Instance details

Defined in Hedgehog.Internal.Report

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
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

data Style Source #

Instances
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 #

fromResult :: Result -> Summary Source #

Construct a summary from a single result.