gnu: Add ghc-hedgehog.

* gnu/packages/haskell-check.scm (ghc-hedgehog): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Jacob MacDonald 2019-06-07 05:42:59 -05:00 committed by Ludovic Courtès
parent 3c69d462ce
commit 2c4e4bc658
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 44 additions and 0 deletions

View File

@ -822,3 +822,47 @@ minimal dependencies.")
cryptographic ciphers, and is used by the test runners of various Haskell cryptographic ciphers, and is used by the test runners of various Haskell
implementations of cryptographic ciphers.") implementations of cryptographic ciphers.")
(license license:bsd-3))) (license license:bsd-3)))
(define-public ghc-hedgehog
(package
(name "ghc-hedgehog")
(version "0.6.1")
(source
(origin
(method url-fetch)
(uri (string-append
"mirror://hackage/package/hedgehog/hedgehog-"
version
".tar.gz"))
(sha256
(base32
"0xz10ycdm5vk9nrcym1fi83k19frfwqz18bz8bnpzwvaj0j41yfj"))))
(build-system haskell-build-system)
(inputs
`(("ghc-ansi-terminal" ,ghc-ansi-terminal-0.8)
("ghc-async" ,ghc-async)
("ghc-concurrent-output" ,ghc-concurrent-output)
("ghc-exceptions" ,ghc-exceptions)
("ghc-lifted-async" ,ghc-lifted-async)
("ghc-mmorph" ,ghc-mmorph)
("ghc-monad-control" ,ghc-monad-control)
("ghc-pretty-show" ,ghc-pretty-show)
("ghc-primitive" ,ghc-primitive)
("ghc-random" ,ghc-random)
("ghc-resourcet" ,ghc-resourcet)
("ghc-semigroups" ,ghc-semigroups)
("ghc-stm" ,ghc-stm)
("ghc-th-lift" ,ghc-th-lift)
("ghc-transformers-base" ,ghc-transformers-base)
("ghc-wl-pprint-annotated"
,ghc-wl-pprint-annotated)))
(home-page "https://hedgehog.qa")
(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:
@uref{https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example}")
(license license:bsd-3)))