Test.Agata.Strategies

Documentation

type Strategy a = Int -> Dimension a -> Gen (Improving ())

listStrategy :: (Int -> Dimension a -> Gen [Int]) -> Strategy a

linearSize :: Strategy a

linearSize' :: Strategy a

quadraticSize :: Strategy a

quadraticSize' :: Strategy a

partitions :: Strategy a

exponentialSize :: Strategy a

fixedSize :: Strategy a

randomStrategy :: [Strategy a] -> Strategy a