From patchwork Mon Apr 18 18:09:45 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38664 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 0115927BBEA; Mon, 18 Apr 2022 19:12: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=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 BA8B427BBE9 for ; Mon, 18 Apr 2022 19:12:45 +0100 (BST) Received: from localhost ([::1]:53446 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrg-0002nR-VL for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:12:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56980) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s4-Q5 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46821) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq2-0002rl-87 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq2-0006Ih-2i for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 01/13] gnu: Add ghc-primes References: <87bkwyxo1f.fsf@thomaslabs.org> In-Reply-To: <87bkwyxo1f.fsf@thomaslabs.org> Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030543124024 (code B ref 55005); Mon, 18 Apr 2022 18:11:01 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:31 +0000 Received: from localhost ([127.0.0.1]:40679 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpT-0006FM-UP for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:31 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpS-0006FD-86 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305425; bh=Mj7n0kpvGwZnZ0AZ0ptQhPoLLTpQqOVZN1mVShFjFSs=; h=date:subject:cc:to: from; d=thomaslabs.org; b=Mmsi9DcZ2iofxzB2OKKy7+phyEafbenVngAmMCidGk+O vnziQi+3OIqhD75BiadFoA4/GB9dHk/+WPZe9Lk/4qZ4gYzVMl3RlJiJJXHrQCRI/dC/eu ybEdqdR0XhcgZ0fbeJs7jdUviO4H7/YIkod6uRqiUhK92ApI6u7YCqUk/gR381lc2tXjEL zv7DDTRgJZ9PK8hekaunIiu57SsmUkwxZ64d9k7HqcOt9PwNKRZirQQ0BXHHLQeOQNUoIL N+Zn3AzwPkw2QFhpPdQFPt69ZYUmyxiJDri9Qkxp9Ev7njbpIwLPW1CO+spLUl2h9X1jV6 yQrAp1Z4U9GZEqzynQ== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 71e57ef8 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:25 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:45 +0200 Message-Id: <20220418180957.19545-1-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 0ce47e0902..beba6a5d0c 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -30,6 +30,7 @@ ;;; Copyright © 2020 Christine Lemmer-Webber ;;; Copyright © 2021 Alice BRENON ;;; Copyright © 2021 John Kehayias +;;; Copyright © 2022 Thomas Albers Raviola ;;; ;;; This file is part of GNU Guix. ;;; @@ -16105,3 +16106,23 @@ (define-public ghc-singleton-bool "This package provides Type-level booleans.") (license license:bsd-3))) +(define-public ghc-primes + (package + (name "ghc-primes") + (version "0.2.1.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/primes/primes-" + version + ".tar.gz")) + (sha256 + (base32 "0ny6fzr967d1fifk050k95j9snnbjjif2bxf3v9s93k3zdc6bmkl")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (home-page "https://github.com/sebfisch/primes") + (synopsis "Purely functional generation of prime numbers") + (description + "This library provides an efficient lazy wheel sieve for prime generation.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:46 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38657 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 A7A2627BBEA; Mon, 18 Apr 2022 19:11: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=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 6FA8127BBE9 for ; Mon, 18 Apr 2022 19:11:33 +0100 (BST) Received: from localhost ([::1]:51736 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqW-0001Vq-Hl for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:32 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56974) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s2-Mc for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46822) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq2-0002rm-N1 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq2-0006Iw-IH for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 02/13] gnu: Add ghc-direct-sqlite Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030543824051 (code B ref 55005); Mon, 18 Apr 2022 18:11:02 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:38 +0000 Received: from localhost ([127.0.0.1]:40684 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpe-0006Fr-1Z for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:38 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpc-0006FD-2E for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305435; bh=Ti/PUG8/+TaMDirFN6az5rDC7ajKtKUyMXooP3GIMJc=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=RLVpLuKnIV6Vz wHmHJ+LgqaMYbXWRwORHtNNQVA3m8qRPVo1I9ILZ2x09Rwv9/MuuEk8iJcbZXR9U9/zyqU VhfDUvsYpKJACH2BBYy/wZOg94aYGU/4clPVYhvonK37lyvfvvyBfAaTUcOlVB2odEbyKZ tWXiGugo2Q5ENMZfg6UV8OxGVfRRnpietew1nPv0tDElSM3WCmqe9TnjyitxrItAXvrXCV Tm2z4xSR0kz0Hx2G99Qy9sPQoepxbN+V8/ITBASYla9AXcJtNZzD8OR2WpJddArSB2JUPF 3MCm0mLcsAAkcEpfE59FuKCXCTm613etkvYLm+Wh13d9AnlrA== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 6f4a9427 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:35 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:46 +0200 Message-Id: <20220418180957.19545-2-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 beba6a5d0c..a1f4678730 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16126,3 +16126,27 @@ (define-public ghc-primes (description "This library provides an efficient lazy wheel sieve for prime generation.") (license license:bsd-3))) + +(define-public ghc-direct-sqlite + (package + (name "ghc-direct-sqlite") + (version "2.3.26") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/direct-sqlite/direct-sqlite-" + version + ".tar.gz")) + (sha256 + (base32 "1z7rwaqhxl9hagbcndg3dkqysr5n2bcz2jrrvdl9pdi905x2663y")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-semigroups)) + (native-inputs (list ghc-hunit ghc-base16-bytestring ghc-temporary)) + (home-page "https://github.com/IreneKnapp/direct-sqlite") + (synopsis "Low-level binding to SQLite3") + (description + "Low-level binding to SQLite3. It supports strings encoded as UTF8, and +BLOBs represented as ByteStrings.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:47 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38660 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 B573F27BBEB; Mon, 18 Apr 2022 19:12:14 +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 5C0FD27BBE9 for ; Mon, 18 Apr 2022 19:12:14 +0100 (BST) Received: from localhost ([::1]:52568 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrB-00029M-Bp for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:12:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56972) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s1-Mp for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46823) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq3-0002ro-4p for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq2-0006J3-Vb for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 03/13] gnu: Add ghc-sqlite-simple Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030544124071 (code B ref 55005); Mon, 18 Apr 2022 18:11:02 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:41 +0000 Received: from localhost ([127.0.0.1]:40688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVph-0006GB-8l for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:41 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpe-0006FD-S2 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305438; bh=OQH3Pf1RDYNtCMWcocO7GDTsg4RaEN94IrGDQNpA+Ug=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=cPHRxpFhs6S1P Ky+hKTaWk9NMp+budYkt3ybpG3Je3NJnkhOfUv7fzW/zrkXsBt1pO59ot2uQUY16CE2PvB BBWLoraBQzdTYRy4neC38vz+z3H2w6jUzv2h4LxU/AYKoD0HEYBjkWR0TAbbCdXcEcD89Z X8MI2Teaec6+2GHFLaHxbx2Ub1S7l0LaLpCsglQb3zRbSokigZH5Rjm9i5RZkL55cghKss nYOYZj0zmFbrgUqvnSebhwHeLKzVl2aDob5ELKRIzhmfLjOZCjDH1ULtgJWjyQIcpSLTid b0v7YOycvfuGuUP3R+i47/wKFuckjkvQ9aMjjznb9q0Xs+meQ== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 8809c6b0 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:38 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:47 +0200 Message-Id: <20220418180957.19545-3-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/haskell-xyz.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index a1f4678730..18baf7b2f8 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16150,3 +16150,32 @@ (define-public ghc-direct-sqlite "Low-level binding to SQLite3. It supports strings encoded as UTF8, and BLOBs represented as ByteStrings.") (license license:bsd-3))) + +(define-public ghc-sqlite-simple + (package + (name "ghc-sqlite-simple") + (version "0.4.18.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/sqlite-simple/sqlite-simple-" + version + ".tar.gz")) + (sha256 + (base32 "00icsf8pgrcqcn5562lmn12yz1f16a2v2q6bl90iknvjyrk1hgzp")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs + (list ghc-attoparsec + ghc-blaze-builder + ghc-blaze-textual + ghc-direct-sqlite + ghc-semigroups + ghc-only)) + (native-inputs (list ghc-base16-bytestring ghc-hunit)) + (home-page "https://github.com/nurpax/sqlite-simple") + (synopsis "Mid-Level SQLite client library") + (description + "Mid-level SQLite client library, based on postgresql-simple.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:48 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38658 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 3546527BBEA; Mon, 18 Apr 2022 19:11:34 +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 EC38227BBE9 for ; Mon, 18 Apr 2022 19:11:33 +0100 (BST) Received: from localhost ([::1]:51800 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqX-0001Zm-4F for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56986) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s7-Q7 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46824) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq3-0002rp-GY for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq3-0006JA-C3 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 04/13] gnu: Add ghc-githash Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030544424084 (code B ref 55005); Mon, 18 Apr 2022 18:11:03 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:44 +0000 Received: from localhost ([127.0.0.1]:40691 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpj-0006GM-IM for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:43 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpg-0006FD-Ho for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305439; bh=rbIDdP7GZdt3dvo7BQ46IK2qUjvY4EsTrj3a+RXtb3I=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=McioIfUEwSkZy IazeQNdldM0IazAktzOp8MOovNq/5dmStGsE4yYwZ8/VYQ/GrAtB2qlYA4BS46ZmtVzoKp AUfLAKJwmmuyhxNp8+m8VqkKBstGekgO/WM8X+qyuIletjhjWGAQQ2ZALZDalntrojJPme VYCox5cjZTumknbmMjzeUIZyzezot04OWhMdvasOTblDSqRCiAqAFcQlJWe6wrn04ETcxu lJRCeRMmATUnqb6ZExki/+QeQ0cpTvRRw7GGRIbsx06c+6Nny3YwN/Jaqiecqwt87SDmxV 4OUbZ/BLQF2TanG9+vgD3XTt9QxRj9w/1/AEwL9yVGEnwpB8Q== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 50761e1f (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:39 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:48 +0200 Message-Id: <20220418180957.19545-4-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 18baf7b2f8..314209f573 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16179,3 +16179,28 @@ (define-public ghc-sqlite-simple (description "Mid-level SQLite client library, based on postgresql-simple.") (license license:bsd-3))) + +(define-public ghc-githash + (package + (name "ghc-githash") + (version "0.1.6.2") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/githash/githash-" + version + ".tar.gz")) + (sha256 + (base32 "1vkwc7j71vdrxy01vlm6xfp16kam7m9bnj9y3h217fzhq5mjywhz")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (arguments `(#:tests? #f)) + (inputs (list ghc-th-compat)) + (native-inputs (list ghc-hspec ghc-temporary ghc-unliftio)) + (home-page "https://github.com/snoyberg/githash") + (synopsis "Compile git revision info into Haskell projects") + (description + "Template Haskell splices for including the current git hash and branch +in the code of a project.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:49 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38662 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 65E7027BBEA; Mon, 18 Apr 2022 19:12:15 +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 1F31627BBE9 for ; Mon, 18 Apr 2022 19:12:15 +0100 (BST) Received: from localhost ([::1]:52654 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrC-0002Cd-8O for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:12:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56982) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s5-QC for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46825) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq3-0002rq-U7 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq3-0006JI-OL for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 05/13] gnu: Add ghc-optparse-simple Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030544624097 (code B ref 55005); Mon, 18 Apr 2022 18:11:03 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:46 +0000 Received: from localhost ([127.0.0.1]:40694 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpl-0006Gb-RA for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:46 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpj-0006FD-68 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:43 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305442; bh=QRvxvtUdG9Dti79GX5VKfFuW8YVAy8m5KSwczP16MuQ=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=E3180a2GOZ6WO vo1lCorpcggQhQ+wMS1qvdggstpzgBGnIUJ6J2t5VcCOaXxTcuLZsgNWEJ/ckkqSfkMQCq xxRhsJ/VuvYdnjlVbcODSBp0aYMA3catYKN5f4LDgwt9W3ZpKMky+Ul3VnY2TIWzMdeNOE vaEGpSShx281Vqio/NJaLhH4G/nOjmjl87U8Rc/GkDK6W/QoZPtV4WP9AsxpatH7UBMBNa EO/MK/ncI/zztpHqoPINCUiZTy6iaYWUwCfu0wutZ23sHTSBS/cYhpFO1iZErKh8jd8XNO 8AeJydN+RjyGdCDE9HPaL75Yeh/O6KzH5FCYNdp+wupdqsO4g== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id cdf820aa (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:42 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:49 +0200 Message-Id: <20220418180957.19545-5-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 314209f573..b9b2824dc4 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16204,3 +16204,25 @@ (define-public ghc-githash "Template Haskell splices for including the current git hash and branch in the code of a project.") (license license:bsd-3))) + +(define-public ghc-optparse-simple + (package + (name "ghc-optparse-simple") + (version "0.1.1.4") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/optparse-simple/optparse-simple-" + version + ".tar.gz")) + (sha256 + (base32 "0y3qgab8csiwyv60cnpzpv65n3c0ikvdx5b5mfkfahkv8xfdh08x")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-githash ghc-optparse-applicative ghc-th-compat)) + (home-page "https://github.com/fpco/optparse-simple") + (synopsis "Simple interface to @code{ghc-optparse-applicative}") + (description + "Simple helper functions to work with @code{ghc-optparse-applicative}.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:50 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38665 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 90B5527BBEA; Mon, 18 Apr 2022 19:13:04 +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 AC9A427BBE9 for ; Mon, 18 Apr 2022 19:13:03 +0100 (BST) Received: from localhost ([::1]:53896 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrx-00036j-T0 for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:13:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56998) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000sC-Rc for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46833) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq7-0002sF-3b for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq6-0006KG-VI for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 06/13] gnu: Add ghc-algebraic-graphs Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030546224233 (code B ref 55005); Mon, 18 Apr 2022 18:11:06 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:11:02 +0000 Received: from localhost ([127.0.0.1]:40718 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVq1-0006Ic-Qe for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:11:02 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpl-0006FD-3n for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305444; bh=HrW9A3mOhAPd4OXhE2bEYeN2TPZ0nsbGrVNqe4s6/10=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=fRKqR3kbuBwOd Lzlqynh0X67MzJZEowBCZ02oXF+IchCIp/VyXWjey/eOsxM3/VcPbGkGKkEjBAbbcsf7Zc 3FwByHysqvrrRv/J+Sdf4VDK5CmdhzZj/unB2VGe+NtYtCyD48T3Y7X5EoIGB3lD0zucpQ GeaBIUtzCg94b+4RdLfTbvDxn6XuMI2RIiXonvm9SUNQpq/eKwjlhFbhRZyAAbW51EHsKA Nvy+q8mmUvNYv79zmN3whHihBF6utvG3qywirlR2IQIJnStqKkMQF6tHGPzuiyf3DX6m6j JoC8jFbKYv72AgwjNDGOpamzH0n0embfGO5/3Nu2nuHiuuk5Q== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 46977d80 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:44 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:50 +0200 Message-Id: <20220418180957.19545-6-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/haskell-xyz.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index b9b2824dc4..5352e9f0b6 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16226,3 +16226,29 @@ (define-public ghc-optparse-simple (description "Simple helper functions to work with @code{ghc-optparse-applicative}.") (license license:bsd-3))) + +(define-public ghc-algebraic-graphs + (package + (name "ghc-algebraic-graphs") + (version "0.6") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/algebraic-graphs/algebraic-graphs-" + version + ".tar.gz")) + (sha256 + (base32 "1d3gwyimrzcc7i2qj3iimab3wz6vicgwybhq7ac3da86b8pjlgim")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (native-inputs (list ghc-extra ghc-inspection-testing ghc-quickcheck)) + (arguments + `(#:cabal-revision + ("1" "0f7ih4d0jls7399slxc3zkg38z32jm80jv74iyy42l8s6m5ya1cv"))) + (home-page "https://github.com/snowleopard/alga") + (synopsis "Library for algebraic graph construction and transformation") + (description + "Library for algebraic construction and manipulation of graphs in +Haskell.") + (license license:expat))) From patchwork Mon Apr 18 18:09:51 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38656 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 4173027BBEA; Mon, 18 Apr 2022 19:11: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=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 073F927BBE9 for ; Mon, 18 Apr 2022 19:11:33 +0100 (BST) Received: from localhost ([::1]:51708 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqW-0001Ud-5M for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:32 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56970) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s0-MD for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46826) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq4-0002rr-9L for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq4-0006JP-4z for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 07/13] gnu: Add ghc-record-hasfield Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545124146 (code B ref 55005); Mon, 18 Apr 2022 18:11:04 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:51 +0000 Received: from localhost ([127.0.0.1]:40703 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpr-0006HM-1e for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:51 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpl-0006GZ-Vg for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:46 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305444; bh=uXVTH9cVn2wizADYbExfaOBTw73K0z4bt2+6Oggone0=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=d3gk9hRXPr8lw lIp/GWiLLuLfgUjW8nHBSMeEostayBOmf3tUJdvAPlCSvt1ernPP7owIlytmtO7k3H+bCS p21JElhtj3jDo0ge0quPTvsW++5sTt2HukHh8jOdQxa+5wjtIpRgRyEA9srVqPo0CarASS CBXntWX9ecMnWdjXBu6aMyeMHmEpt2B33plzdvRdysYjpbaBOvonY1HC5FLdF8bFep+wGX 88/Uvvd0OG4JsK1L/Sx1injtIgY9OPC4aXkohrj1MDKKP+XnFnVulDPumP/JGAqwSLDbCt D7N61z7HYgRrvCTIRUmpck09be3uPvoSPBnEXMwGt3rn9tqCg== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 7d51755b (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:44 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:51 +0200 Message-Id: <20220418180957.19545-7-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 5352e9f0b6..4d50437ed4 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16252,3 +16252,26 @@ (define-public ghc-algebraic-graphs "Library for algebraic construction and manipulation of graphs in Haskell.") (license license:expat))) + +(define-public ghc-record-hasfield + (package + (name "ghc-record-hasfield") + (version "1.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/record-hasfield/record-hasfield-" + version + ".tar.gz")) + (sha256 + (base32 "1jlyhj4nlj4hrypdcv7393nccjmfjnh1311incgqhm5wzigjygaj")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (home-page "https://github.com/ndmitchell/record-hasfield") + (synopsis "Implementation of @code{GHC.Records}") + (description + "This package provides a version of @code{GHC.Records} as it will be +after the implementation of GHC proposal #42, plus some helper functions over +it.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:52 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38655 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 8C5CE27BBEB; Mon, 18 Apr 2022 19:11: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=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 15B4327BBEA for ; Mon, 18 Apr 2022 19:11:22 +0100 (BST) Received: from localhost ([::1]:50892 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqL-0000uT-6D for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56994) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000sB-RO for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46827) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq4-0002rv-Mi for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq4-0006JW-Hv for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 08/13] gnu: Add ghc-record-dot-preprocessor Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545124154 (code B ref 55005); Mon, 18 Apr 2022 18:11:04 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:51 +0000 Received: from localhost ([127.0.0.1]:40705 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpr-0006HP-Ai for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:51 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpm-0006GZ-K7 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305444; bh=lVYZ2kSk0kPlR7Eabw+NXz1Bv4G/3Mmo4w79pQ0UhLs=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=kNqq2+1HwDLaI UfrmxCL4ewOMQVAQeG2GwKO4oZ+YtEtVdp/Rt/txohHOAy/YiAxThU7zGj0X32jd+Migfq 91Kb4Pss/HBAxEqjuoCFsBr0iMrwK0eafocKuZLd/nYkga1d0pr7oh6ezvN6ujJAKCBxuj A74bDwBxNeULY7fldXvDnzjmbIAjsbr2xLsVRbLtlqekIFTReS4NlHWwJ7nYNhAQPTz5pv LQPn6YoM/5baopgE+O44rkcX7LPjZr65zpzjD98T0eNomGlKJ20sjeUKcmdbmzRXiR8blY hDOAUCLTzFK4bGlQcIojmWL1JHeoKk+5gGVMq4RtWwgXsJieg== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id ac326e3c (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:44 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:52 +0200 Message-Id: <20220418180957.19545-8-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 4d50437ed4..657eb496a5 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16275,3 +16275,24 @@ (define-public ghc-record-hasfield after the implementation of GHC proposal #42, plus some helper functions over it.") (license license:bsd-3))) + +(define-public ghc-record-dot-preprocessor + (package + (name "ghc-record-dot-preprocessor") + (version "0.2.14") + (source + (origin + (method url-fetch) + (uri (hackage-uri "record-dot-preprocessor" version)) + (sha256 + (base32 "07hq90pk30p14jqk016wchmqrc1qhwa9qajaj90i363g3arcb24p")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-uniplate ghc-extra)) + (native-inputs (list ghc-record-hasfield)) + (home-page "https://github.com/ndmitchell/record-dot-preprocessor") + (synopsis "Preprocessor to allow @code{record.field} syntax") + (description + "Preprocessor to allow the @code{record.field} syntax to access the +fields of records in Haskell.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:53 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38661 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 D2A5A27BBE9; Mon, 18 Apr 2022 19:12:14 +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 6BE9227BBEA for ; Mon, 18 Apr 2022 19:12:14 +0100 (BST) Received: from localhost ([::1]:52608 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrB-0002Ax-JD for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:12:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56978) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s3-PK for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46828) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq5-0002rz-6e for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq5-0006Je-1K for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 09/13] gnu: Add ghc-monoid-subclasses Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545224161 (code B ref 55005); Mon, 18 Apr 2022 18:11:04 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:52 +0000 Received: from localhost ([127.0.0.1]:40707 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpr-0006HX-Nc for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:52 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpn-0006GZ-9v for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305444; bh=TUpfjcRrO5YvQ6JWOa93xaqZBahviXBCsDuUOQhh5Rk=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=IYIkcmGQtuCiP XyDQDA946A6OoJHE9fiPF3BiToMTzH+cbZZvh7gPHZl5X+o9Az+0Lv7mN7TLv3MjUQbYV8 DH5sYI8ZAB5qArWby0GVqI0SZBQ69IZMQY9u//MN2a2TzFMtbUu8DDDNXQplaVfrhddMX7 vbRHMLhptPIiaeaUS/kcY1ka0y9tyK8NEuFCGQVQpLdynfPgiDzb02+l0rpT/1s5ETBatx QMJHzNTnBQKqlbU/WQua22xIWhrf48ONwo6fS7tytrtc4+GTz9QiPfzCkbQ9D763xK56Gl 9lK3XXE38WhQIRvRomYGe7hYmEsk9KfvZmFmK6UDIJkKlKwAw== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id a4fe23cc (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:44 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:53 +0200 Message-Id: <20220418180957.19545-9-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/haskell-xyz.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 657eb496a5..fdc9edabde 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16296,3 +16296,29 @@ (define-public ghc-record-dot-preprocessor "Preprocessor to allow the @code{record.field} syntax to access the fields of records in Haskell.") (license license:bsd-3))) + +(define-public ghc-monoid-subclasses + (package + (name "ghc-monoid-subclasses") + (version "1.1.3") + (source + (origin + (method url-fetch) + (uri (hackage-uri "monoid-subclasses" version)) + (sha256 + (base32 "1nglki10rlpi872p55pa8g809q5sna7yzh3zw4rqfhq89kb15wcv")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-primes ghc-vector)) + (native-inputs + (list ghc-quickcheck + ghc-quickcheck-instances + ghc-tasty + ghc-tasty-quickcheck)) + (home-page "https://github.com/blamario/monoid-subclasses/") + (synopsis "Subclasses of Monoid") + (description + "This package provides a hierarchy of subclasses of @code{Monoid} +together with their instances for all data structures from base, containers, +and text packages.") + (license license:bsd-3))) From patchwork Mon Apr 18 18:09:54 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38654 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 3D4DE27BBEB; Mon, 18 Apr 2022 19:11: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=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 CEB6F27BBE9 for ; Mon, 18 Apr 2022 19:11:21 +0100 (BST) Received: from localhost ([::1]:50882 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqK-0000tq-TF for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56988) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s8-Q8 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46829) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq5-0002s3-Iy for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq5-0006Jl-EY for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 10/13] gnu: Add ghc-fuzzy Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545224169 (code B ref 55005); Mon, 18 Apr 2022 18:11:05 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:52 +0000 Received: from localhost ([127.0.0.1]:40709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVps-0006He-97 for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:52 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpn-0006GZ-Vp for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305444; bh=WvP8hLv8gJgB/FM6vT6J/093rJ33Qbcl0Y62G1/sQb0=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=NuX2ERMwQwp4Z oAdgubBIXTlJuynNYZwgKdsu0D/5iB9ogj3TijhJlZsf1f0Blafq8PPy6z7Y2q0ZRRMMmQ movyLBV6GQSlnGfmdZdnFQVWwcqRiZsEyvxL7Se9yHg72RjcRB+GDPK/jfrUMwnNfJxuX/ pMwFEZnquNTYH6YQUG/jdGuMcqZWDl2OVObguuW8or87m9aF+/4Yr4QK1+fkJNzmij2gEY vedy+O8NkdMm+68ZCy2d+cB6AH810V/FJ3FkthbVHbRh0ETCOlLSI49d6PDXaznZ6L0FxT ILwYvH08eQk8lZb2ND6WFFG8G3Q1xQOyqH96s8kyus1wxU6ow== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id b981bc1e (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:44 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:54 +0200 Message-Id: <20220418180957.19545-10-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 fdc9edabde..35a3e7a078 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16322,3 +16322,24 @@ (define-public ghc-monoid-subclasses together with their instances for all data structures from base, containers, and text packages.") (license license:bsd-3))) + +(define-public ghc-fuzzy + (package + (name "ghc-fuzzy") + (version "0.1.0.1") + (source + (origin + (method url-fetch) + (uri (hackage-uri "fuzzy" version)) + (sha256 + (base32 "16pl4ba9f3wlx69pg8va1c2qg4zb9c0w50d7f6d84x9b5ysaza5w")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-monoid-subclasses)) + (native-inputs (list ghc-hunit)) + (home-page "https://github.com/joom/fuzzy") + (synopsis "Filter a list based on a fuzzy string search.") + (description + "Fuzzy string search library for Haskell. Uses TextualMonoid from +monoid-subclasses to be able to run on different types of strings.") + (license license:expat))) From patchwork Mon Apr 18 18:09:55 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38653 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 6C78427BBEA; Mon, 18 Apr 2022 19:11:21 +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 3ADEE27BBE9 for ; Mon, 18 Apr 2022 19:11:21 +0100 (BST) Received: from localhost ([::1]:50880 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqK-0000th-Ad for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56984) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s6-Pz for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46830) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq5-0002s4-UQ for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq5-0006Jt-Q0 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 11/13] gnu: Add ghc-strict-list Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545324181 (code B ref 55005); Mon, 18 Apr 2022 18:11:05 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:53 +0000 Received: from localhost ([127.0.0.1]:40711 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVps-0006Hm-Kf for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:53 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpo-0006GZ-J8 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305445; bh=HiUkBZRhS9tTEbGKUoqGS0SCfSGOfZBhBdetnxSrAGo=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=XzhUglmKgzKsS ABMzUb3iU/7/aLt71eBfY+O8IbXIGFATzdIs2pJTxYXJzvq5g3Pz4eOz40PbmiuN1To/B3 UkJDT4VIwvyj8qgtQTUG5LVtIN1tnu/HzRw80Ns49JvSjWZMS8CA/E71fhlgi8R4J9d6c2 CKjlEdTwiyKhX+LxQwJnUMvyAdc3UrMrgwaashctMv52jqg69bwUg8jY8VYIvgocSasKWa Dt1DQ7NYWUysK0q9BWqrgdsJk1UUeITMISWSeKZkxEYTgT6oJn2iTghMzUNo9MmvVvS6J8 gsPJFlWZz88VbkDs4nWvnFfOsXHMSr5IbMP+JQxnZnG6lVcog== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 8b6f65c4 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:45 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:55 +0200 Message-Id: <20220418180957.19545-11-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/haskell-xyz.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 35a3e7a078..cd6de908c6 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16343,3 +16343,29 @@ (define-public ghc-fuzzy "Fuzzy string search library for Haskell. Uses TextualMonoid from monoid-subclasses to be able to run on different types of strings.") (license license:expat))) + +(define-public ghc-strict-list + (package + (name "ghc-strict-list") + (version "0.1.6") + (source + (origin + (method url-fetch) + (uri (hackage-uri "strict-list" version)) + (sha256 + (base32 "0cbf3my7fghifplk7l2m77cc0x7xkh1pyv5k36h7dl6m2ddhmdc1")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-hashable ghc-semigroupoids)) + (native-inputs + (list ghc-quickcheck + ghc-quickcheck-instances + ghc-rerebase + ghc-tasty + ghc-tasty-hunit + ghc-tasty-quickcheck)) + (home-page "https://github.com/nikita-volkov/strict-list") + (synopsis "Strict linked list") + (description + "Implementation of strict linked list with care taken about stack.") + (license license:expat))) From patchwork Mon Apr 18 18:09:56 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38659 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 0F6DE27BBEA; Mon, 18 Apr 2022 19:11:35 +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 C938027BBE9 for ; Mon, 18 Apr 2022 19:11:34 +0100 (BST) Received: from localhost ([::1]:51766 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVqX-0001YN-Vm for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:11:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56990) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000s9-Qz for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46831) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq6-0002s7-Ay for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq6-0006K1-69 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 12/13] gnu: Add ghc-deque Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030545324187 (code B ref 55005); Mon, 18 Apr 2022 18:11:06 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:10:53 +0000 Received: from localhost ([127.0.0.1]:40713 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpt-0006Hy-2H for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:53 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpp-0006GZ-78 for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:49 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305445; bh=Q3tRAYBSzhYD4dEm654V52zBENBAu29XPvXj/ZytAB4=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=PPM3IGVCUfBvR PHPGcY07Dit2kbVCAiR2wrTOC0lwkdLN0+G9GpeIv2IFzFOwwH3gMHV9Yx4IAzmDrrDyJP Sv3muHjKenkqApIRJdo087b0iRqWTwGxVNoCy4+pB4/VEnT72BnvScn4f8XYj5sqz7Y7tz epVSonXD4UKps4h2XZMUTCdJ7zq6Mjzq/rQISLNoThtH318knkCil6UhNPwfRhtkCJUIUP 1bTq+V0xmaG60/D5G8h2nrMK3uqK7loZimKMYFiew/zmNDpYAX474oVtWPwe3XwVPMOj9S g8CRyf9QW6ohPuAQmLKS6rLX0EkhmCm/Yv2s0eWm3u28u4/xw== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 6ceb8c49 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:45 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:56 +0200 Message-Id: <20220418180957.19545-12-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- 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 cd6de908c6..2b8ea5c8e8 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16369,3 +16369,30 @@ (define-public ghc-strict-list (description "Implementation of strict linked list with care taken about stack.") (license license:expat))) + +(define-public ghc-deque + (package + (name "ghc-deque") + (version "0.4.4") + (source + (origin + (method url-fetch) + (uri (hackage-uri "deque" version)) + (sha256 + (base32 "1x0rjdqgf4kwgpyisx618waz6r9gki3ivav9m4biysyc04hdhinn")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-hashable ghc-strict-list)) + (native-inputs + (list ghc-quickcheck + ghc-quickcheck-instances + ghc-rerebase + ghc-tasty + ghc-tasty-hunit + ghc-tasty-quickcheck)) + (home-page "https://github.com/nikita-volkov/deque") + (synopsis "Double-ended queues") + (description + "Strict and lazy implementations of Double-Ended Queue based on head-tail +linked list.") + (license license:expat))) From patchwork Mon Apr 18 18:09:57 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Thomas Albers Raviola X-Patchwork-Id: 38663 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 8416827BBEA; Mon, 18 Apr 2022 19:12:16 +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 5327627BBE9 for ; Mon, 18 Apr 2022 19:12:16 +0100 (BST) Received: from localhost ([::1]:52710 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ngVrD-0002FE-HU for patchwork@mira.cbaines.net; Mon, 18 Apr 2022 14:12:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56992) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ngVqA-0000sA-Qh for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46832) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ngVq6-0002sE-Nq for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:10 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ngVq6-0006K8-J0 for guix-patches@gnu.org; Mon, 18 Apr 2022 14:11:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55005] [PATCH 13/13] gnu: Add ghc-mod Resent-From: Thomas Albers Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 18 Apr 2022 18:11:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55005 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55005@debbugs.gnu.org Cc: Thomas Albers Received: via spool by 55005-submit@debbugs.gnu.org id=B55005.165030546224221 (code B ref 55005); Mon, 18 Apr 2022 18:11:06 +0000 Received: (at 55005) by debbugs.gnu.org; 18 Apr 2022 18:11:02 +0000 Received: from localhost ([127.0.0.1]:40715 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVq1-0006IT-Dl for submit@debbugs.gnu.org; Mon, 18 Apr 2022 14:11:01 -0400 Received: from gamma.thomaslabs.org ([38.242.253.186]:53656) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ngVpp-0006GZ-TC for 55005@debbugs.gnu.org; Mon, 18 Apr 2022 14:10:50 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=default; t=1650305445; bh=OIdgL7jvtKpRRsBcPB+IGbplbgFADOjOKqnk3B1Kbwc=; h=references: in-reply-to:date:subject:cc:to:from; d=thomaslabs.org; b=JjwD8JCU3EKlX rJBMNO2aUYd3yAWhprg1wc7Rizt4qhl/q1K7VoVFKbCQ4j5LF5OqlKq7qDbQEm2UpWYsxq cdPLrI7GjbPWUr76vKCZieEK/qBtQoe6+slUlrhX9L9sYkvydAobTMt4OqBvZl8C6dlQqv Pzlj/nox0nlw+ptRdbNRSm7u7jwbRNsI3L+m0hG6NqznFfH+YW8/SS6GMySpgS+BZ9qynK JgkWLyNW/FOH7xJEAf5cVua7I9ZdDGxIwpydpHVUn6e2PQ/Udcu2/OdPty04g5JgXJW9u8 vvNtIWG9jnaNOwUDbq46SsL0qetK/HKkijF4Vk76s3aE0eDlQ== Received: from alpha.fritz.box (ip1f13c149.dynamic.kabel-deutschland.de [31.19.193.73]) by gamma.thomaslabs.org (OpenSMTPD) with ESMTPSA id 5221741f (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Mon, 18 Apr 2022 18:10:45 +0000 (UTC) Date: Mon, 18 Apr 2022 20:09:57 +0200 Message-Id: <20220418180957.19545-13-thomas@thomaslabs.org> X-Mailer: git-send-email 2.35.1 In-Reply-To: <20220418180957.19545-1-thomas@thomaslabs.org> References: <20220418180957.19545-1-thomas@thomaslabs.org> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Thomas Albers X-ACL-Warn: , Thomas Albers via Guix-patches X-Patchwork-Original-From: Thomas Albers via Guix-patches via From: Thomas Albers Raviola X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/haskell-xyz.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 2b8ea5c8e8..9c378f795f 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16396,3 +16396,29 @@ (define-public ghc-deque "Strict and lazy implementations of Double-Ended Queue based on head-tail linked list.") (license license:expat))) + +(define-public ghc-mod + (package + (name "ghc-mod") + (version "0.1.2.2") + (source + (origin + (method url-fetch) + (uri (hackage-uri "mod" version)) + (sha256 + (base32 "0m92yd323kjjwnphqlima2aj0hh7i1gnpblc8a29ks25gj0sv66v")))) + (build-system haskell-build-system) + (outputs '("out" "static")) + (inputs (list ghc-semirings ghc-primitive ghc-vector)) + (native-inputs + (list ghc-quickcheck-classes-base + ghc-tasty + ghc-tasty-quickcheck + ghc-quickcheck-classes + ghc-quickcheck-classes)) + (home-page "https://github.com/Bodigrim/mod") + (synopsis "Type-safe modular arithmetic") + (description + "Modular arithmetic, promoting moduli to the type level, with an emphasis +on performance. Originally part of @code{arithmoi} package.") + (license license:expat)))