barecheck: QuickCheck implementations for common types

[ bsd3, deprecated, library, testing ] [ Propose Tags ]

Provides QuickCheck implementations for common types distributed with GHC and in the Haskell Platform. The implementations are NOT provided through the QuickCheck Arbitrary and CoArbitrary typeclasses; instead, they are provided through ordinary, non-overloaded functions. This avoids problems with orphan instances.

Implementations are provided through child modules of the module that provides the original type. For example, for Data.Map, look under Data.Map.Generators, Data.Map.Shrinkers, and Data.Map.Coarbitrary. For instance, a function that generates a Map is at, while a function providing a coarbitrary implementation is at Obviously this can lead to name conflicts, both between modules provided in this package and with other standard modules, so keep this in mind when you do your imports.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,
Dependencies base (>= && <, containers (>= && <0.6), QuickCheck (>=2.7 && <2.9), text (>= && <1.3), time (>=1.4 && <1.6) [details]
License BSD-3-Clause
Copyright Copyright 2014 Omari Norman
Author Omari Norman,
Maintainer Omari Norman,
Category Testing
Home page
Bug tracker
Source repo head: git clone
Uploaded by OmariNorman at 2015-03-20T03:04:56Z
Reverse Dependencies 3 direct, 0 indirect [details]
Downloads 3961 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-03-20 [all 1 reports]