guix-commits
[Top][All Lists]
Advanced

[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")



reply via email to

[Prev in Thread] Current Thread [Next in Thread]