From patchwork Fri Dec 24 19:29:27 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: John Kehayias X-Patchwork-Id: 35642 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 644BF27BBEA; Fri, 24 Dec 2021 19:31:31 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id D7E7B27BBE9 for ; Fri, 24 Dec 2021 19:31:30 +0000 (GMT) Received: from localhost ([::1]:35254 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n0qHq-0006UI-2k for patchwork@mira.cbaines.net; Fri, 24 Dec 2021 14:31:30 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39026) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0qGR-0005ug-Iq for guix-patches@gnu.org; Fri, 24 Dec 2021 14:30:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:54777) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n0qGQ-00061x-TK for guix-patches@gnu.org; Fri, 24 Dec 2021 14:30:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n0qGQ-0007Yq-R6 for guix-patches@gnu.org; Fri, 24 Dec 2021 14:30:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52784] [PATCH 3/5] Update XMonad (and add new dependencies) References: In-Reply-To: Resent-From: John Kehayias Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 24 Dec 2021 19:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52784 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "52784@debbugs.gnu.org" <52784@debbugs.gnu.org> Received: via spool by 52784-submit@debbugs.gnu.org id=B52784.164037417828979 (code B ref 52784); Fri, 24 Dec 2021 19:30:02 +0000 Received: (at 52784) by debbugs.gnu.org; 24 Dec 2021 19:29:38 +0000 Received: from localhost ([127.0.0.1]:38084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n0qG1-0007XK-Ju for submit@debbugs.gnu.org; Fri, 24 Dec 2021 14:29:37 -0500 Received: from mail-4322.protonmail.ch ([185.70.43.22]:42287) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n0qFy-0007Ww-Ax for 52784@debbugs.gnu.org; Fri, 24 Dec 2021 14:29:36 -0500 Date: Fri, 24 Dec 2021 19:29:27 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail2; t=1640374167; bh=FnnYhKVFTQU0c6quzhYdp9e3h2S2ZoYg8SnFo4WaQVI=; h=Date:To:From:Reply-To:Subject:Message-ID:From:To:Cc; b=iuTHkH239+OjIJrWPJ/ASfbjfzl6nFWokO4qiUbFYSScAOvzSVEBXGyxfFMpuFwSV 0CLdwDqiGCsdULTIKCO6HMycCge3sYmj4H/v5RGnjrZvzyCeR2WR7E0moQV2FSrWTb N1Lxwgr+GUEQjT2WQjLfd+GGAQuJpLi6baMKBCnu1yRp8hoaZEuDk5BEpGElAJvRCF OX9nY6/r1F9SO/ERBVDHTnjYNm8Rz9zR2bKfLuYn5mapDGYb7jczSArE66j76+VYVI r5b0abqf6ity3syRSebQJaz4bOQu/fsCxbH05I1Hu+Q0suYn1woC/VNL4Ura4YXRMn i+IJgOxE6gWRg== Message-ID: <1kkjy9LkMD4phCPjYgqUH-wqbJpWbrKFcL7eUQsdg0Q-5i5tC5kayc9M5K_lQfbW2PinIaEIVvWISXbsY3vxbzOg3NBSPlf8kvyi34dcwvU=@protonmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: John Kehayias X-ACL-Warn: , John Kehayias via Guix-patches X-Patchwork-Original-From: John Kehayias via Guix-patches via From: John Kehayias X-getmail-retrieved-from-mailbox: Patches Empty Message From e72e083b36d3ad12aa81ee7cbc325c4f61799187 Mon Sep 17 00:00:00 2001 From: John Kehayias 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 ;;; Copyright © 2020 John Soo ;;; Copyright © 2020 Carlo Holl +;;; Copyright © 2021 John Kehayias ;;; ;;; 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