[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
24/153: gnu: Add ghc-quickcheck-io.
From: |
Paul |
Subject: |
24/153: gnu: Add ghc-quickcheck-io. |
Date: |
Wed, 21 Oct 2015 16:07:13 +0000 |
toothbrush pushed a commit to branch wip-haskell-platform-7.10.2-a
in repository guix.
commit 9a3db89efff8748c3e93c3f115ac21080c16e13b
Author: Paul van der Walt <address@hidden>
Date: Thu Oct 15 00:00:30 2015 +0200
gnu: Add ghc-quickcheck-io.
* gnu/packages/haskell.scm (ghc-quickcheck-io): Add variable.
---
gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
1 files changed, 25 insertions(+), 0 deletions(-)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 0c0fac0..61c4fb3 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -920,6 +920,31 @@ the paper \"Splittable Pseudorandom Number Generators
Using Cryptographic
Hashing\" by Claessen, Pałka for details and the rationale of the design.")
(license bsd-3)))
+(define-public ghc-quickcheck-io
+ (package
+ (name "ghc-quickcheck-io")
+ (version "0.1.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/quickcheck-io/quickcheck-io-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "1kf1kfw9fsmly0rvzvdf6jvdw10qhkmikyj0wcwciw6wad95w9sh"))))
+ (build-system haskell-build-system)
+ (inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-hunit" ,ghc-hunit)))
+ (home-page
+ "https://github.com/hspec/quickcheck-io#readme")
+ (synopsis "Use HUnit assertions as QuickCheck properties")
+ (description "This package provides an orphan instance that allows you to
+use HUnit assertions as QuickCheck properties.")
+ (license expat)))
+
(define-public ghc-quickcheck
(package
(name "ghc-quickcheck")
- branch wip-haskell-platform-7.10.2-a created (now c8197bd), Paul, 2015/10/21
- 04/153: gnu: Add ghc-old-locale., Paul, 2015/10/21
- 07/153: gnu: ghc-xmonad-contrib: Update to version 0.11.4., Paul, 2015/10/21
- 16/153: gnu: ghc-network: Update to 2.6.2.1., Paul, 2015/10/21
- 19/153: gnu: Add ghc-ansi-terminal., Paul, 2015/10/21
- 22/153: gnu: Add ghc-setenv., Paul, 2015/10/21
- 24/153: gnu: Add ghc-quickcheck-io.,
Paul <=
- 08/153: gnu: ghc-dlist: Update to 0.7.1.2., Paul, 2015/10/21
- 09/153: gnu: ghc-dlist: Enable tests., Paul, 2015/10/21
- 15/153: gnu: ghc-vector: Update to 0.11.0.0., Paul, 2015/10/21
- 34/153: gnu: Add ghc-regex-base., Paul, 2015/10/21
- 31/153: gnu: Add ghc-hspec-meta., Paul, 2015/10/21
- 25/153: gnu: Add ghc-transformers-compat., Paul, 2015/10/21
- 12/153: gnu: ghc-primitive: Update to 0.6.1.0., Paul, 2015/10/21
- 26/153: gnu: Add ghc-exceptions., Paul, 2015/10/21
- 23/153: gnu: Add ghc-stringbuilder., Paul, 2015/10/21
- 13/153: gnu: ghc-quickcheck: Update to 2.8.1., Paul, 2015/10/21