Module Arbitrary

This module is undocumented. This is a list of its definitions.

Gen :: (Integer -> <Random> a) -> Gen a
arbitrary :: Arbitrary a => Gen a
arbitraryEither :: Gen a -> Gen b -> Gen (Either a b)
arbitraryElement :: [a] -> Gen a
arbitraryFixedSizeList :: Integer -> Gen a -> Gen [a]
arbitraryFixedSizeVector :: VecComp a => Integer -> Gen a -> Gen (Vector a)
arbitraryIdentifier :: Gen String

Generates a random string that is a valid SCL or Java identifier

arbitraryList :: Gen a -> Gen [a]
arbitraryMaybe :: Gen a -> Gen (Maybe a)
arbitraryResized :: (Integer -> Integer) -> Gen a -> Gen a
arbitraryTuple2 :: Gen a -> Gen b -> Gen (a, b)
arbitraryTuple3 :: Gen a -> Gen b -> Gen c -> Gen (a, b, c)
arbitraryTuple4 :: Gen a -> Gen b -> Gen c -> Gen d -> Gen (a, b, c, d)
arbitraryTuple5 :: Gen a -> Gen b -> Gen c -> Gen d -> Gen e -> Gen (a, b, c, d, e)
arbitraryTuple6 :: Gen a -> Gen b -> Gen c -> Gen d -> Gen e -> Gen f -> Gen (a, b, c, d, e, f)
arbitraryVector :: VecComp a => Gen a -> Gen (Vector a)
genRandom :: <Random> a -> Gen a
randomCharacter :: <Random> Character
randomIdentifierCharacter :: <Random> Character
randomIdentifierFirstCharacter :: <Random> Character
runGen :: Gen a -> Integer -> <Random> a
variateSeed :: CoArbitrary a => Integer -> Long -> a -> Long