generic-random: Generic random generators

[ generics, library, mit, testing ] [ Propose Tags ]

Please see the README. Note: this package no longer exports Boltzmann samplers by default although they appear below. (Generic.Random.Data, Generic.Random.Boltzmann)

[Skip to Readme]
Versions [faq],,,,,,,,,,,,,
Change log
Dependencies base (>=4.7 && <4.11), boltzmann-samplers (<=0.2), QuickCheck [details]
License MIT
Author Li-yao Xia
Revised Revision 2 made by lyxia at 2017-07-27T21:44:46Z
Category Generics, Testing
Home page
Source repo head: git clone
Uploaded by lyxia at 2017-04-10T15:27:49Z
Distributions Arch:, LTSHaskell:, NixOS:, Stackage:
Downloads 11070 total (411 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-04-10 [all 1 reports]





Dependency on boltzmann-samplers for backwards compatibility.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for generic-random-

[back to package description]

Generic random generators Hackage Build Status

Say goodbye to Constructor <$> arbitrary <*> arbitrary <*> arbitrary-boilerplate.

    {-# LANGUAGE DeriveGeneric #-}

    import GHC.Generics ( Generic )
    import Test.QuickCheck
    import Generic.Random.Generic

    data Tree a = Leaf | Node (Tree a) a (Tree a)
      deriving (Show, Generic)

    instance Arbitrary a => Arbitrary (Tree a) where
      arbitrary = genericArbitrary' Z uniform

    -- Equivalent to
    -- > arbitrary =
    -- >   sized $ \n ->
    -- >     if n == 0 then
    -- >       return Leaf
    -- >     else
    -- >       oneof
    -- >         [ return Leaf
    -- >         , Node <$> arbitrary <*> arbitrary <*> arbitrary
    -- >         ]

    main = sample (arbitrary :: Gen (Tree ()))
  • User-specified distribution of constructors, with a compile-time check that weights have been specified for all constructors.
  • A simple (optional) strategy to ensure termination: Test.QuickCheck.Gen's size parameter decreases at every recursive genericArbitrary' call; when it reaches zero, sample directly from a finite set of finite values.