all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Paul van der Walt <paul@denknerd.org>
To: guix-devel@gnu.org
Subject: [PATCH 20/43] gnu: ghc-quickcheck-io: Add variable.
Date: Thu, 15 Oct 2015 14:21:14 +0200	[thread overview]
Message-ID: <1444911697-15515-20-git-send-email-paul@denknerd.org> (raw)
In-Reply-To: <1444911697-15515-1-git-send-email-paul@denknerd.org>

* gnu/packages/haskell.scm (ghc-quickcheck-io): Add variable.
---
 gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index ad6547b..2585c81 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -927,6 +927,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")
-- 
2.6.1

  parent reply	other threads:[~2015-10-15 12:22 UTC|newest]

Thread overview: 59+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-10-15 12:20 [PATCH 01/43] gnu: ghc: Update to 7.10.2 Paul van der Walt
2015-10-15 12:20 ` [PATCH 02/43] gnu: ghc-old-locale: New package for updated GHC Paul van der Walt
2015-10-15 17:18   ` Paul van der Walt
2015-10-15 12:20 ` [PATCH 03/43] gnu: xmonad: Patch to work on new Haskell Platform Paul van der Walt
2015-10-19 13:36   ` Eric Bavier
2015-10-20 13:52     ` Paul van der Walt
2015-10-21 22:08       ` Eric Bavier
2015-10-22 10:13         ` Paul van der Walt
2015-10-15 12:20 ` [PATCH 04/43] gnu: ghc-xmonad-contrib: Update to version 0.11.4 Paul van der Walt
2015-10-19 13:37   ` Eric Bavier
2015-10-20 13:49     ` Paul van der Walt
2015-10-15 12:20 ` [PATCH 05/43] gnu: ghc-dlist: Update to 0.7.1.2 Paul van der Walt
2015-10-15 18:23   ` Efraim Flashner
2015-10-15 19:22     ` Paul van der Walt
2015-10-15 19:30     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 06/43] gnu: ghc-text: Update to 1.2.1.3 Paul van der Walt
2015-10-15 12:21 ` [PATCH 07/43] gnu: ghc-hashable: Update to 1.2.3.3 Paul van der Walt
2015-10-15 12:21 ` [PATCH 08/43] gnu: ghc-primitive: Update to 0.6.1.0 Paul van der Walt
2015-10-15 12:21 ` [PATCH 09/43] gnu: ghc-quickcheck: Update to 2.8.1 Paul van der Walt
2015-10-15 12:21 ` [PATCH 10/43] gnu: ghc-syb: Update to 0.6 Paul van der Walt
2015-10-15 12:21 ` [PATCH 11/43] gnu: ghc-vector: Update to 0.11.0.0 Paul van der Walt
2015-10-15 12:21 ` [PATCH 12/43] gnu: ghc-network: Update to 2.6.2.1 Paul van der Walt
2015-10-15 12:21 ` [PATCH 13/43] gnu: ghc-old-time: Add variable Paul van der Walt
2015-10-16 13:29   ` Efraim Flashner
2015-10-16 14:57     ` Paul van der Walt
2015-10-19 13:46   ` Eric Bavier
2015-10-20 13:48     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 14/43] gnu: ghc-http: Update to 4000.2.20 Paul van der Walt
2015-10-19 13:49   ` Eric Bavier
2015-10-20 13:46     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 15/43] gnu: cabal-install: Update to 1.22.6.0 Paul van der Walt
2015-10-15 12:21 ` [PATCH 16/43] gnu: ghc-ansi-terminal: New variable Paul van der Walt
2015-10-19 13:53   ` Eric Bavier
2015-10-20 13:45     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 17/43] gnu: ghc-containers: Remove variable Paul van der Walt
2015-10-19 14:01   ` Eric Bavier
2015-10-20 13:43     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 18/43] gnu: ghc-async: New variable Paul van der Walt
2015-10-19 14:08   ` Eric Bavier
2015-10-20 13:42     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 19/43] gnu: ghc-setenv: " Paul van der Walt
2015-10-19 14:14   ` Eric Bavier
2015-10-20 13:38     ` Paul van der Walt
2015-10-19 14:20   ` [PATCH 19/43] gnu: Add ghc-stringbuilder Eric Bavier
2015-10-20 13:33     ` Paul van der Walt
2015-10-15 12:21 ` Paul van der Walt [this message]
2015-10-15 12:21 ` [PATCH 21/43] gnu: ghc-transformers-compat: New variables Paul van der Walt
2015-10-19 14:37   ` Eric Bavier
2015-10-20 14:12     ` Paul van der Walt
2015-10-15 12:21 ` [PATCH 22/43] gnu: ghc-hspec: " Paul van der Walt
2015-10-19 14:56   ` [PATCH 032/151] gnu: Add ghc-hspec-discover ericbavier
2015-10-20 13:30     ` Paul van der Walt
2015-10-20  9:59       ` Eric Bavier
2015-10-20 14:57       ` Ludovic Courtès
2015-10-20 15:31         ` Paul van der Walt
2015-10-20 15:18       ` Thompson, David
2015-10-15 12:21 ` [PATCH 23/43] gnu: ghc-regex-base: New variables Paul van der Walt
2015-10-15 12:21 ` [PATCH 24/43] gnu: ghc-split: Update dependencies Paul van der Walt
2015-10-15 12:33 ` [PATCH 01/43] gnu: ghc: Update to 7.10.2 Mathieu Lirzin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1444911697-15515-20-git-send-email-paul@denknerd.org \
    --to=paul@denknerd.org \
    --cc=guix-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.