From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id GAUYGzoSk1/UNQAA0tVLHw (envelope-from ) for ; Fri, 23 Oct 2020 17:26:18 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id SA8tFzoSk18OZwAA1q6Kng (envelope-from ) for ; Fri, 23 Oct 2020 17:26:18 +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 2441594051B for ; Fri, 23 Oct 2020 17:26:18 +0000 (UTC) Received: from localhost ([::1]:58712 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kW0pV-0003SK-2d for larch@yhetil.org; Fri, 23 Oct 2020 13:26:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34058) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kW0pG-0003Rs-I8 for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46747) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kW0pG-0000PH-8o for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kW0pG-0000EG-3x for guix-patches@gnu.org; Fri, 23 Oct 2020 13:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44174] [PATCH 01/16] gnu: Add ghc-control-monad-free. References: <20201023074653.8885-1-carloholl@gmail.com> In-Reply-To: <20201023074653.8885-1-carloholl@gmail.com> Resent-From: Carlo Holl Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 23 Oct 2020 17:26: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.1603473940739 (code B ref 44174); Fri, 23 Oct 2020 17:26:02 +0000 Received: (at 44174) by debbugs.gnu.org; 23 Oct 2020 17:25:40 +0000 Received: from localhost ([127.0.0.1]:58263 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kW0os-0000Bo-D9 for submit@debbugs.gnu.org; Fri, 23 Oct 2020 13:25:40 -0400 Received: from mail-pl1-f193.google.com ([209.85.214.193]:33510) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kW0Vo-00083r-3u for 44174@debbugs.gnu.org; Fri, 23 Oct 2020 13:05:57 -0400 Received: by mail-pl1-f193.google.com with SMTP id b19so1252326pld.0 for <44174@debbugs.gnu.org>; Fri, 23 Oct 2020 10:05:56 -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:mime-version :content-transfer-encoding; bh=6sgxJzi7tF9LO3KdYZ4oMVlIUj3TT7F905USN03OmCM=; b=qwxzJ+RmZVibiz2vukGCaUvlJ6gv/aqNMOxaurwrQaJOlw22pudHWc/Dfm0DIEOUjl w3vhGuF1w5wFW65yQN+5Vqc/BYDdUaGZoakv7WSionHaP5uMGQlJtsZaiEokW9ZGgLP8 kaUpA17dZ+2QnbEhM9zUuqR5wiyOvuqRZJbwPdd76OeZdbzPO18HKWiH6ZsOvl6LWiqD XzGKjxr6dg5ves6Aw/KaFZxTSaj5Bnli4t2ipDNwDeMxaFF7GeanmXEDQ36QgPhwwSQ1 LAaXsQI3PujxJ5Gca6557ZhWItcTXd2RCwIHimWZQoqOVRP09nEJsqYcsw6J/KQbDRbb 6kaw== 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:mime-version :content-transfer-encoding; bh=6sgxJzi7tF9LO3KdYZ4oMVlIUj3TT7F905USN03OmCM=; b=gptDT61BlG0OsflFHuwL4HjTS3vRx+Ob+wFmTKPTKn6zAZuNXU64Tj6PIseDYTsI5C do5Bi4FgWBYbkxMDE4SBQhO9EqAkeS5fa7wGXyc7O1/BSskasiDB9Abh2EFsTTnE2bpw ZLIVYSYR9kDXFTb+Qw53r7hRGqTJTC5JxARcZCTO8aNRLrfmXTZakWkHBi1caazGtjWc cjGg1rW7P6nXKRq+T78KHKYntpx/4hZEQy9ikDMLHDt/qtVrKyVem9lop9F1K1EzMIOw 2Z/gcMyqCvEnGiGdUS4i02MNYQHlBFZdm1OPQsglEdEBweJmf/VVC3D0X9pwPQpz0OHj uikw== X-Gm-Message-State: AOAM530GEqcM4LqrhHptRiYp/UUG+97j+S8353DrPF9gwkytXXXa1dPQ HJB/Sf1850YnLo/EPyWw+jAoUSyCYmI= X-Google-Smtp-Source: ABdhPJy/OvqBq2+ntny6EVEwFvJJGkO9Pg5+GxS+6nROzl/k7SUhuvQWVPzasQdKLgbwaghpgZAD3A== X-Received: by 2002:a17:902:ea8c:b029:d2:8abd:c8de with SMTP id x12-20020a170902ea8cb02900d28abdc8demr3330173plb.21.1603472750003; Fri, 23 Oct 2020 10:05:50 -0700 (PDT) Received: from cehdev.hsd1.ca.comcast.net ([2603:3024:1704:300::7ae9]) by smtp.gmail.com with ESMTPSA id q10sm2976825pjd.6.2020.10.23.10.05.49 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 23 Oct 2020 10:05:49 -0700 (PDT) From: Carlo Holl Date: Fri, 23 Oct 2020 10:05:29 -0700 Message-Id: <20201023170544.9860-1-carloholl@gmail.com> X-Mailer: git-send-email 2.28.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Mailman-Approved-At: Fri, 23 Oct 2020 13:25:37 -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: scn0 X-Spam-Score: 6.59 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=qwxzJ+Rm; 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: Yes X-TUID: S+Do7UGJdyKH --- 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..ccbe026142 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -2608,6 +2608,37 @@ 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