From 7f2a565070de18d9a1145e08e31777c1187acd1a Mon Sep 17 00:00:00 2001 From: Carlo Holl Date: Sat, 31 Oct 2020 19:02:22 -0700 Subject: gnu: Add ghc-control-monad-free. * gnu/packages/haskell-xyz.scm (ghc-control-monad-free): New variable. Signed-off-by: Christopher Baines --- gnu/packages/haskell-xyz.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'gnu/packages/haskell-xyz.scm') diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 5b9da15630..c27eabdd74 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") -- cgit v1.2.3