Ivory.QuickCheck.Arbitrary

Arbitrary instances for Ivory and helper functions.

Documentation

integralArb :: (Integral a, Num b) => Gen a -> Gen b

sampleStoredLabel :: (Arbitrary a, IvoryInit a) => Label sym (Stored a) -> Gen (InitStruct sym)

Random struct label (of Stored values) initializer.

mkSamples :: Int -> Gen a -> IvoryGen [a]

Take a random number generator seed, a number of items to produce, and a generator and produces an increasingly bounded list of items.