Alternative f => [f a] -> f a -containers -base +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

Show more results