Documentation

type Property a = a -> BoolSource

type Rank = IntSource

type Count = IntegerSource

simpleCheck :: Show a => String -> Property a -> MapRankSuite a -> IO ()Source

simpleTest, simpleReport :: Show a => String -> Property a -> MapRankSuite a -> IO ()Source

type MapRankSuite a = TestSuite Map Rank [] aSource

type TestSuite c k v a = c k (v a)Source

suiteMerge :: (LabelledPartition c k v, Monoid (v a), Ord k) => [TestSuite c k v a] -> TestSuite c k v aSource

type GenInstruct = [(Rank, Count)]Source

genSuite :: Generator a -> GenInstruct -> MapRankSuite aSource

testSuite :: [Generator a] -> [GenInstruct] -> MapRankSuite aSource

stdSuite :: StandardGens a -> StdGen -> Rank -> Count -> MapRankSuite aSource

deepSuite :: StandardGens a -> StdGen -> Rank -> Count -> MapRankSuite aSource

baseSuite :: StandardGens a -> Count -> MapRankSuite aSource

type Generator a = Rank -> [a]Source

class Show a => Testable a whereSource

data StandardGens a Source

stdEnumGens :: Enumerated c => StandardGens (c Label)Source

data Label Source

class Functor c => Enumerated c whereSource

data Enumeration c a Source

listStdGens :: StandardGens [Label]Source

class EnumGC a whereSource

class Structure c whereSource

subst :: Structure c => Generator (c a) -> Generator b -> Generator (c b)Source

substN :: Structure c => Int -> Generator (c a) -> Generator b -> Generator (c b)Source

substAll :: Structure c => Generator (c a) -> Generator b -> Generator (c b)Source

substStdGenN :: Structure c => Int -> StandardGens (c a) -> Generator b -> StandardGens (c b)Source

substStdGenAll :: Structure c => StandardGens (c a) -> Generator b -> StandardGens (c b)Source

class Structure2 c whereSource

subst2 :: Structure2 c => Generator (c a b) -> Generator a' -> Generator b' -> Generator (c a' b')Source

subst2N :: Structure2 c => Int -> Generator (c a b) -> Generator a' -> Generator b' -> Generator (c a' b')Source

subst2StdGen :: Structure2 c => StandardGens (c a b) -> Generator a' -> Generator b' -> StandardGens (c a' b')Source

class Structure3 c whereSource