[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/14: gnu: Add ghc-quickcheck-assertions.
From: |
guix-commits |
Subject: |
06/14: gnu: Add ghc-quickcheck-assertions. |
Date: |
Sun, 4 Jul 2021 11:56:09 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit e3ae9bf75ba61c5b9bc5c75cb18f247668abe954
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sun Jul 4 14:36:03 2021 +0200
gnu: Add ghc-quickcheck-assertions.
* gnu/packages/haskell-check.scm (ghc-quickcheck-assertions): New public
variable.
---
gnu/packages/haskell-check.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index e741d49..a200c1b 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -515,6 +515,33 @@ hold in a large number of randomly generated cases.
Specifications are
expressed in Haskell, using combinators defined in the QuickCheck library.")
(license license:bsd-3)))
+(define-public ghc-quickcheck-assertions
+ (package
+ (name "ghc-quickcheck-assertions")
+ (version "0.3.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://hackage.haskell.org/package/"
+ "quickcheck-assertions/"
+ "quickcheck-assertions-" version ".tar.gz"))
+ (sha256
+ (base32 "1kyam4cy7qmnizjwjm8jamq43w7f0fs6ljfplwj0ib6wi2kjh0wv"))))
+ (build-system haskell-build-system)
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)))
+ (inputs
+ `(("ghc-ieee754" ,ghc-ieee754)
+ ("ghc-pretty-show" ,ghc-pretty-show)
+ ("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "https://github.com/s9gf4ult/quickcheck-assertions")
+ (synopsis "HUnit-like assertions for QuickCheck")
+ (description
+ "This Haskell library provides convenient assertions with pretty-printed
+failure messages for QuickCheck properties, that are similar to those of
+HUnit.")
+ (license license:lgpl3)))
+
(define-public ghc-test-framework
(package
(name "ghc-test-framework")
- branch master updated (d9c4009 -> 9e63baf), guix-commits, 2021/07/04
- 01/14: gnu: Add ghc-config-ini., guix-commits, 2021/07/04
- 02/14: gnu: Add ghc-data-clist., guix-commits, 2021/07/04
- 08/14: gnu: abiword: Update to 3.0.5., guix-commits, 2021/07/04
- 09/14: gnu: tarlz: Update to 0.21., guix-commits, 2021/07/04
- 14/14: gnu: procenv: Update to 0.58., guix-commits, 2021/07/04
- 11/14: gnu: lynis: Update to 3.0.5., guix-commits, 2021/07/04
- 03/14: gnu: Add ghc-text-zipper., guix-commits, 2021/07/04
- 06/14: gnu: Add ghc-quickcheck-assertions.,
guix-commits <=
- 07/14: gnu: nanovna-saver: Update to 0.3.9., guix-commits, 2021/07/04
- 10/14: gnu: faudio: Update to 21.07., guix-commits, 2021/07/04
- 04/14: gnu: Add ghc-finite-typelits., guix-commits, 2021/07/04
- 05/14: gnu: Add ghc-test-framework-smallcheck., guix-commits, 2021/07/04
- 13/14: gnu: perl-email-abstract: Update to 3.009., guix-commits, 2021/07/04
- 12/14: gnu: reuse: Update to 0.13.0., guix-commits, 2021/07/04