guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

314/328: gnu: Add ghc-testing-feat.


From: guix-commits
Subject: 314/328: gnu: Add ghc-testing-feat.
Date: Sat, 16 Nov 2019 19:33:33 -0500 (EST)

samplet pushed a commit to branch wip-haskell-updates
in repository guix.

commit 33501b675e0f516f6cac75557e0f3ecf608a54d7
Author: Timothy Sample <address@hidden>
Date:   Wed Nov 13 00:28:45 2019 -0500

    gnu: Add ghc-testing-feat.
    
    * gnu/packages/haskell-check.scm (ghc-testing-feat): New 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 78b75e0..c6e8946 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -936,3 +936,30 @@ type.  This library is intended to supply these modifiers 
to be used by
 testing libraries, in an effort to make properties more portable between
 testing frameworks.")
     (license license:unlicense)))
+
+(define-public ghc-testing-feat
+  (package
+    (name "ghc-testing-feat")
+    (version "1.1.0.0")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append "https://hackage.haskell.org/package/";
+                            "testing-feat/testing-feat-" version ".tar.gz"))
+        (sha256
+          (base32
+            "1v2qzzpf1s008g7q6q67glf7vbm1pkpq4rc3ii74f4g6vhfx610r"))))
+    (build-system haskell-build-system)
+    (inputs
+      `(("ghc-quickcheck" ,ghc-quickcheck)
+        ("ghc-size-based" ,ghc-size-based)
+        ("ghc-testing-type-modifiers" ,ghc-testing-type-modifiers)
+        ("ghc-semigroups" ,ghc-semigroups)))
+    (home-page "https://github.com/JonasDuregard/testing-feat";)
+    (synopsis "Functional Enumeration of Algebraic Types")
+    (description "Feat (Functional Enumeration of Algebraic Types)
+provides enumerations as functions from natural numbers to
+values (similar to @code{toEnum} but for any algebraic data type).  This
+can be used for SmallCheck-style systematic testing, QuickCheck-style
+random testing, and hybrids of the two.")
+    (license license:bsd-3)))



reply via email to

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