From patchwork Wed Jun 14 12:48:41 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50887 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 7A3C727BBEA; Wed, 14 Jun 2023 13:50:11 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 B705D27BBE2 for ; Wed, 14 Jun 2023 13:50:10 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0006cg-6q; Wed, 14 Jun 2023 08:50:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwp-0006bx-Oh for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwp-0004uc-FK for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwo-00039L-I3; Wed, 14 Jun 2023 08:50:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 01/19] gnu: Add ghc-proctest Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674697211950 (code B ref 64066); Wed, 14 Jun 2023 12:50:02 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:32 +0000 Received: from localhost ([127.0.0.1]:43996 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwJ-00036g-Fw for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:31 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:20977) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwG-00036Q-Uk for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:30 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 25C8F18000BF; Wed, 14 Jun 2023 08:49:22 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 3BFBF18000A0; Wed, 14 Jun 2023 08:49:20 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746962; bh=ynkl9YjnfUE5pFyLhKf2CnpRAX5Oa1uA7TgIgflW0ck=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=eP8rOebz2AhFaLa+0O/7jrJ9Cvz7vJaUdzLjiHyftw4vgADaZd8HxGOGlPuSYy2Cz fg09mEjoKtxzM/xMozLCZXaRWvBalbxa1s1atJ4IAiKh/wrbGKdhvz8PKnWTXrwQa2 VrhnuVSFpiLWg+/m00D56GVyWfyIv41pMcMH86kcr8DFf4a76Dirna91dRlvKzDapT fi0xlc/3KfjsarcggJHttjGXOJghW93JZPacN2WGx3f4QzxEEoX4LwR3UYPsiirP6q a3M51+WhhV/h0nh15ruBwiVgr5o1WTYolnT7ALE8Ns20iqPnOPHiNL1juwdSDvsS2T 1Lx2Z/yugVyMw== From: zamfofex Date: Wed, 14 Jun 2023 09:48:41 -0300 Message-Id: <044ffb474529e534682f660d60becd3b124392b1.1686746568.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-check.scm (ghc-proctest): New variable. --- gnu/packages/haskell-check.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm index da05582400..43c654b24f 100644 --- a/gnu/packages/haskell-check.scm +++ b/gnu/packages/haskell-check.scm @@ -14,6 +14,7 @@ ;;; Copyright © 2020 John Soo ;;; Copyright © 2020 Carlo Holl ;;; Copyright © 2021 John Kehayias +;;; Copyright © 2023 zamfofex ;;; ;;; This file is part of GNU Guix. ;;; @@ -1180,3 +1181,25 @@ (define-public ghc-tasty-inspection-testing "Integrate @@inspection-testing@@ into @@tasty@@ test suites.") (license license:expat))) +(define-public ghc-proctest + (package + (name "ghc-proctest") + (version "0.1.3.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "proctest" version)) + (sha256 + (base32 + "02iz323arx9zwclvspgaaqz81bp6jdnj89pjm08n2gamg39zsbdn")))) + (build-system haskell-build-system) + (properties '((upstream-name . "proctest"))) + (inputs (list ghc-hunit ghc-hspec ghc-quickcheck)) + (home-page "https://github.com/nh2/proctest") + (synopsis "An IO library for testing interactive command line programs") + (description + "An IO library for testing interactive command line programs. Proctest aims to +simplify interacting with and testing terminal programs, providing convenience +functions for starting programs and reading their output. All blocking operations +support timeouts so that misbehaving programs cannot block your test pipeline. Find +more examples and contribute at .") + (license license:expat))) From patchwork Wed Jun 14 12:48:42 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50893 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 BDC9827BBEA; Wed, 14 Jun 2023 13:50:56 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 3370627BBE2 for ; Wed, 14 Jun 2023 13:50:56 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0006ci-Ab; Wed, 14 Jun 2023 08:50:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwq-0006c7-08 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwp-0004wa-MI for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwp-00039X-C4; Wed, 14 Jun 2023 08:50:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 02/19] gnu: Add ghc-hscolour Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674697411965 (code B ref 64066); Wed, 14 Jun 2023 12:50:03 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:34 +0000 Received: from localhost ([127.0.0.1]:43999 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwL-00036v-Ve for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:34 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:17060) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwJ-00036T-NE for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:32 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id B4D3618002C1; Wed, 14 Jun 2023 08:49:25 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id CDAFC18002C0; Wed, 14 Jun 2023 08:49:22 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746965; bh=2k07fWUEQ97PXFKJFmv6FtAjAehGCia4NnEvFvwRnpQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=AR9rjLzHL/NF2aDgbZEkUVdq3nKD2adkyNdap/GABtaWYWpLfl/kFJtWVjAbvgIum oslfLPSZhuMboohOl3gFNBSKK79IsebZighPIdisGnr2d7Z12pUaWklp/cKKdgoaSi 51EX5h/C5LwRYDYAWqe1rFl1SMGrwhEZmjQxOFU2q2HmciVJXsHq0yVBB9fKRjj6d9 v4KqofaK0B1EJFpvojiUu/qVJzmK8TTGe7zBTJGQitjrTjp0MISKLat+4fc0gONeul 5BXIbF3uN3KfqaXNJOtqY5fKOe9TrJEWNAxvdmy8bnxPq5GH3RglRXLrjggO59+LLD DARvRBCyWNzuA== From: zamfofex Date: Wed, 14 Jun 2023 09:48:42 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-hscolour): New variable. --- gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index a819698710..2a4def30ff 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -32,6 +32,7 @@ ;;; Copyright © 2021 John Kehayias ;;; Copyright © 2022 jgart ;;; Copyright © 2023 Josselin Poiret +;;; Copyright © 2023 zamfofex ;;; ;;; This file is part of GNU Guix. ;;; @@ -2047,6 +2048,27 @@ (define-public ghc-colour supported. A module of colour names (\"Data.Colour.Names\") is provided.") (license license:expat))) +(define-public ghc-hscolour + (package + (name "ghc-hscolour") + (version "1.24.4") + (source (origin + (method url-fetch) + (uri (hackage-uri "hscolour" version)) + (sha256 + (base32 + "079jwph4bwllfp03yfr26s5zc6m6kw3nhb1cggrifh99haq34cr4")))) + (build-system haskell-build-system) + (properties '((upstream-name . "hscolour"))) + (home-page "http://code.haskell.org/~malcolm/hscolour/") + (synopsis "Colourise Haskell code.") + (description + "hscolour is a small Haskell script to colourise Haskell code. It currently has +six output formats: ANSI terminal codes (optionally XTerm-256colour codes), HTML +3.2 with tags, HTML 4.01 with CSS, HTML 4.01 with CSS and mouseover +annotations, XHTML 1.0 with inline CSS styling, LaTeX, and mIRC chat codes.") + (license license:lgpl2.1))) + (define-public ghc-comonad (package (name "ghc-comonad") From patchwork Wed Jun 14 12:48:43 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50890 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 0A3BC27BBEA; Wed, 14 Jun 2023 13:50:40 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,TVD_SPACE_RATIO, URIBL_BLOCKED autolearn=ham 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 96FA827BBE2 for ; Wed, 14 Jun 2023 13:50:39 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0006co-KJ; Wed, 14 Jun 2023 08:50:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwq-0006cX-ML for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwq-0004z1-CV for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwq-00039m-3a; Wed, 14 Jun 2023 08:50:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 03/19] gnu: Add ghc-constraints-extras Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674697711981 (code B ref 64066); Wed, 14 Jun 2023 12:50:04 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:37 +0000 Received: from localhost ([127.0.0.1]:44002 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwP-00037A-BX for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:37 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:15152) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwN-00036e-M5 for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:36 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 649DC18000AB; Wed, 14 Jun 2023 08:49:29 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 802AF18000BE; Wed, 14 Jun 2023 08:49:26 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746969; bh=bDwAx6vVwgm3L18oW1jXuEsva0xLRGDJKdkR/cHUbWs=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=EPE8zy+yPXoMcQJqdsiOHx6+/9yrQDDyElOK7gy0XUDechaq47TDNaSGJiFI3eeAl yPErVuRk04qZtkO2AAZU5R3i9e60LbQ/nm4Toj+AE1qixsRxU/sUc2cu+sjkowtxbY cRUU6PL3L2p1Gfvcc1L9cHu0KQ4PwhC52+EZQmP42ZJz3p34nSDuJNC/kBaclpSf4H pnQ18nOJANKCejrr+wPd5ffXx9HGTzl+8DtEBT6tgiTDdlOKXDYnRZCwSNTdZ6xrIj I0kbJKBqXMqigXFGElmct8cj8/Tc+9+8dZJCEkgOO4X8Scu9q3d5GsjTeZkjy1vupK zgHGtRWjIcG1w== From: zamfofex Date: Wed, 14 Jun 2023 09:48:43 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-constraints-extras): New variable. --- gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 2a4def30ff..e3f620137a 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -2468,6 +2468,30 @@ (define-public ghc-constraints a vocabulary for working with them.") (license license:bsd-2))) +(define-public ghc-constraints-extras + (package + (name "ghc-constraints-extras") + (version "0.4.0.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "constraints-extras" version)) + (sha256 + (base32 + "1irf4kd7a5h1glczbc73c3590m58azn4s68nfrjfg1h96i7mjfgn")))) + (build-system haskell-build-system) + (properties '((upstream-name . "constraints-extras"))) + (inputs (list ghc-constraints ghc-aeson)) + (arguments + `(#:cabal-revision ("1" + "1fdabah3ilq9yf94916ml3c3rxgcgab1jhzl4mk1zgzsw78j53qf"))) + (home-page "https://github.com/obsidiansystems/constraints-extras") + (synopsis "Utility package for constraints") + (description + "Convenience functions and TH for working with constraints. See + for example usage.") + (license license:bsd-3))) + (define-public ghc-contravariant (package (name "ghc-contravariant") From patchwork Wed Jun 14 12:48:44 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50895 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 338DB27BBE9; Wed, 14 Jun 2023 13:51:09 +0100 (BST) 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,MAILING_LIST_MULTI,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 59F2327BBE2 for ; Wed, 14 Jun 2023 13:51:07 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pws-0006dV-Q2; Wed, 14 Jun 2023 08:50:06 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0006cn-Ie for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0004zQ-1v for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwq-00039v-TS; Wed, 14 Jun 2023 08:50:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 04/19] gnu: Add ghc-indexed-profunctors Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674698112000 (code B ref 64066); Wed, 14 Jun 2023 12:50:04 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:41 +0000 Received: from localhost ([127.0.0.1]:44005 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwS-00037T-Qe for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:41 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:19904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwR-00036u-3Z for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:39 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id F087A18000BE; Wed, 14 Jun 2023 08:49:32 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 18A4018000A0; Wed, 14 Jun 2023 08:49:29 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746972; bh=hB15o8cMA7z8ewWKJnmKDuK4V+8eo/7l8nEG3TD2QNY=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=MhTfpFZN9TXdLGwVdyhbrOdlI29QXlbJTBQa+tEbfT3lvWvlYiydvLisoygzluDSp ndyM3qEDtg8VbWavjFxm2NrWsAeDZ9nC5NM6KKUnqoepHcJdWHA9U3B0xmgwOQ38/l Pf6M8qnj3ley50jmBEqh88hLUvJgcOJJ76QUKKrOy+3TTg1JYH77BYtLlN9yWi+vtb M+VqkCZEr1FdzcaeA09VS8PFKY/MVsT45kHbGfv6H8DoHI9OgLO+RHEhmGQCptAZqm e0/0nRk9eJ/0h/AIDAPPz3q/JtdhFJ3/R1v4ZtaFWHzbg165hosmdEwwpS231RMlyR xFauCv2IYcESg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:44 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-indexed-profunctors): New variable. --- gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index e3f620137a..7ecb677125 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -9233,6 +9233,26 @@ (define-public ghc-profunctors (description "This library provides profunctors for Haskell.") (license license:bsd-3))) +(define-public ghc-indexed-profunctors + (package + (name "ghc-indexed-profunctors") + (version "0.1.1") + (source (origin + (method url-fetch) + (uri (hackage-uri "indexed-profunctors" version)) + (sha256 + (base32 + "1cbccbvrx73drr1jf3yyw0rp1mcfv3jc1rvdcby5xxx4ja543fjs")))) + (build-system haskell-build-system) + (properties '((upstream-name . "indexed-profunctors"))) + (home-page "http://hackage.haskell.org/package/indexed-profunctors") + (synopsis "Utilities for indexed profunctors") + (description + "This package contains basic definitions related to indexed profunctors. These +are primarily intended as internal utilities to support the @@optics@@ and +@@generic-lens@@ package families.") + (license license:bsd-3))) + (define-public ghc-project-template (package (name "ghc-project-template") From patchwork Wed Jun 14 12:48:45 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50892 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 36ABC27BBEA; Wed, 14 Jun 2023 13:50:45 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 AAFD327BBE2 for ; Wed, 14 Jun 2023 13:50:44 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwu-0006en-KN; Wed, 14 Jun 2023 08:50:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pws-0006dO-CJ for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwr-0004zh-MZ for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwr-0003A8-HB; Wed, 14 Jun 2023 08:50:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 05/19] gnu: Add ghc-generic-lens-core Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674698412017 (code B ref 64066); Wed, 14 Jun 2023 12:50:05 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:44 +0000 Received: from localhost ([127.0.0.1]:44008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwW-00037k-9J for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:44 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:5177) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwU-00037B-Ir for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:43 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 92FE718000AB; Wed, 14 Jun 2023 08:49:36 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id AE27318000A0; Wed, 14 Jun 2023 08:49:33 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746976; bh=ua+BSobxa3+WKyWqU1FJ7HBvNyemq+hM568RvEQJwJw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=hVUqwAkRNUOpfydNTg6oP/mZ+CCsuGamK7nW1nrtN/yRLzYrmkGJ4puBnJWJS0qcD W5Cpgr+zulUdbRQ7/nQo39bKb+rMGwyXvdhsOpWv0ScW1j+k1qm+/rVLBsV7oOw2fu HO+SFUrs40mqNWMluwNq41ZL1Qdtq8PxQ74uYFfmxvTHW1YWZhnJEEfMPkZcCXzCN3 TnhynAUVyKuQHnI0tUZEKeNxPZ0TJid7n7gkiW2y2LEaIFGls/+gyfaS+uTIeFyQXu X2GXeUZVWex5zsCcMeVuwsySt2WcaLVWhlsuBiZNRaj7ozL/DmgNViUh3HphbYCj15 Tk7cE02OtO8zQ== From: zamfofex Date: Wed, 14 Jun 2023 09:48:45 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-generic-lens-core): New variable. --- gnu/packages/haskell-xyz.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 7ecb677125..091b437243 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -6361,6 +6361,33 @@ (define-public ghc-lens-family-core lenses and traversals for those who require Haskell 98.") (license license:bsd-3))) +(define-public ghc-generic-lens-core + (package + (name "ghc-generic-lens-core") + (version "2.2.1.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "generic-lens-core" version)) + (sha256 + (base32 + "08i4c9yb6z84iknrnl9f3f343121j7ilp0a679v81nsjm9xz3rlf")))) + (build-system haskell-build-system) + (properties '((upstream-name . "generic-lens-core"))) + (inputs (list ghc-indexed-profunctors)) + (arguments + `(#:cabal-revision ("1" + "1dbjhd6k7ypqa9f4h9v2xndgb4mjhfli3n1vjm8r8ga0kfndbqfn"))) + (home-page "https://github.com/kcsongor/generic-lens") + (synopsis "Generically derive traversals, lenses and prisms.") + (description + "This library uses GHC.Generics to derive efficient optics (traversals, lenses +and prisms) for algebraic data types in a type-directed way, with a focus on +good type inference and error messages when possible. This package is the +shared internal logic of the @@@@ and @@@@ libraries.") + (license license:bsd-3))) + (define-public ghc-libffi (package (name "ghc-libffi") From patchwork Wed Jun 14 12:48:46 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50897 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 A30D327BBE2; Wed, 14 Jun 2023 13:51:12 +0100 (BST) 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,MAILING_LIST_MULTI,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 0860527BBE9 for ; Wed, 14 Jun 2023 13:51:11 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwv-0006fO-9t; Wed, 14 Jun 2023 08:50:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwt-0006dx-BK for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwt-00050I-1N for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pws-0003AW-Rr; Wed, 14 Jun 2023 08:50:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 06/19] gnu: Add ghc-generic-lens Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674698912046 (code B ref 64066); Wed, 14 Jun 2023 12:50:06 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:49 +0000 Received: from localhost ([127.0.0.1]:44014 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwb-00038E-4S for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:49 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:27879) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwY-00037U-6e for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:46 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 3612618002C0; Wed, 14 Jun 2023 08:49:40 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 53B9518000BF; Wed, 14 Jun 2023 08:49:37 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746980; bh=HesXMzyEG/UAm4MTkSb4ZYQRBfNVGxkpM//Yh85m68Y=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=GuP8HQBMY5FjtMSao7pJJ6zPxH6bsjQC3NAO7qWD00tIC202G4QEnr/TucKg9yxwc d1soQx5p/XsJiLlcbVBWz8degNYCB3pAVYd33/UPvhFvTAxFRDfD0Z3IEb2ARs38Yo he/mEgT/MVeYYQE0VQiqhA+KOxagktasg+FvVYkKA5XvIGz5RTLNMP5JGgycBCyeUu 0UZi9+i6pNg61HftWYjjK9oKn0xu1SwVQ52Q0aRGYlea3MyCB/EblzD7hF/r4yI/26 qTNqkNI0nFYLZHqsisCrdFriJRZqwYijoo5bkbibp4C7UtO4yZhUgqNWM2BGzD85lc rifnrD+RxBsXw== From: zamfofex Date: Wed, 14 Jun 2023 09:48:46 -0300 Message-Id: <66a1a8dfcff1cdff0ebf8cdf018f31e37b9ef789.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-generic-lens): New variable. --- gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 091b437243..4724348b44 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -6388,6 +6388,31 @@ (define-public ghc-generic-lens-core generic-optics>@@ libraries.") (license license:bsd-3))) +(define-public ghc-generic-lens + (package + (name "ghc-generic-lens") + (version "2.2.2.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "generic-lens" version)) + (sha256 + (base32 + "0s4b51s11ssmndmx9m9zbwgv9rb27ajwihsrk10hn582rp4ck3c6")))) + (build-system haskell-build-system) + (properties '((upstream-name . "generic-lens"))) + (inputs (list ghc-generic-lens-core ghc-profunctors)) + (native-inputs (list ghc-lens ghc-inspection-testing ghc-hunit ghc-doctest)) + (home-page "https://github.com/kcsongor/generic-lens") + (synopsis "Generically derive traversals, lenses and prisms.") + (description + "This library uses GHC.Generics to derive efficient optics (traversals, lenses +and prisms) for algebraic data types in a type-directed way, with a focus on +good type inference and error messages when possible. The library exposes a +van Laarhoven interface. For an alternative interface, supporting an opaque +optic type, see @@@@.") + (license license:bsd-3))) + (define-public ghc-libffi (package (name "ghc-libffi") From patchwork Wed Jun 14 12:48:47 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50894 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 1C10C27BBEA; Wed, 14 Jun 2023 13:51:03 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 4FBFB27BBE2 for ; Wed, 14 Jun 2023 13:51:02 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwu-0006ez-Tz; Wed, 14 Jun 2023 08:50:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pws-0006dP-Ik for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pws-0004zx-7c for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pws-0003AH-1N; Wed, 14 Jun 2023 08:50:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 07/19] gnu: Add ghc-these-lens Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674698612030 (code B ref 64066); Wed, 14 Jun 2023 12:50:05 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:46 +0000 Received: from localhost ([127.0.0.1]:44011 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwX-00037x-Lw for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:46 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:5177) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PwW-00037B-MR for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:45 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id D545218000A0; Wed, 14 Jun 2023 08:49:43 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id E972D18000B1; Wed, 14 Jun 2023 08:49:40 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746983; bh=bGxnwToivOIUSDrX7IK82zuW98nuO4DxCZr/hFGCWt0=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=RQ2Faa7am8IPLIxwOZ1L/ldWgJ8HgyjSgwaXN+aYWwvR4syESMmSUXqLrY2yKDz6M sGbQQ3AI1mwKJek6Bbw1+JiEqZHXNs5sSc9QHCzlZpyqMKiOPKuFBfhKnz1egIdnJA a4M19ehyLAwJiLMmEbkVwFw2hNB/NOa4jcc7JtaVQkl9yB8SLvESxNgES0+rhJlUuy cSYbhT7hUcK6nCK14R/6Pwt8fcdmoLovTkms91NLQ8+c4S3/LV2wfQvy5O6Lrqj4PF 01fm78cPyuyBBff+Ihtp5nutdnd9tSsj2FAwwXHcWYN3+/hH5gh8aJhkfIcd/l0c6f enQyPpMIVpZJg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:47 -0300 Message-Id: <8a3d000439d5048c95b6604ade363fa998f6d30a.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-these-lens): New variable. --- gnu/packages/haskell-xyz.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 4724348b44..97c2888c3b 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -6413,6 +6413,27 @@ (define-public ghc-generic-lens generic-optics>@@.") (license license:bsd-3))) +(define-public ghc-these-lens + (package + (name "ghc-these-lens") + (version "1.0.1.2") + (source (origin + (method url-fetch) + (uri (hackage-uri "these-lens" version)) + (sha256 + (base32 + "1v3kj7j4bkywbmdbblwqs5gsj5s23d59sb3s27jf3bwdzf9d21p6")))) + (build-system haskell-build-system) + (properties '((upstream-name . "these-lens"))) + (inputs (list ghc-these ghc-lens)) + (arguments + `(#:cabal-revision ("2" + "1mncy6mcwqxy4fwibrsfc3jcx183wfjfvfvbj030y86pfihvbwg3"))) + (home-page "https://github.com/haskellari/these") + (synopsis "Lenses for These") + (description "This package provides Prism and Traversals for @@These@@.") + (license license:bsd-3))) + (define-public ghc-libffi (package (name "ghc-libffi") From patchwork Wed Jun 14 12:48:48 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50891 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 E9A6227BBE9; Wed, 14 Jun 2023 13:50:43 +0100 (BST) 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,MAILING_LIST_MULTI,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 BD90527BBE2 for ; Wed, 14 Jun 2023 13:50:42 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwv-0006fY-PO; Wed, 14 Jun 2023 08:50:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwu-0006e8-1a for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwt-00050b-Og for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwt-0003Am-Ke; Wed, 14 Jun 2023 08:50:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 08/19] gnu: Add ghc-sdl2-ttf Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674699512067 (code B ref 64066); Wed, 14 Jun 2023 12:50:07 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:55 +0000 Received: from localhost ([127.0.0.1]:44017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwg-00038Y-I5 for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:54 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:27644) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwf-00038C-HB for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:53 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 8547418000AB; Wed, 14 Jun 2023 08:49:47 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id A16D318000A0; Wed, 14 Jun 2023 08:49:44 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746987; bh=3rLFesgeISN9J+l8/2bbQZNkVmml/k3vs5BxjYqfWQA=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=n6nn9vlmZ5PFWNTUQeqspwaNOvze4fXUI4Sgn0ixtm0Uhhfn9BdwQMO0Ii/KxZaT+ tjNSmYT81SVZ2foLZMFBIgrpK799TuksMEIZamB7S4XB9bDiIqJCOSM+5AmoXxVBHO ZHuVi7xKsZqbqC4NZnrT+iOvyWaX6cTAmXPInQwiwNKxTW4/IZrKTsbl369LvL77nI sHy4apxB6GLElGNkVHA7LdWAvsM6d/clszQM58T4+PSnV8jiXRJvcs0wOwB0KvoMCM 6k5SUpybMiRbNpz1/9I5NajrbhLEgHabhka4ZolcGpNBNXv1X19K3/IwGGk4HF+d7W C+4rzsJqZ7Cvw== From: zamfofex Date: Wed, 14 Jun 2023 09:48:48 -0300 Message-Id: <7a389c42a31a60af0f86cfa8dc7c677a02568ed4.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-sdl2-ttf): New variable. --- gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 97c2888c3b..3c88d769e1 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -10427,6 +10427,26 @@ (define-public ghc-sdl2-mixer @code{SDL2_mixer}.") (license license:bsd-3))) +(define-public ghc-sdl2-ttf + (package + (name "ghc-sdl2-ttf") + (version "2.1.3") + (source (origin + (method url-fetch) + (uri (hackage-uri "sdl2-ttf" version)) + (sha256 + (base32 + "0sm5lrdif5wmz3iah1658zlr7yr45d1hfihb2hdxdia4h7z1j0mn")))) + (build-system haskell-build-system) + (properties '((upstream-name . "sdl2-ttf"))) + (inputs (list ghc-sdl2 ghc-th-abstraction sdl2-ttf)) + (native-inputs (list pkg-config)) + (home-page "http://hackage.haskell.org/package/sdl2-ttf") + (synopsis "Bindings to SDL2_ttf.") + (description "Haskell bindings to SDL2_ttf C++ library +.") + (license license:bsd-3))) + (define-public ghc-sdl-image (package (name "ghc-sdl-image") From patchwork Wed Jun 14 12:48:49 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50889 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 15B3127BBE9; Wed, 14 Jun 2023 13:50:36 +0100 (BST) 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,MAILING_LIST_MULTI,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 49DC827BBE2 for ; Wed, 14 Jun 2023 13:50:35 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwv-0006fa-TR; Wed, 14 Jun 2023 08:50:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwu-0006eY-EA for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwu-00050g-4x for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwu-0003Av-1T; Wed, 14 Jun 2023 08:50:08 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 09/19] gnu: Add ghc-sdl2-gfx Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674699912087 (code B ref 64066); Wed, 14 Jun 2023 12:50:08 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:49:59 +0000 Received: from localhost ([127.0.0.1]:44020 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwk-00038r-VJ for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:59 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:8671) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwj-00038Q-2V for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:49:57 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 16CC618002C0; Wed, 14 Jun 2023 08:49:51 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 35B8C18000A0; Wed, 14 Jun 2023 08:49:48 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746990; bh=bEzS6urmVaR9E9yVRhWHLJcCDUN9brNPxfGmXBNoO3U=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=nc8rTB4P5y/Jrqr5XD+GreqDnLfhyISkIfTkq2Nae0+ra6rWJfIsCXEd5Kpo3fook r5zXzq7gzTz0Ks42Ap06Sk25pb8KZboPfZhErJIYa4mNJ3JETwJ67t9VkF1HrexRJz b9fgRj/kA0SY6G+WF7Na6K+Zjh7Udhu1L0qeeMcChCEdcRmlWWEHzRhhso3j6ZJiSt dPLMUxxeqLE3AnTO1tdbHcWIIDWy6T4kI5P+q+YtL2VXFTYukdFARp27X5EqmLsLqp NMjYGVM3A8j9rTDsk2gcYLt2J32DFZfk153+MLJinrRTznoQVwAvViNZHJaA2OWm9+ o5QxKdp7bKI0Q== From: zamfofex Date: Wed, 14 Jun 2023 09:48:49 -0300 Message-Id: <5eac0644743fabd5009f97cc8059a1cef4628210.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-sdl2-gfx): New variable. --- gnu/packages/haskell-xyz.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 3c88d769e1..9c68a3b63a 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -10447,6 +10447,25 @@ (define-public ghc-sdl2-ttf .") (license license:bsd-3))) +(define-public ghc-sdl2-gfx + (package + (name "ghc-sdl2-gfx") + (version "0.3.0.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "sdl2-gfx" version)) + (sha256 + (base32 + "0r9m54ffkp1dv2ffz9i9318qhvpinc76iih7vg1dwq3siwgpxaxw")))) + (build-system haskell-build-system) + (properties '((upstream-name . "sdl2-gfx"))) + (inputs (list ghc-lifted-base ghc-monad-control ghc-sdl2 ghc-vector sdl2-gfx)) + (native-inputs (list pkg-config)) + (home-page "http://hackage.haskell.org/package/sdl2-gfx") + (synopsis "Haskell bindings to SDL2_gfx") + (description "") + (license license:expat))) + (define-public ghc-sdl-image (package (name "ghc-sdl-image") From patchwork Wed Jun 14 12:48:50 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50888 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 7E51827BBEA; Wed, 14 Jun 2023 13:50:33 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 BEABA27BBE2 for ; Wed, 14 Jun 2023 13:50:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pww-0006gE-6W; Wed, 14 Jun 2023 08:50:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwu-0006f5-Ur for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwu-00050s-LV for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwu-0003B3-Gq; Wed, 14 Jun 2023 08:50:08 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 10/19] gnu: Add ghc-exception-transformers Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674700312121 (code B ref 64066); Wed, 14 Jun 2023 12:50:08 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:03 +0000 Received: from localhost ([127.0.0.1]:44023 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwo-00039K-FQ for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:03 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:19939) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwm-00038g-Pt for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:01 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id C792018000AB; Wed, 14 Jun 2023 08:49:54 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id E5B6A18000A0; Wed, 14 Jun 2023 08:49:51 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746994; bh=in6LLeK17BDuXD0ozfGuttSasJSohInmju19icozM8w=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Yw7f2dbxOhbo5ZdE0oMZAHE/2LCk/7NB12F3bVYGGAsN+Gtvlse5uWZQ+Uw5wbKpY 3Juq+eUIvPcXRORIMHVoKN7iXO/QxgIftNIILGd41FzSswODUXH4VTtXa/kb5I0BJA 9tdURfhbRzxBu08JFLM0s9J9QUjUF8IJurk9vA8RriQjUUBBndaFa6KN/gHRRpWB0i dN9DdXD4De19MwLWwoLv1qJWsrJVrHXu50xhK/VrfBrT98/1GOgk6sePIxUr4Tumvj bGeFEYw6TllBmm00lWYZuVjBP0sveKzo522iyCaO4L5m48YpScShP+B+uJgpSSEUzw Feq9l7NLNhDoA== From: zamfofex Date: Wed, 14 Jun 2023 09:48:50 -0300 Message-Id: <6f56f7dec31229965c67f0f37c40675215dd09df.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-exception-transformers): New variable. --- gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 9c68a3b63a..bd6a999357 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -12635,6 +12635,28 @@ (define-public ghc-transformers-compat but also need those types.") (license license:bsd-3))) +(define-public ghc-exception-transformers + (package + (name "ghc-exception-transformers") + (version "0.4.0.11") + (source (origin + (method url-fetch) + (uri (hackage-uri "exception-transformers" version)) + (sha256 + (base32 + "1zmd2s40m86c9mhv32l5bvvf5r52cgpxvb4v5phyc3pjwlr7m8g5")))) + (build-system haskell-build-system) + (properties '((upstream-name . "exception-transformers"))) + (inputs (list ghc-fail ghc-transformers-compat)) + (native-inputs (list ghc-hunit ghc-test-framework ghc-test-framework-hunit)) + (home-page "http://hackage.haskell.org/package/exception-transformers") + (synopsis "Type classes and monads for unchecked extensible exceptions.") + (description + "This package provides type classes, a monad and a monad transformer that support +unchecked extensible exceptions as well as asynchronous exceptions. It is +compatible with the transformers package.") + (license license:bsd-3))) + (define-public ghc-tree-diff (package (name "ghc-tree-diff") From patchwork Wed Jun 14 12:48:51 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50896 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 7483B27BBE2; Wed, 14 Jun 2023 13:51:12 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 0D8D327BBEA for ; Wed, 14 Jun 2023 13:51:11 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pwx-0006hM-K9; Wed, 14 Jun 2023 08:50:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pwv-0006fQ-FM for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pwv-000513-5L for guix-patches@gnu.org; Wed, 14 Jun 2023 08:50:09 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pwu-0003BG-UK; Wed, 14 Jun 2023 08:50:08 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 11/19] gnu: Add ghc-commutative-semigroup Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:50:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674700712182 (code B ref 64066); Wed, 14 Jun 2023 12:50:08 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:07 +0000 Received: from localhost ([127.0.0.1]:44037 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pws-0003AO-4x for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:06 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:30363) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwq-00038t-HP for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:05 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 841D018002C0; Wed, 14 Jun 2023 08:49:58 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id A01E818002C4; Wed, 14 Jun 2023 08:49:55 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686746998; bh=l1QfHeuW1zTajx2V8D2zo8JAK+jgqz+HlLQ/NtbFbwI=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=kiDbt3k8qhHVEZk9iASUcqWqfmvtPkm2hrI+vB8S29RvxakBfTSkirSbNhUxdXnCf 0IDltpDBhFSpBD8qP2McTXT9PfTfOPKccsLXLD7S0CGdMswgbgqgSJgXqj0d45RBoh NWiCCtBHnaby3eLswkTByS22CkK1Giw7b7kMyBCbxzFSnvMP5+X7PtJGrQeGrKZHOQ 2moccvVfXWqSy42QLFDhH4Vt8pKwE5beHHoOH1drNc4ABpQkfqmjiTQJ6AFrXU14cm fP8P4x5VS2KXnQb0NCQzrRjwbKcla5C40CAURkqqF651jE+r8+ILO31a5AlQo568fG Daozl4rCj6Ktg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:51 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-commutative-semigroup): New variable. --- gnu/packages/haskell-xyz.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index bd6a999357..7f9380d959 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -13147,6 +13147,25 @@ (define-public ghc-unordered-containers-bootstrap (native-inputs '()) (properties '((hidden? #t))))) +(define-public ghc-commutative-semigroups + (package + (name "ghc-commutative-semigroups") + (version "0.1.0.1") + (source (origin + (method url-fetch) + (uri (hackage-uri "commutative-semigroups" version)) + (sha256 + (base32 + "1bmafx363gfsd9wwrf3xyrw9mnw6anmc1zdfv0p8597y4lxxach7")))) + (build-system haskell-build-system) + (properties '((upstream-name . "commutative-semigroups"))) + (home-page "http://hackage.haskell.org/package/commutative-semigroups") + (synopsis "Commutative semigroups") + (description + "This package provides a commutative semigroup is a semigroup where the order of +arguments to mappend does not matter.") + (license license:bsd-3))) + (define-public ghc-unsafe (package (name "ghc-unsafe") From patchwork Wed Jun 14 12:48:52 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50899 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 648A427BBEC; Wed, 14 Jun 2023 13:51:25 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 A6CD327BBE2 for ; Wed, 14 Jun 2023 13:51:24 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxw-0007Mi-04; Wed, 14 Jun 2023 08:51:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-00076E-BI for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxn-0005Hq-4Z for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxm-0003EH-R9; Wed, 14 Jun 2023 08:51:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 12/19] gnu: Add ghc-dependent-sum Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674701012262 (code B ref 64066); Wed, 14 Jun 2023 12:51:02 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:10 +0000 Received: from localhost ([127.0.0.1]:44054 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pww-0003Bb-2S for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:10 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:4931) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwu-00039Q-3b for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:08 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 1D89318000AB; Wed, 14 Jun 2023 08:50:02 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 3844418000B1; Wed, 14 Jun 2023 08:49:59 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747002; bh=AR5CP/moO3gmnhu7mFa39ZemL8U1CEIYwq/2dyY0T+A=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=JQFqoVbFfZBWySyk7SiRH0Tc/SMVYFxQ20LoM87Spahb6Hi8vz4ppa7wHiEFWw0z1 bQcRg14EELKEVfYDAEyNvBDdmVVpHR2nCO8ZBFPN96GH6Vv9jRpqz71y+/Chc0bKR5 QJ8o3Wz/TxDg2mod0CqXZMydXjLk7pV8sEZXOEyJ5SWsQUUgrQ4kD/9ctJ4vCkLr3g W2CZaR7amMx+iaiJmF2rqE7DlB824NPBSHR0XhVxCCd0Y0CW90MmgU2enCoMgFFchU g2t9RCUvb7J0Hsg7cpkeD7BeoCeFg9P01B9sLoiqt7YLKNTGSQsbx0wXtyaxEVOPAL 3o6cI+KAgLSTA== From: zamfofex Date: Wed, 14 Jun 2023 09:48:52 -0300 Message-Id: <80f67a3eea2a7bff743bd9a915ed850be70a223e.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-dependent-sum): New variable. --- gnu/packages/haskell-xyz.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 7f9380d959..06e7199c9c 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -13166,6 +13166,33 @@ (define-public ghc-commutative-semigroups arguments to mappend does not matter.") (license license:bsd-3))) +(define-public ghc-dependent-sum + (package + (name "ghc-dependent-sum") + (version "0.7.2.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "dependent-sum" version)) + (sha256 + (base32 + "1frw5965v8i6xqdgs95gg8asgdqcqnmfahz0pmbwiaw5ybn62rc2")))) + (build-system haskell-build-system) + (properties '((upstream-name . "dependent-sum"))) + (inputs (list ghc-constraints-extras ghc-some)) + (arguments + `(#:cabal-revision ("1" + "0qybk8x6gyvg8pgf84mywlfajlcvg9pp4rs1wfn9fa7ns6sms88n"))) + (home-page "https://github.com/obsidiansystems/dependent-sum") + (synopsis "Dependent sum type") + (description + "This package provides a dependent sum is a generalization of a particular way of +thinking about the @@Either@@ type. @@Either a b@@ can be thought of as a +2-tuple @@(tag, value)@@, where the value of the tag determines the type of the +value. In particular, either @@tag = Left@@ and @@value :: a@@ or @@tag = +Right@@ and @@value :: b@@. . This package allows you to define your own +dependent sum types by using your own \\\"tag\\\" types.") + (license license:public-domain))) + (define-public ghc-unsafe (package (name "ghc-unsafe") From patchwork Wed Jun 14 12:48:53 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50898 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 3E35827BBEA; Wed, 14 Jun 2023 13:51:22 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 AE57D27BBE2 for ; Wed, 14 Jun 2023 13:51:21 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxx-0007QR-TE; Wed, 14 Jun 2023 08:51:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-00076B-8t for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxm-0005Hn-Pe for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxm-0003E8-Ca; Wed, 14 Jun 2023 08:51:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 13/19] gnu: Add ghc-dependent-map Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674701012255 (code B ref 64066); Wed, 14 Jun 2023 12:51:02 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:10 +0000 Received: from localhost ([127.0.0.1]:44052 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pwv-0003BZ-Nn for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:10 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:30363) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Pws-00038t-Ga for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:07 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id A75BB18000BE; Wed, 14 Jun 2023 08:50:05 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id C3C1818000A0; Wed, 14 Jun 2023 08:50:02 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747005; bh=Y0nxlW1ay1nAWIyxi0o2keXT+AyPhD4w+YfR25PFgTs=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=LV62vgwCpTmNKig/2Daw6svydrDIycjbesQXEcPrjDZ8mKd3QPjkGMtXXLxlVdemZ hQ3NHhdSrfYzW1iYFnDSYJwb/uVjb3Y7QD/GSqQVBJZTE2gIcIF7mSrf0OqkfVQ2KT q3/O9ntQoVuNdR7YTe4c8hLsm3jm3CuoEyNdmApH+sUHMvYhdjE+vZooS2DZOxDx/s IlhOoKSMHmeAWhVE5xYBruOkNAWneLOF9qW0MrpHWMcQBTm1kJ06nYorj6RhaHgn3R OUSiVEu4VU1lk4nsFDWt6HXw0xDUdXwiOiY0ObHySh97P4CIdzIxpsEvDGVSJUGHlQ AgWrxp0a7Z3DA== From: zamfofex Date: Wed, 14 Jun 2023 09:48:53 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-dependent-map): New variable. --- gnu/packages/haskell-xyz.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 06e7199c9c..48b259b41e 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -13193,6 +13193,29 @@ (define-public ghc-dependent-sum dependent sum types by using your own \\\"tag\\\" types.") (license license:public-domain))) +(define-public ghc-dependent-map + (package + (name "ghc-dependent-map") + (version "0.4.0.0") + (source (origin + (method url-fetch) + (uri (hackage-uri "dependent-map" version)) + (sha256 + (base32 + "0b0zhyl3wkl4kkrxvq7vwjz3gn0ndxjjgyw9cky8a6xyv190pkjk")))) + (build-system haskell-build-system) + (properties '((upstream-name . "dependent-map"))) + (inputs (list ghc-dependent-sum ghc-constraints-extras)) + (arguments + `(#:cabal-revision ("1" + "160p9crvlx1sn60inkwxa6mv1h2d4fgqnpsb2km67zrkpdfyd2s2"))) + (home-page "https://github.com/obsidiansystems/dependent-map") + (synopsis "Dependent finite maps (partial dependent products)") + (description + "This package provides a type called @@DMap@@ which generalizes @@Data.Map.Map@@, +allowing keys to specify the type of value that can be associated with them.") + (license #f))) + (define-public ghc-unsafe (package (name "ghc-unsafe") From patchwork Wed Jun 14 12:48:54 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50903 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 BD0E127BBEA; Wed, 14 Jun 2023 13:51:45 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 332A127BBE2 for ; Wed, 14 Jun 2023 13:51:45 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxu-0007IP-Rm; Wed, 14 Jun 2023 08:51:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-00076D-9r for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxn-0005Hr-Dx for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxn-0003EP-AK; Wed, 14 Jun 2023 08:51:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 14/19] gnu: Add ghc-prim-uniq Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674701712287 (code B ref 64066); Wed, 14 Jun 2023 12:51:03 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:17 +0000 Received: from localhost ([127.0.0.1]:44057 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Px2-0003C6-Fm for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:16 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:23480) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Px1-0003Bc-7m for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:15 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 3EDBF18000AB; Wed, 14 Jun 2023 08:50:09 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 5CABF18002C2; Wed, 14 Jun 2023 08:50:06 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747009; bh=LWM4e+U12kBlJ398J+lX413W1eJz3X0UyCexLGDItO8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=CAOCZMnWjJrf4NVvtRjxG7MQfAbJ9Kg2dZy70ODvwaRj234IY/HluQ2FHgfaevGmQ U2pAYpbLvxOX719Zm1L2OEeauAe2s/Ew3ET+F/RBeVCFBCdDf8aMIR6dXSU84WkZ0N DPKBvATk4hXlmd/dBkttCKXS/5WrcgaWboBUZ09tNqoTFYcvT/VCDixe/hRPrOwOy7 VW14zEhjJKJ9CNTDlKIhy+WjJrCnKPBGQq3gL1xDEE+gl/TSPngBfMGO7j4bZB40QH GKBFNEMAwDPa2MAty17uqi4DLf4lPxH5/55kEVYCtJzirQlCjZK/YaCy/fWIZywv6j xjFQEyRyLs+Wg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:54 -0300 Message-Id: <49cf4393e8e6ecf91e73b87fcba71c02d574e948.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-prim-uniq): New variable. --- gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 48b259b41e..e21e32bae4 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16560,6 +16560,26 @@ (define-public ghc-test-framework-leancheck to incorporate LeanCheck tests into test-framework test suites.") (license license:bsd-3))) +(define-public ghc-prim-uniq + (package + (name "ghc-prim-uniq") + (version "0.2") + (source (origin + (method url-fetch) + (uri (hackage-uri "prim-uniq" version)) + (sha256 + (base32 + "1l7jlv3pfasn89n2wpgff972npy423vqsidkkn5crxfyqjyzxbdv")))) + (build-system haskell-build-system) + (properties '((upstream-name . "prim-uniq"))) + (inputs (list ghc-dependent-sum ghc-primitive)) + (home-page "https://github.com/obsidiansystems/prim-uniq") + (synopsis "Opaque unique identifiers in primitive state monads") + (description + "Opaque unique identifiers in primitive state monads and a GADT-like type using +them as witnesses of type equality.") + (license license:public-domain))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar From patchwork Wed Jun 14 12:48:55 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50902 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 7A5ED27BBEA; Wed, 14 Jun 2023 13:51:33 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 C639A27BBE2 for ; Wed, 14 Jun 2023 13:51:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxx-0007Pv-LJ; Wed, 14 Jun 2023 08:51:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-00076F-Bm for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxn-0005Ht-S9 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxn-0003EX-N9; Wed, 14 Jun 2023 08:51:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 15/19] gnu: Add ghc-patch Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674702112307 (code B ref 64066); Wed, 14 Jun 2023 12:51:03 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:21 +0000 Received: from localhost ([127.0.0.1]:44060 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Px6-0003CQ-Uy for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:21 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:7462) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Px4-0003Bw-QW for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:19 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id C9DAD18000B1; Wed, 14 Jun 2023 08:50:12 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id E5DF918000BF; Wed, 14 Jun 2023 08:50:09 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747012; bh=kTdWn4U6zHb+/JMR0TchbfbS8dQoHS5hkEz1juHlgO0=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=kRtTY84Rg1d1cCGBjc4GHHMfZ/l53lyjE9fAjOc5MgvbrfrFnbRNJgkjPf+qCFbyi JKGU4sXgmmpQwNERd6q8unMCy5EDAg3D8mwe2IDp9QHECi53mvQHRoRrbbWOaxgwpH 9vuTqdGLlTxl55g95RGJGOK8XLxLDarafwuexvG7W0hlzF8Ho5a604Q/xPJnn2lnda fPlrm6SkaQe76XW0dSBLICWiOjoZLeD8Sxn3VsKhuupmjJ7ZQyflnnVCSp5yGUBzyX POzAo8VZ224+PMSk4MSd+l7ZkCigZazNpjvguXHs4BZehEBy/Lq5ogba3mIA84qWKm WwWbfEOjd8mOg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:55 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-patch): New variable. --- gnu/packages/haskell-xyz.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index e21e32bae4..78cb1ccd39 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16580,6 +16580,40 @@ (define-public ghc-prim-uniq them as witnesses of type equality.") (license license:public-domain))) +(define-public ghc-patch + (package + (name "ghc-patch") + (version "0.0.8.2") + (source (origin + (method url-fetch) + (uri (hackage-uri "patch" version)) + (sha256 + (base32 + "15r2sjlpvp22iwd7qa1lqdq7n8nvqv2klvzrlm3phqq3j5n5x5y5")))) + (build-system haskell-build-system) + (properties '((upstream-name . "patch"))) + (inputs (list ghc-constraints-extras + ghc-commutative-semigroups + ghc-dependent-map + ghc-dependent-sum + ghc-lens + ghc-indexed-traversable + ghc-semigroupoids + ghc-witherable + ghc-these + ghc-semialign + ghc-monoidal-containers)) + (native-inputs (list ghc-hedgehog ghc-hunit ghc-filemanip hlint)) + (home-page "https://obsidian.systems") + (synopsis + "Data structures for describing changes to other data structures.") + (description + "Data structures for describing changes to other data structures. . In this +library, a patch is something which can be applied, analogous to a function, and +which distinguishes returning the argument it was provided from returning +something else.") + (license license:bsd-3))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar From patchwork Wed Jun 14 12:48:56 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50900 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 B352727BBE9; Wed, 14 Jun 2023 13:51:26 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 017CD27BBEA for ; Wed, 14 Jun 2023 13:51:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxw-0007NS-A9; Wed, 14 Jun 2023 08:51:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-00076J-K6 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-0005J4-B4 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxo-0003Eg-6b; Wed, 14 Jun 2023 08:51:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 16/19] gnu: Add ghc-ref-tf Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674702512327 (code B ref 64066); Wed, 14 Jun 2023 12:51:04 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:25 +0000 Received: from localhost ([127.0.0.1]:44064 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxA-0003Cf-Fi for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:25 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:3904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9Px8-0003CE-Df for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:22 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 64C9318000BE; Wed, 14 Jun 2023 08:50:16 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 7C95318000A0; Wed, 14 Jun 2023 08:50:13 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747016; bh=Rp0gHqXtPnHSdka+wNBlQgN3EehzxxRSwbecCkLqvQQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ApEpKhOUV+OBH0kOfw77/x07AQWEVLYLRaJyukxiJiHFW3dsAHfrrDy8gD7exO8sd ALK49jH2hk0NzxnFjdfjLhmwEm3UZCVmegXTAyb8sx8LCZNo8nof9NQrDGXZzSsHLu BNx7TnGPRUTjoNcktCZOh656ysNqATk20EpPqWeene6lBzwbqqkGEzBdclALpzHtPN PbRDUtkYrmM6EJsPp5i3N2DsE9XWznlGoKv0Be3nuNnFO+Ys2Wm8BPP5AdbLux4yRV 8eBWMARyGgzb6AbtrNj2VXlVr/hWWDaBJizY1m50tajl6c6CN0fvcLYwjR+rSNg7Wn z6pLWdoJx7A0A== From: zamfofex Date: Wed, 14 Jun 2023 09:48:56 -0300 Message-Id: <3e740c58660fa5fd24516bd4eac766271e705b80.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-ref-tf): New variable. --- gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 78cb1ccd39..c8b41baa37 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16614,6 +16614,26 @@ (define-public ghc-patch something else.") (license license:bsd-3))) +(define-public ghc-ref-tf + (package + (name "ghc-ref-tf") + (version "0.5.0.1") + (source (origin + (method url-fetch) + (uri (hackage-uri "ref-tf" version)) + (sha256 + (base32 + "0isilgcbw12zyh8s2liaj5r9r5m3yg1xskyhag6f36qi60y29hx5")))) + (build-system haskell-build-system) + (properties '((upstream-name . "ref-tf"))) + (home-page "http://hackage.haskell.org/package/ref-tf") + (synopsis "A type class for monads with references using type families.") + (description + "This package contains a MonadRef type class that abstracts over the details of +manipulating references, allowing one to write code that can operate in either +the ST monad or the IO monad.") + (license license:bsd-3))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar From patchwork Wed Jun 14 12:48:57 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50905 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 6396127BBEA; Wed, 14 Jun 2023 13:52:02 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 5704627BBE2 for ; Wed, 14 Jun 2023 13:52:01 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxv-0007Me-VR; Wed, 14 Jun 2023 08:51:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxq-000771-G9 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:08 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxp-0005JQ-EK for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxp-0003Ey-A7; Wed, 14 Jun 2023 08:51:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 17/19] gnu: Add ghc-reflex Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674702812350 (code B ref 64066); Wed, 14 Jun 2023 12:51:05 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:28 +0000 Received: from localhost ([127.0.0.1]:44069 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxD-0003D1-Du for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:27 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:12291) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxB-0003CO-VY for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:26 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id F351918002C3; Wed, 14 Jun 2023 08:50:19 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 1722718000AB; Wed, 14 Jun 2023 08:50:16 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747019; bh=AJd9GeNYtnpLfV3G/Jlu2TKpSBFI9qyRyBw0qqHxl6k=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=GTbZ8gZaelsx9VhFKO67vwl2hnyvxVNbnyNCeWDJwhmzpLTwAHtTwNowf807W0MLg L8S4C++t9EYGvUwcmoh6Sz1jzRNx/nkSS5lGdgcU53Y+WExL+An6x/XBwakUW+tA7I 9Q+dHlNtpA48oe+LxWCxfc8uLSuS0N89mkmActeVyx3HEKNzl7TOi77dGh6KW590JE SCORc46kdiAAM0HtluWtFGp9CsvjGfrhsc/HPifCsRrBncGu0EO2U16FnJ2v90wQVd O6GqJXsV05YvP5F3OgK/jyYV/ygfzDCxY7VZPxzX5yLxh3YhbNSx7/rNjw6rfI4bkS XUhBUsAGd78yQ== From: zamfofex Date: Wed, 14 Jun 2023 09:48:57 -0300 Message-Id: <0798116d25fe8de800154fb978dd5e869ecc22a6.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-reflex): New variable. --- gnu/packages/haskell-xyz.scm | 66 ++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index c8b41baa37..9e0137cd8c 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -9713,6 +9713,72 @@ (define-public ghc-reflection @code{System.IO.Unsafe.unsafePerformIO}.") (license license:bsd-3))) +(define-public ghc-reflex + (package + (name "ghc-reflex") + (version "0.8.2.2") + (source (origin + (method url-fetch) + (uri (hackage-uri "reflex" version)) + (sha256 + (base32 + "1add5bcsyq2k02w2q0ifbyfcvcic1hmjdbgxg8ajd5riam0lhb16")))) + (build-system haskell-build-system) + (properties '((upstream-name . "reflex"))) + (inputs (list ghc-memotrie + ghc-bifunctors + ghc-comonad + ghc-commutative-semigroups + ghc-constraints + ghc-constraints-extras + ghc-data-default + ghc-dependent-map + ghc-exception-transformers + ghc-lens + ghc-mmorph + ghc-monad-control + ghc-patch + ghc-prim-uniq + ghc-primitive + ghc-profunctors + ghc-random + ghc-ref-tf + ghc-reflection + ghc-semigroupoids + ghc-syb + ghc-unbounded-delays + ghc-witherable + ghc-these + ghc-semialign + ghc-monoidal-containers + ghc-dependent-sum + ghc-haskell-src-exts + ghc-haskell-src-meta)) + (native-inputs (list hlint + ghc-split + ghc-filemanip + ghc-these-lens + ghc-hspec + ghc-proctest)) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'configure 'update-constraints + (lambda _ + (substitute* "reflex.cabal" + (("\\bmmorph >= 1\\.0 && < 1\\.2,") "mmorph,"))))))) + (home-page "https://reflex-frp.org") + (synopsis "Higher-order Functional Reactive Programming") + (description + "Interactive programs without callbacks or side-effects. Functional Reactive +Programming (FRP) uses composable events and time-varying values to describe +interactive systems as pure functions. Just like other pure functional code, +functional reactive code is easier to get right on the first try, maintain, and +reuse. . Reflex is a fully-deterministic, higher-order Functional Reactive +Programming interface and an engine that efficiently implements that interface. +. ") + (license license:bsd-3))) + (define-public ghc-regex (package (name "ghc-regex") From patchwork Wed Jun 14 12:48:58 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50904 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 5197C27BBE9; Wed, 14 Jun 2023 13:52:00 +0100 (BST) 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,MAILING_LIST_MULTI,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 0862B27BBE2 for ; Wed, 14 Jun 2023 13:51:59 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxv-0007KZ-LZ; Wed, 14 Jun 2023 08:51:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxp-00076K-6w for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxo-0005JK-U1 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxo-0003Eo-Q6; Wed, 14 Jun 2023 08:51:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 18/19] gnu: Add ghc-reflex-sdl2 Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674702712342 (code B ref 64066); Wed, 14 Jun 2023 12:51:04 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:27 +0000 Received: from localhost ([127.0.0.1]:44067 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxD-0003Cz-1W for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:27 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:3904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxA-0003CE-C6 for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:24 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 8706618000AB; Wed, 14 Jun 2023 08:50:23 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id A276418002C4; Wed, 14 Jun 2023 08:50:20 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747023; bh=uzP0Mq+ky3NmA/49nFBy/iS4iNpar/mOHwR3URHeXi8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=kCAObBRJfUObxqyjVDxVx/+sEa11rUaObKg4XkJgQtiEnb0fb+E+++RFtVl9IR/d1 pybV9pu7iPKNCjQ8Yk6lUVGK44hhzpiM52y/wY2eAaF9zH4Pek8PLH2mO/omwcAOn/ t/haKSiwGwDgwMpahD9061cx5IIxdstphjGWqkAWtPZMnmTCQRHfJpzxeDso/1+AYx LU+2gsqid3YCzlFwb+3+O5EVLPdjb1Zi7dJTmuAfXQpQR4g9+x6XyA/perlKlcK2Eh 0D6hvGxpdJJTyQ1mF8G9ZqEHnOYbBP0LXgce7EjhfjQHhiK6KGgOM4fZk5AsXX+Gws PKHCrQ12gsg2Q== From: zamfofex Date: Wed, 14 Jun 2023 09:48:58 -0300 Message-Id: <17921ee0a6f97f6930f4f403300209c75463a915.1686746569.git.zamfofex@twdb.moe> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-reflex-sdl2): New variable. --- gnu/packages/haskell-xyz.scm | 37 ++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 9e0137cd8c..7065fd6bb2 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -9779,6 +9779,43 @@ (define-public ghc-reflex . ") (license license:bsd-3))) +(define-public ghc-reflex-sdl2 + (let ((commit "6dadf2c4f383b8a58fcd73616996b219c4f93972") + (revision "1")) + (package + (name "ghc-reflex-sdl2") + (version (git-version "0.3.0.2" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/schell/reflex-sdl2") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "06lxfgp18l1car6wd07mbjn4yblnp89acf1i67nd815p2hx0ihbz")))) + (build-system haskell-build-system) + (properties '((upstream-name . "reflex-sdl2"))) + (inputs (list ghc-async + ghc-dependent-sum + ghc-exception-transformers + ghc-ref-tf + ghc-primitive + ghc-reflex + ghc-sdl2)) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'configure 'update-constraints + (lambda _ + (substitute* "reflex-sdl2.cabal" + (("\\bref-tf +>= 0\\.4 +&& < 0\\.5\\b") "ref-tf"))))))) + (home-page "https://github.com/schell/reflex-sdl2") + (synopsis "SDL2 and reflex FRP") + (description + "This package provides a minimal host for sdl2 based reflex apps.") + (license license:expat)))) + (define-public ghc-regex (package (name "ghc-regex") From patchwork Wed Jun 14 12:48:59 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: zamfofex X-Patchwork-Id: 50901 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 9B4CA27BBE9; Wed, 14 Jun 2023 13:51:27 +0100 (BST) 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,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 93A8327BBE2 for ; Wed, 14 Jun 2023 13:51:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q9Pxv-0007Jw-DX; Wed, 14 Jun 2023 08:51:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q9Pxq-00077f-T0 for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q9Pxq-0005Jg-Jt for guix-patches@gnu.org; Wed, 14 Jun 2023 08:51:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q9Pxp-0003F6-Oh; Wed, 14 Jun 2023 08:51:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64066] [PATCH 19/19] gnu: Add Plunder Resent-From: zamfofex Original-Sender: "Debbugs-submit" Resent-CC: liliana.prikler@gmail.com, iyzsong@envs.net, guix-patches@gnu.org Resent-Date: Wed, 14 Jun 2023 12:51:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64066 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64066@debbugs.gnu.org Cc: zamfofex , Liliana Marie Prikler , =?utf-8?b?5a6L5paH5q2m?= X-Debbugs-Original-Xcc: Liliana Marie Prikler , =?utf-8?b?5a6L5paH5q2m?= Received: via spool by 64066-submit@debbugs.gnu.org id=B64066.168674703612372 (code B ref 64066); Wed, 14 Jun 2023 12:51:05 +0000 Received: (at 64066) by debbugs.gnu.org; 14 Jun 2023 12:50:36 +0000 Received: from localhost ([127.0.0.1]:44072 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxL-0003DU-Uw for submit@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:36 -0400 Received: from mta-13-4.privateemail.com ([198.54.127.109]:7491) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q9PxJ-0003DE-3z for 64066@debbugs.gnu.org; Wed, 14 Jun 2023 08:50:34 -0400 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 1EC5218000BE; Wed, 14 Jun 2023 08:50:27 -0400 (EDT) Received: from localhost.localdomain (unknown [189.7.70.215]) by mta-13.privateemail.com (Postfix) with ESMTPA id 3C62418000A0; Wed, 14 Jun 2023 08:50:24 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=twdb.moe; s=default; t=1686747027; bh=oJlKSam+xfkd2djbqcHUpHZj5mR0NHa3a5I50hQ3IOY=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=WmTnV9uX1uH3X8PfReGlgQiFhOJgwPGgBjrnSCPttPQXBlzQVGTyNjacj+R978o9R gfr+szcqCL8go0zzHGwEy42NyCeMN5q70zBjxO/RgbjaBMXkNvzzTkBOOezYD7mzD4 Z+r+za41eW7EfrmmTVq+l+BxMM7AOBP+QuflTekdH1uGAbXzkENnSJBOEhfNqRRlIl jReeTAuUuTkDhXATm3dbJTg/XWTHg2FG1C8vNwwzZc0Wi6Xx/wai4O6TOR7qK8Vsdn 64ZaQlRssNORMyPk0plhh7dXQeCQivzSFc4UfIlLbKWkHXG1ctGJfsEQ6gX+Ix5saQ bBNY5MHpkE1Yg== From: zamfofex Date: Wed, 14 Jun 2023 09:48:59 -0300 Message-Id: X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/games.scm (plunder): New variable. --- gnu/packages/games.scm | 42 +++++++++++++++++++++++++++++++++++++++++- 1 file changed, 41 insertions(+), 1 deletion(-) diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm index 862aa26805..fa5bdfde9a 100644 --- a/gnu/packages/games.scm +++ b/gnu/packages/games.scm @@ -70,7 +70,7 @@ ;;; Copyright © 2021 Foo Chuan Wei ;;; Copyright © 2022, 2023 Yovan Naumovski ;;; Copyright © 2022 Roman Riabenko -;;; Copyright © 2022 zamfofex +;;; Copyright © 2022, 2023 zamfofex ;;; Copyright © 2022 Gabriel Arazas ;;; Copyright © 2022 Maxim Cournoyer ;;; Copyright © 2022 Hendursaga @@ -154,6 +154,7 @@ (define-module (gnu packages games) #:use-module (gnu packages gtk) #:use-module (gnu packages guile) #:use-module (gnu packages haskell) + #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-crypto) #:use-module (gnu packages haskell-xyz) #:use-module (gnu packages icu4c) @@ -222,6 +223,7 @@ (define-module (gnu packages games) #:use-module (guix build-system glib-or-gtk) #:use-module (guix build-system gnu) #:use-module (guix build-system go) + #:use-module (guix build-system haskell) #:use-module (guix build-system meson) #:use-module (guix build-system perl) #:use-module (guix build-system python) @@ -11253,6 +11255,44 @@ (define-public liquidwar6 (home-page "https://www.gnu.org/software/liquidwar6/") (license license:gpl3+))) +(define-public plunder + (let ((commit "026ded7083df5134bdf05b1ec7e5a0099ac9b9d2") + (revision "1")) + (package + (name "plunder") + (version (git-version "1.0.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/jappeace/plunder") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0m0v8x6q9iq4zihwmysbxjwkq18nar6xhq4g18p2g8c6azj2mgd6")))) + (build-system haskell-build-system) + (inputs (list ghc-monadrandom + ghc-quickcheck + ghc-file-embed + ghc-generic-lens + ghc-lens + ghc-random + ghc-reflex + ghc-reflex-sdl2 + ghc-sdl2 + ghc-sdl2-gfx + ghc-sdl2-image + ghc-sdl2-ttf + ghc-vector + ghc-witherable)) + (native-inputs (list ghc-hspec ghc-hspec-core hspec-discover)) + (home-page "https://github.com/jappeace/plunder") + (synopsis "Game about looting a hexagonal-tile world") + (description + "A work-in-progress game where you control a viking and your objective +is to loot all of the occupied hexagonal tiles in the map.") + (license license:expat)))) + (define-public freerct (package (name "freerct")