ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Gen

Synopsis

valuechoose :: Random a => (a, a) -> Gen a

valuechooseAny :: Random a => Gen a

valuechooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a

valuechooseEnum :: Enum a => (a, a) -> Gen a

valuechooseInt :: (Int, Int) -> Gen Int

valuechooseInt64 :: (Int64, Int64) -> Gen Int64

valuechooseInteger :: (Integer, Integer) -> Gen Integer

valuechooseUpTo :: Word64 -> Gen Word64

valuechooseWord64 :: (Word64, Word64) -> Gen Word64

valueelements :: HasCallStack => [a] -> Gen a

valuefrequency :: HasCallStack => [(Int, Gen a)] -> Gen a

valuegenDouble :: Gen Double

valuegenFloat :: Gen Float

valuegenerate :: Gen a -> IO a

valuegetSize :: Gen Int

valuegrowingElements :: HasCallStack => [a] -> Gen a

valueinfiniteListOf :: Gen a -> Gen [a]

valuelistOf :: Gen a -> Gen [a]

valuelistOf1 :: Gen a -> Gen [a]

valueoneof :: HasCallStack => [Gen a] -> Gen a

valueresize :: HasCallStack => Int -> Gen a -> Gen a

valuesample :: Show a => Gen a -> IO ()

valuesample' :: Gen a -> IO [a]

valuescale :: (Int -> Int) -> Gen a -> Gen a

valueshuffle :: [a] -> Gen [a]

valuesized :: (Int -> Gen a) -> Gen a

valuesublistOf :: [a] -> Gen [a]

valuesuchThat :: Gen a -> (a -> Bool) -> Gen a

valuesuchThatMap :: Gen a -> (a -> Maybe b) -> Gen b

valuesuchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)

valuevariant :: Integral n => n -> Gen a -> Gen a

valuevectorOf :: Int -> Gen a -> Gen [a]

newtypenewtype Gen a

Instances5Monad, Functor, MonadFix, Applicative, Testable

Monad GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Gen
Functor GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Gen
MonadFix GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Gen
Applicative GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Gen
Testable prop => Testable (Gen prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property