Safe Haskell | Safe-Infered |
---|
Documentation
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
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
data StandardGens a Source
stdEnumGens :: Enumerated c => StandardGens (c Label)Source
class Functor c => Enumerated c whereSource
enumeration :: Enumeration c LabelSource
enumFromTo :: (Integer, Integer) -> Enumeration c LabelSource
data Enumeration c a Source
Functor c => Functor (Enumeration c) |
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
substitute2 :: c a b -> [a'] -> [b'] -> (Maybe (c a' b'), [a'], [b'])Source
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
substitute3 :: c a1 a2 a3 -> [a1'] -> [a2'] -> [a3'] -> (Maybe (c a1' a2' a3'), [a1'], [a2'], [a3'])Source