checkers-0.2.5: Check properties on standard classes and data structures.Source codeContentsIndex
Test.QuickCheck.Instances.List
Synopsis
anyList :: Gen a -> Gen [a]
nonEmpty :: Gen a -> Gen [a]
infiniteList :: Gen a -> Gen [a]
setLength :: Int -> Gen a -> Gen [a]
increasing :: (Arbitrary a, Num a) => Gen [a]
nondecreasing :: (Arbitrary a, Num a) => Gen [a]
increasingInf :: (Arbitrary a, Num a) => Gen [a]
nondecreasingInf :: (Arbitrary a, Num a) => Gen [a]
decreasing :: (Arbitrary a, Num a) => Gen [a]
nonincreasing :: (Arbitrary a, Num a) => Gen [a]
decreasingInf :: (Arbitrary a, Num a) => Gen [a]
nonincreasingInf :: (Arbitrary a, Num a) => Gen [a]
Documentation
anyList :: Gen a -> Gen [a]Source
Generates any list (possibly empty) with the contents generated using its argument.
nonEmpty :: Gen a -> Gen [a]Source
Generates a non-empty list with the contents generated using its argument.
infiniteList :: Gen a -> Gen [a]Source
Generates an infinite list with contents generated using its argument
setLength :: Int -> Gen a -> Gen [a]Source
Generates a list with a set length
increasing :: (Arbitrary a, Num a) => Gen [a]Source
Generate increasing towards infinity
nondecreasing :: (Arbitrary a, Num a) => Gen [a]Source
Generate nondecreasing values
increasingInf :: (Arbitrary a, Num a) => Gen [a]Source
Generate an infinite list of increasing values
nondecreasingInf :: (Arbitrary a, Num a) => Gen [a]Source
Generate an infinite list of nondecreasing values
decreasing :: (Arbitrary a, Num a) => Gen [a]Source
Generate increasing towards infinity
nonincreasing :: (Arbitrary a, Num a) => Gen [a]Source
Generate nondecreasing values
decreasingInf :: (Arbitrary a, Num a) => Gen [a]Source
Generate an infinite list of increasing values
nonincreasingInf :: (Arbitrary a, Num a) => Gen [a]Source
Generate an infinite list of nondecreasing values
Produced by Haddock version 2.7.2