The barecheck package

[Tags: bsd3, library]

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.


Dependenciesbase (>= && <, containers (>= && <0.6), QuickCheck (>=2.6 && <2.8), text (>= && <1.3), time (>=1.4 && <1.6)
CopyrightCopyright 2014 Omari Norman
AuthorOmari Norman,
MaintainerOmari Norman,
Home page
Bug tracker
Source repositoryhead: git clone
UploadedMon Nov 24 02:54:51 UTC 2014 by OmariNorman
DistributionsLTSHaskell:, NixOS:, Stackage:
Downloads344 total (82 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




oldquickcheckUse QuickCheck 2.6Disabled

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


Maintainers' corner

For package maintainers and hackage trustees