checkers-0.5.1: Check properties on standard classes and data structures.

Safe Haskell	Safe
Language	Haskell98

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, Eq a, Num a) => Gen [a]
nondecreasing :: (Arbitrary a, Num a) => Gen [a]
increasingInf :: (Arbitrary a, Eq a, Num a) => Gen [a]
nondecreasingInf :: (Arbitrary a, Num a) => Gen [a]
decreasing :: (Arbitrary a, Eq a, Num a) => Gen [a]
nonincreasing :: (Arbitrary a, Num a) => Gen [a]
decreasingInf :: (Arbitrary a, Eq 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, Eq a, Num a) => Gen [a] Source #

Generate increasing towards infinity

nondecreasing :: (Arbitrary a, Num a) => Gen [a] Source #

Generate nondecreasing values

increasingInf :: (Arbitrary a, Eq 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, Eq a, Num a) => Gen [a] Source #

Generate increasing towards infinity

nonincreasing :: (Arbitrary a, Num a) => Gen [a] Source #

Generate nondecreasing values

decreasingInf :: (Arbitrary a, Eq 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