Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Gen

1 type
32 values

PackageQuickCheck-2.19.0.0
Exports33
LicenceBSD-3-Clause

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

Constructors

MkGen
- unGen :: QCGen -> Int -> 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