From: John Kehayias via Guix-patches via <guix-patches@gnu.org>
To: "52784@debbugs.gnu.org" <52784@debbugs.gnu.org>
Subject: [bug#52784] [PATCH 3/5] Update XMonad (and add new dependencies)
Date: Fri, 24 Dec 2021 19:29:27 +0000 [thread overview]
Message-ID: <1kkjy9LkMD4phCPjYgqUH-wqbJpWbrKFcL7eUQsdg0Q-5i5tC5kayc9M5K_lQfbW2PinIaEIVvWISXbsY3vxbzOg3NBSPlf8kvyi34dcwvU=@protonmail.com> (raw)
In-Reply-To: <Za9d3f8yx-cBVXBqMap5HWIudwcVR6SvNkO_m2pQ5pPNM9UE4C4pqLBuUJpUOG8AoCVwVztLo84Rtt-kXRU5dq8qYZ4P8g5Uj1K1_C3AwJU=@protonmail.com>
[-- Attachment #1: Type: text/plain, Size: 13 bytes --]
Empty Message
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0003-gnu-Add-ghc-quickcheck-classes.patch --]
[-- Type: text/x-patch; name=0003-gnu-Add-ghc-quickcheck-classes.patch, Size: 3157 bytes --]
From e72e083b36d3ad12aa81ee7cbc325c4f61799187 Mon Sep 17 00:00:00 2001
From: John Kehayias <john.kehayias@protonmail.com>
Date: Fri, 24 Dec 2021 13:52:16 -0500
Subject: [PATCH 3/5] gnu: Add ghc-quickcheck-classes.
* gnu/packages/haskell-check.scm (ghc-quickcheck-classes): New variable.
---
gnu/packages/haskell-check.scm | 46 ++++++++++++++++++++++++++++++++++
1 file changed, 46 insertions(+)
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index e647d65a89..62433cdb15 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -13,6 +13,7 @@
;;; Copyright © 2019 Timothy Sample <samplet@ngyro.com>
;;; Copyright © 2020 John Soo <jsoo1@asu.edu>
;;; Copyright © 2020 Carlo Holl <carloholl@gmail.com>
+;;; Copyright © 2021 John Kehayias <john.kehayias@protonmail.com>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -32,6 +33,7 @@
(define-module (gnu packages haskell-check)
#:use-module (gnu packages)
#:use-module (gnu packages haskell-crypto)
+ #:use-module (gnu packages haskell-web)
#:use-module (gnu packages haskell-xyz)
#:use-module (guix build-system haskell)
#:use-module (guix download)
@@ -1056,6 +1058,50 @@ (define-public ghc-inspection-testing
examples and more information.")
(license license:expat)))
+(define-public ghc-quickcheck-classes
+ (package
+ (name "ghc-quickcheck-classes")
+ (version "0.6.5.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://hackage.haskell.org/package/quickcheck-classes/quickcheck-classes-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32 "19iw15mvb7gws3ljdxqwsbb4pmfc0sfflf8szgmrhiqr3k82mqv2"))))
+ (build-system haskell-build-system)
+ (inputs
+ (list ghc-quickcheck
+ ghc-primitive
+ ghc-primitive-addr
+ ghc-quickcheck-classes-base
+ ghc-aeson
+ ghc-semigroupoids
+ ghc-semirings
+ ghc-vector))
+ (native-inputs
+ (list ghc-base-orphans
+ ghc-tagged
+ ghc-base-orphans
+ ghc-tagged
+ ghc-tasty
+ ghc-tasty-quickcheck))
+ (home-page "https://github.com/andrewthad/quickcheck-classes#readme")
+ (synopsis "QuickCheck common typeclasses")
+ (description
+ "This library provides QuickCheck properties to ensure that typeclass
+instances adhere to the set of laws that they are supposed to. There are
+other libraries that do similar things, such as @code{genvalidity-hspec} and
+@code{checkers}. This library differs from other solutions by not introducing
+any new typeclasses that the user needs to learn. /Note:/ on GHC < 8.5, this
+library uses the higher-kinded typeclasses (@code{Data.Functor.Classes.Show1},
+@code{Data.Functor.Classes.Eq1}, @code{Data.Functor.Classes.Ord1}, etc.), but
+on GHC >= 8.5, it uses @code{-XQuantifiedConstraints} to express these
+constraints more cleanly.")
+ (license license:bsd-3)))
+
(define-public ghc-quickcheck-classes-base
(package
(name "ghc-quickcheck-classes-base")
--
2.34.1
next prev parent reply other threads:[~2021-12-24 19:31 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-24 19:22 [bug#52784] [PATCH 0/5] Update XMonad (and add new dependencies) John Kehayias via Guix-patches via
2021-12-24 19:28 ` [bug#52784] [PATCH 1/5] " John Kehayias via Guix-patches via
2021-12-24 19:29 ` [bug#52784] [PATCH 2/5] " John Kehayias via Guix-patches via
2021-12-24 19:29 ` John Kehayias via Guix-patches via [this message]
2021-12-24 19:29 ` [bug#52784] [PATCH 4/5] " John Kehayias via Guix-patches via
2021-12-24 19:30 ` [bug#52784] [PATCH 5/5] " John Kehayias via Guix-patches via
2021-12-28 10:24 ` [bug#52784] [PATCH 0/5] " Lars-Dominik Braun
2021-12-28 19:15 ` John Kehayias via Guix-patches via
2022-01-10 1:54 ` [bug#52784] [PATCH 4/5 v2] Add xmonad-next and ghc-xmonad-contrib-next John Kehayias via Guix-patches via
2022-01-15 10:38 ` Lars-Dominik Braun
2022-01-15 18:49 ` John Kehayias via Guix-patches via
2022-01-17 19:32 ` bug#52784: " Lars-Dominik Braun
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='1kkjy9LkMD4phCPjYgqUH-wqbJpWbrKFcL7eUQsdg0Q-5i5tC5kayc9M5K_lQfbW2PinIaEIVvWISXbsY3vxbzOg3NBSPlf8kvyi34dcwvU=@protonmail.com' \
--to=guix-patches@gnu.org \
--cc=52784@debbugs.gnu.org \
--cc=john.kehayias@protonmail.com \
/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 public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).