From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 4GlYCPwknl+BSgAA0tVLHw (envelope-from ) for ; Sun, 01 Nov 2020 03:01:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id IBAcBPwknl8sfQAAB5/wlQ (envelope-from ) for ; Sun, 01 Nov 2020 03:01:16 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7282794042B for ; Sun, 1 Nov 2020 03:01:15 +0000 (UTC) Received: from localhost ([::1]:55644 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kZ3cH-00010A-Bx for larch@yhetil.org; Sat, 31 Oct 2020 23:01:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35496) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZ3c6-0000zk-R6 for guix-patches@gnu.org; Sat, 31 Oct 2020 23:01:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:51927) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kZ3c6-00082w-HJ for guix-patches@gnu.org; Sat, 31 Oct 2020 23:01:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kZ3c6-00014I-FA for guix-patches@gnu.org; Sat, 31 Oct 2020 23:01:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44174] [PATCH v2 01/15] gnu: Add ghc-control-monad-free. Resent-From: Carlo Holl Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 01 Nov 2020 03:01:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 44174@debbugs.gnu.org Cc: Carlo Holl Received: via spool by 44174-submit@debbugs.gnu.org id=B44174.16041996503984 (code B ref 44174); Sun, 01 Nov 2020 03:01:02 +0000 Received: (at 44174) by debbugs.gnu.org; 1 Nov 2020 03:00:50 +0000 Received: from localhost ([127.0.0.1]:35212 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kZ3br-000128-C5 for submit@debbugs.gnu.org; Sat, 31 Oct 2020 23:00:50 -0400 Received: from mail-pl1-f171.google.com ([209.85.214.171]:36408) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kZ2iV-0007tz-Js for 44174@debbugs.gnu.org; Sat, 31 Oct 2020 22:03:36 -0400 Received: by mail-pl1-f171.google.com with SMTP id r10so4982810plx.3 for <44174@debbugs.gnu.org>; Sat, 31 Oct 2020 19:03:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=eW3GJXxPUZyt7QI8s8W6rkbsVY9veXUcAWYZiSrvzbU=; b=jShtIdJw05ZVVSq5AZ81PNXUIDinvD0MC6AujQRTB2GzxSuTBEldzydcex1aGEk8iZ PN15wfmyoDnkA+lFniQbCMqb48+EkyfncDC/FWrGdAA2vUxIh1Ow7swHeS/G9TmR5LUN dutz5Jnf7BEI8j+vO9NqiSNLoft9yiJ5JV41PMuxuzj1fcsMRRE2IiLGvMDOvESeA7mk JpSu/cmFcCkbVZqEkJne2UVrNtJ2u4ljiWBRtA/KkeFklbd4oUVak0OS6SxYmQAP9Ei5 TFckzLSYiwXgk5xS20hIZmWLlSKh7PPiEQ7j3xMH+EZdZHU2Wg0H5+IqG6MZkt/jwGAG 5dig== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=eW3GJXxPUZyt7QI8s8W6rkbsVY9veXUcAWYZiSrvzbU=; b=rKpFWnQaGmRMuOPedbiLeNf3jLb+PtVyv+5oZDHuZ2SK3f4fJ/9RTA63A9xdAqAYky 0M/R4qn6WRT9l+vl8T9UkYSy0GIGw3a2jA/s17g44n8uQmDAMRYwaJoWtWrEsJN2I02J fP4Esk+S2zeGLbqvgzkdgtQtNoJtmk0yse1cisSQbUG/bvAFBB93z9fz2CD8idomBUyB F/9HL/PC8ur9jAjWCpT6lhpcpU5H2tAZzCc9PfUDYHJSm/fvU0mJl6bJZ+CU5ytURiBn Pm22vdpfneGxuAMbGf7hYwEDhhPrSBiRHYGSPpnxzQ8q2X3QxXQahdQP1cEwxa8wjlgh Qdbg== X-Gm-Message-State: AOAM533G5MpZDBcC1Q+4F2vmKJDXiZ+bk1XrKQRfoGvW01jKXMgATqeV cvRUUBUAHTMJCN8PxD1rZjRsg3Eg5h0= X-Google-Smtp-Source: ABdhPJwkyDCADfVYDvpRSNYx1y9pD7Y/kGMAl3J8V9WqncXsATqfrrMKzI1jDx03+cD+NoAXrnHfjQ== X-Received: by 2002:a17:90a:2c46:: with SMTP id p6mr10718078pjm.166.1604196209768; Sat, 31 Oct 2020 19:03:29 -0700 (PDT) Received: from cehdev.hsd1.ca.comcast.net ([2603:3024:1704:300::8401]) by smtp.gmail.com with ESMTPSA id n27sm3051213pfq.59.2020.10.31.19.03.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 31 Oct 2020 19:03:29 -0700 (PDT) From: Carlo Holl Date: Sat, 31 Oct 2020 19:02:22 -0700 Message-Id: <20201101020236.1108-2-carloholl@gmail.com> X-Mailer: git-send-email 2.28.0 In-Reply-To: <20201101020236.1108-1-carloholl@gmail.com> References: <20201101020236.1108-1-carloholl@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Mailman-Approved-At: Sat, 31 Oct 2020 23:00:46 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=gmail.com header.s=20161025 header.b=jShtIdJw; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 1.09 X-TUID: Yzvmk3nMVMDF * gnu/packages/haskell-xyz.scm (ghc-control-monad-free): New variable. --- gnu/packages/haskell-xyz.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 5b9da15630..762435fa6b 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -26,6 +26,7 @@ ;;; Copyright © 2020 JoJo ;;; Copyright © 2020 Nicolas Goaziou ;;; Copyright © 2020 Alexandru-Sergiu Marton +;;; Copyright © 2020 Carlo Holl ;;; ;;; This file is part of GNU Guix. ;;; @@ -2608,6 +2609,36 @@ a vocabulary for working with them.") @code{ghc-contravariant} package.") (license license:expat))) +(define-public ghc-control-monad-free + (package + (name "ghc-control-monad-free") + (version "0.6.2") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/control-monad-free/control-monad-free-" + version + ".tar.gz")) + (sha256 + (base32 + "1habgf7byffqf1rqjkzpihvdhclaafgqsqpfpwp3fgpj5ayk1j33")))) + (build-system haskell-build-system) + (home-page "https://github.com/pepeiborra/control-monad-free") + (synopsis "Free monads and monad transformers") + (description "This package provides datatypes to construct Free monads, +Free monad transformers, and useful instances. In addition it provides the +constructs to avoid quadratic complexity of left associative bind, as explained in: + +@itemize @bullet +@item +Janis Voigtlander, @cite{Asymptotic Improvement of Computations over +Free Monads, MPC'08} +@end itemize + +") + (license license:public-domain))) + (define-public ghc-convertible (package (name "ghc-convertible") -- 2.28.0