Int -> [a] -> a +quickcheck

Smart :: Int -> a -> Smart a
QuickCheck Test.QuickCheck.Modifiers, QuickCheck Test.QuickCheck
number :: Int -> String -> String
QuickCheck Test.QuickCheck.Text
short :: Int -> String -> String
QuickCheck Test.QuickCheck.Text
computeSize :: State -> Int -> Int -> Int
QuickCheck Test.QuickCheck.State
how to compute the size of test cases from discarded tests
unGen :: Gen a -> StdGen -> Int -> a
QuickCheck Test.QuickCheck.Gen
within :: Testable prop => Int -> prop -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Considers a property failed if it does not complete within the given number of microseconds.
resize :: Int -> Gen a -> Gen a
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Overrides the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter.
cover :: Testable prop => Bool -> Int -> String -> prop -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Checks that at least the given proportion of the test cases belong to the given class.
variant :: Integral n => n -> Gen a -> Gen a
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Modifies a generator using an integer seed.
coarbitraryShow :: Show a => a -> Gen b -> Gen b
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
coarbitrary helper for lazy people (:-).)
coarbitraryReal :: Real a => a -> Gen b -> Gen b
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
A coarbitrary implementation for real numbers.
coarbitraryIntegral :: Integral a => a -> Gen b -> Gen b
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
A coarbitrary implementation for integral numbers.
coarbitraryEnum :: Enum a => a -> Gen b -> Gen b
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
A coarbitrary implementation for enums.
coarbitrary :: CoArbitrary a => a -> Gen c -> Gen c
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
(.&&.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.
(.&.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.
(.||.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Disjunction: p1 .||. p2 passes unless p1 and p2 simultaneously fail.
collect :: (Show a, Testable prop) => a -> prop -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Labels a property with a value: > collect x = label (show x)
ranges :: (Show a, Integral a) => a -> a -> Str
QuickCheck Test.QuickCheck.Text, QuickCheck Test.QuickCheck