The hedgehog package

[Tags:bsd3, library, test]

Hedgehog is a modern property-based testing system, in the spirit of QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the invariants of generated values by construction.

To get started quickly, see the examples: https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example


[Skip to Readme]

Properties

Versions 0.1
Dependencies ansi-terminal (==0.6.*), async (>=2.0 && <2.2), base (>=3 && <5), bytestring (==0.10.*), concurrent-output (==1.7.*), containers (>=0.4 && <0.6), directory (>=1.2 && <1.4), exceptions (>=0.7 && <0.9), mmorph (==1.0.*), mtl (>=2.1 && <2.3), pretty-show (==1.6.*), primitive (==0.6.*), random (==1.1.*), resourcet (==1.1.*), semigroups (>=0.16 && <0.19), template-haskell (>=2.10 && <2.12), text (>=1.1 && <1.3), th-lift (==0.7.*), time (>=1.4 && <1.9), transformers (>=0.3 && <0.6), transformers-base (==0.4.*), wl-pprint-annotated (==0.0.*) [details]
License BSD3
Author Jacob Stanley
Maintainer Jacob Stanley <jacob@stanley.io>
Category Testing
Home page https://hedgehog.qa
Bug tracker https://github.com/hedgehogqa/haskell-hedgehog/issues
Source repository head: git clone git://github.com/hedgehogqa/haskell-hedgehog.git
Uploaded Sat Apr 8 11:01:00 UTC 2017 by JacobStanley
Distributions NixOS:0.1
Downloads 80 total (80 in the last 30 days)
Votes
1 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for hedgehog

Readme for hedgehog-0.1

hedgehog Hackage version Build Status

Hedgehog will eat all your bugs.

<img src="https://github.com/hedgehogqa/haskell-hedgehog/raw/master/img/hedgehog-logo.png" width="307" align="right"/>

Hedgehog is a modern property-based testing system, in the spirit of QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the invariants of generated values by construction.

Features

  • Integrated shrinking, shrinks obey invariants by construction.
  • Generators allow monadic effects.
  • Range combinators for full control over the scope of generated numbers and collections.
  • Equality and roundtrip assertions show a diff instead of the two inequal values.
  • Template Haskell test runner which executes properties concurrently.