_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
ghc-hedgehog 1.1.2
Dependencies: ghc-ansi-terminal@0.11.4 ghc-async@2.2.4 ghc-barbies@2.0.4.0 ghc-concurrent-output@1.10.18 ghc-erf@2.0.0.0 ghc-lifted-async@0.10.2.4 ghc-mmorph@1.2.0 ghc-monad-control@1.0.3.1 ghc-pretty-show@1.10 ghc-primitive@0.7.3.0 ghc-random@1.2.1.1 ghc-resourcet@1.2.6 ghc-transformers-base@0.4.6 ghc-wl-pprint-annotated@0.1.0.1
Channel: guix
Location: gnu/packages/haskell-check.scm (gnu packages haskell-check)
Home page: https://hedgehog.qa
Licenses: Modified BSD
Synopsis: Property-based testing in the spirt of QuickCheck
Description:

Hedgehog is a 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

Total results: 1