Modulecheckers-0.6.0Haskell2010

Test.QuickCheck.Instances.List

Synopsis

valueanyList :: Gen a -> Gen [a]

Generates any list (possibly empty) with the contents generated using its argument.

valuenonEmpty :: Gen a -> Gen [a]

Generates a non-empty list with the contents generated using its argument.

valueinfiniteList :: Gen a -> Gen [a]

Generates an infinite list with contents generated using its argument

valuesetLength :: Int -> Gen a -> Gen [a]

Generates a list with a set length

valueincreasing :: (Arbitrary a, Eq a, Num a) => Gen [a]

Generate increasing towards infinity

valuenondecreasing :: (Arbitrary a, Num a) => Gen [a]

Generate nondecreasing values

valueincreasingInf :: (Arbitrary a, Eq a, Num a) => Gen [a]

Generate an infinite list of increasing values

valuenondecreasingInf :: (Arbitrary a, Num a) => Gen [a]

Generate an infinite list of nondecreasing values

valuedecreasing :: (Arbitrary a, Eq a, Num a) => Gen [a]

Generate increasing towards infinity

valuenonincreasing :: (Arbitrary a, Num a) => Gen [a]

Generate nondecreasing values

valuedecreasingInf :: (Arbitrary a, Eq a, Num a) => Gen [a]

Generate an infinite list of increasing values

valuenonincreasingInf :: (Arbitrary a, Num a) => Gen [a]

Generate an infinite list of nondecreasing values