Alternative f => [f a] -> f a +quickcheck

oneof :: [Gen a] -> Gen a
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Randomly uses one of the given generators. The input list must be non-empty.
MkRose :: a -> [Rose a] -> Rose a
QuickCheck Test.QuickCheck.Property
variant :: Integral n => n -> Gen a -> Gen a
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Modifies a generator using an integer seed.
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.
suchThat :: Gen a -> (a -> Bool) -> Gen a
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Generates a value that satisfies a predicate.
protect :: (AnException -> a) -> IO a -> IO a
QuickCheck Test.QuickCheck.Property
onRose :: (a -> [Rose a] -> Rose a) -> Rose a -> Rose a
QuickCheck Test.QuickCheck.Property
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
getNonNegative :: NonNegative a -> a
QuickCheck Test.QuickCheck.Modifiers, QuickCheck Test.QuickCheck
getNonZero :: NonZero a -> a
QuickCheck Test.QuickCheck.Modifiers, QuickCheck Test.QuickCheck
getPositive :: Positive a -> a
QuickCheck Test.QuickCheck.Modifiers, QuickCheck Test.QuickCheck
protectResult :: IO Result -> IO Result
QuickCheck Test.QuickCheck.Property
protectResults :: Rose Result -> Rose Result
QuickCheck Test.QuickCheck.Property
(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> (Gen a -> Gen a)
QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck
Combine two generator perturbing functions, for example the results of calls to variant or coarbitrary.
bold :: String -> String
QuickCheck Test.QuickCheck.Text
oneLine :: String -> String
QuickCheck Test.QuickCheck.Text
shrinkList :: (a -> [a]) -> [a] -> [[a]]
QuickCheck Test.QuickCheck.Arbitrary
safely :: State -> IO () -> IO ()
QuickCheck Test.QuickCheck.Test
number :: Int -> String -> String
QuickCheck Test.QuickCheck.Text
short :: Int -> String -> String
QuickCheck Test.QuickCheck.Text
formatException :: String -> AnException -> String
QuickCheck Test.QuickCheck.Property
reduceRose :: Rose Result -> IO (Rose Result)
QuickCheck Test.QuickCheck.Property
promote :: Monad m => m (Gen a) -> Gen (m a)
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Promotes a monadic generator to a generator of monadic values.
unGen :: Gen a -> StdGen -> Int -> a
QuickCheck Test.QuickCheck.Gen
forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Explicit universal quantification: uses an explicitly given test case generator.
forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Like forAll, but tries to shrink the argument for failing test cases.