Agata-0.2.1.1: Generator-generator for QuickCheck

Safe HaskellSafe-Infered

Test.Agata.Strategies

Documentation

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