Kudzu

Documentation

testUntilSameQCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer))

testUntilSameQC :: Testable a => Int -> a -> IO (KudzuResult Integer)

QuickCheck

examineAndCount' :: Testable prop => prop -> Int -> IO Integer

testUntilSameHHMany :: Traversable t => Int -> t Property -> IO (t (KudzuResult Integer))

Hedgehog

testUntilSameHH :: Int -> Property -> IO (KudzuResult Integer)

examineAndCountHH :: Property -> IO Integer

testUntilSameLCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer))

LeanCheck

testUntilSameLC :: Testable a => Int -> a -> IO (KudzuResult Integer)

examineAndCount :: ([String], Bool) -> IO Integer

data KudzuResult a

Constructors

KFail Int

KSuccess Int a

Instances

Show a => Show (KudzuResult a)

Defined in Kudzu

Methods

showsPrec :: Int -> KudzuResult a -> ShowS

show :: KudzuResult a -> String

showList :: [KudzuResult a] -> ShowS

Eq a => Eq (KudzuResult a)

Defined in Kudzu

Methods

(==) :: KudzuResult a -> KudzuResult a -> Bool

(/=) :: KudzuResult a -> KudzuResult a -> Bool

Ord a => Ord (KudzuResult a)

Defined in Kudzu

Methods

compare :: KudzuResult a -> KudzuResult a -> Ordering

(<) :: KudzuResult a -> KudzuResult a -> Bool

(<=) :: KudzuResult a -> KudzuResult a -> Bool

(>) :: KudzuResult a -> KudzuResult a -> Bool

(>=) :: KudzuResult a -> KudzuResult a -> Bool

max :: KudzuResult a -> KudzuResult a -> KudzuResult a

min :: KudzuResult a -> KudzuResult a -> KudzuResult a

grabUntilNSame

Arguments

:: (Monad m, Eq a)

=> Int

How many iterations must be the same?

-> [m a]

a lazy list of iterations

-> m (KudzuResult a)

Keep running property tests until the "amount" of code coverage is the same for N iterations of one test.

tixCount :: TixModule -> Integer

How many regions were executed at least once for this module?

tixModuleCount :: Tix -> Integer

How many regions were executed at least once for all these modules?