[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
10/13: gnu: Add ghc-hedgehog.
From: |
guix-commits |
Subject: |
10/13: gnu: Add ghc-hedgehog. |
Date: |
Tue, 2 Jul 2019 12:34:05 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 2c4e4bc6583579e0366849d588563d81e9802a0c
Author: Jacob MacDonald <address@hidden>
Date: Fri Jun 7 05:42:59 2019 -0500
gnu: Add ghc-hedgehog.
* gnu/packages/haskell-check.scm (ghc-hedgehog): New variable.
Signed-off-by: Ludovic Courtès <address@hidden>
---
gnu/packages/haskell-check.scm | 44 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 44 insertions(+)
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index 550bb13..9b010fd 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -822,3 +822,47 @@ minimal dependencies.")
cryptographic ciphers, and is used by the test runners of various Haskell
implementations of cryptographic ciphers.")
(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)))
- 03/13: gnu: postgres service: More secure default permissions., (continued)
- 03/13: gnu: postgres service: More secure default permissions., guix-commits, 2019/07/02
- 04/13: gnu: Add chafa., guix-commits, 2019/07/02
- 06/13: gnu: Add ghc-ansi-terminal-0.8., guix-commits, 2019/07/02
- 08/13: gnu: ghc-ansi-terminal: Update to 0.9.1., guix-commits, 2019/07/02
- 07/13: gnu: ghc-ansi-wl-pprint: Use ghc-ansi-terminal-0.8., guix-commits, 2019/07/02
- 05/13: gnu: Add ghc-wl-pprint-annotated., guix-commits, 2019/07/02
- 11/13: gnu: Add ghc-validation., guix-commits, 2019/07/02
- 01/13: derivations: Update 'build-derivations' docstring., guix-commits, 2019/07/02
- 02/13: grafts: 'references-oracle' now takes a derivation input., guix-commits, 2019/07/02
- 09/13: gnu: Add ghc-concurrent-output., guix-commits, 2019/07/02
- 10/13: gnu: Add ghc-hedgehog.,
guix-commits <=
- 12/13: gnu: Add trivial-utf-8., guix-commits, 2019/07/02
- 13/13: gnu: Add emacs-multi-term, guix-commits, 2019/07/02