[Haskell-cafe] QuickCheck-like tests with GHC.Generic deriving

José Pedro Magalhães jpm at cs.uu.nl
Wed Nov 20 08:02:00 UTC 2013


regular <http://hackage.haskell.org/package/regular-0.3.4> has a generic
implementation of Arbitrary that even lets you specify size and
give each constructor a particular frequency (see
If you find it useful, I'm sure it can be ported to the
so that it
works with GHC.Generics (or maybe to some generic-deriving-extras package
to avoid
making generic-deriving depend on QuickCheck).


On Wed, Nov 20, 2013 at 6:57 AM, Alexander Solla <alex.solla at gmail.com>wrote:

> I am looking for a QuickCheck-like test framework which exposes data
> generators (like QuickCheck's Arbitrary class) with Generic defaults.
> I have seen that SmallCheck's Serial class has Generic defaults, but it
> isn't particularly good for my purpose (I'd like to use the generator to
> populate deeply nested data types, and SmallCheck's generator requires
> computing a few million values before I get any interesting ones)
>  Something "random" would be more useful for my purpose.
> I know that the plan depends on my vaguely abusing the test-case
> generator, but I plan on doing some testing anyway, so I figured I should
> reuse the instance.
> That said, I'd be willing to use any random value type class with
> Generic-default instances.
> Does anybody have any suggestions?
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131120/0a02fd9a/attachment-0001.html>

More information about the Haskell-Cafe mailing list