guix-commits
[Top][All Lists]
Advanced

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

311/329: gnu: Add ghc-testing-type-modifiers.


From: guix-commits
Subject: 311/329: gnu: Add ghc-testing-type-modifiers.
Date: Wed, 20 Nov 2019 21:18:53 -0500 (EST)

samplet pushed a commit to branch master
in repository guix.

commit d8e4b750e19e3a619f0b6dee0eefb6c82f622fc0
Author: Timothy Sample <address@hidden>
Date:   Wed Nov 13 00:28:22 2019 -0500

    gnu: Add ghc-testing-type-modifiers.
    
    * gnu/packages/haskell-check.scm (ghc-testing-type-modifiers): New
    variable.
---
 gnu/packages/haskell-check.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index 4942278..78b75e0 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -10,6 +10,7 @@
 ;;; Copyright © 2017, 2018 Tobias Geerinckx-Rice <address@hidden>
 ;;; Copyright © 2018 Tonton <address@hidden>
 ;;; Copyright © 2018 Arun Isaac <address@hidden>
+;;; Copyright © 2019 Timothy Sample <address@hidden>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -912,3 +913,26 @@ To get started quickly, see the examples:
 configuration.  This library provides the common bits for writing custom
 @file{Setup.hs} files.")
     (license license:bsd-3)))
+
+(define-public ghc-testing-type-modifiers
+  (package
+    (name "ghc-testing-type-modifiers")
+    (version "0.1.0.1")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append "https://hackage.haskell.org/package/";
+                            "testing-type-modifiers/testing-type-modifiers-"
+                            version ".tar.gz"))
+        (sha256
+          (base32
+            "1wh2n95n39ivv6kbqn42vbzrj8zagsmk6f2al2qj40bg5kgdl2q5"))))
+    (build-system haskell-build-system)
+    (home-page "https://hackage.haskell.org/package/testing-type-modifiers";)
+    (synopsis "Data type modifiers for property based testing")
+    (description "Property based testing libraries such as QuickCheck tend to
+include type modifiers.  Most of them are used to quantify over subsets of a
+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)))



reply via email to

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