From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id sBUNHvG3iWSlFgEASxT56A (envelope-from ) for ; Wed, 14 Jun 2023 14:52:01 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id UOvsHfG3iWSsZAAA9RJhRA (envelope-from ) for ; Wed, 14 Jun 2023 14:52:01 +0200 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 5954A63B1 for ; Wed, 14 Jun 2023 14:52:01 +0200 (CEST) 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 Content-Transfer-Encoding: 8bit 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+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1686747121; a=rsa-sha256; cv=none; b=TRXWAvVLGyz8TUpvfpZSjMBjaKfJL3Aafc98uzgaO4Xdi1o7MA12hmyQ8loAmvert6gkN3 tn3M5caJSyQs8fnC/LO3qf/qPuS1aXsUkcI4/i7zdYmlvzgXbmR92hOqx6i6pKnrl6vZn/ 2gmKBWGrwxqQaH+9R/EM8XhLR/A4Otc20Q9HBqzSltAxAXguDekrv1e1DXg0Nw9KpQU+gW nZASaf+g/KrsiqDDZxnRv86NUgfsuckk6m+Iv/ltrAktsdsg9IgctWaDfL6aGg2iub0ciL iuLrktijlku1BlnlE6GCr+5IkleV8N0YJD05yx0GO8pTdkP7Z60fCtBsOJej/w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none ("invalid DKIM record") header.d=twdb.moe header.s=default header.b=GTbZ8gZa; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1686747121; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=URtuE5F+bcjj17TKYurpPy1VJfsRmYfhlhYMom+GW24=; b=hnrMBtWm+HVGbaNpq8vT+x+1conbaj9MPU2fA5Rui+m3yonOn/hrG5q76E2RUM5X4kOYj5 MEbEB/8zjanBHxN32jvG5IQ3sIVeYhtcITuzYtWq4lROZuOZCphTkE/u384JZ9fBSkXCng e5g5Eb9fuaguWjbzEnhsdxplcb//JWlK77RFy5xrvqcgPL8uqNxKGoZiNJe2BQcTS8sPHT 1uY66oHyp76V+O2wOcpUMuKy/YnCVg5IirYBmvVLGHJnhIHNIHhDfKNCW0Ob3q2gFpOFJ0 yJvZN2AxTVO6Cj7MwSgXlieFPohUQOzb8wIR+jaEkLM9XGpbOTU7wxB5cMkv0g== Authentication-Results: aspmx1.migadu.com; dkim=none ("invalid DKIM record") header.d=twdb.moe header.s=default header.b=GTbZ8gZa; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -1.03 X-Spam-Score: -1.03 X-Migadu-Queue-Id: 5954A63B1 X-TUID: 6PD2D8rJ7uM3 * 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") -- 2.40.1