Agata-0.2.1: Generator-generator for QuickCheck
Test.Agata.Strategies
type Strategy a = Int -> Dimension a -> Gen (Improving ())Source
listStrategy :: (Int -> Dimension a -> Gen [Int]) -> Strategy aSource
linearSize :: Strategy aSource
linearSize' :: Strategy aSource
quadraticSize :: Strategy aSource
quadraticSize' :: Strategy aSource
partitions :: Strategy aSource
exponentialSize :: Strategy aSource
fixedSize :: Strategy aSource
randomStrategy :: [Strategy a] -> Strategy aSource