guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

109/151: gnu: Add ghc-free.


From: Paul
Subject: 109/151: gnu: Add ghc-free.
Date: Mon, 19 Oct 2015 08:58:32 +0000

toothbrush pushed a commit to branch wip-haskell-platform-7.10.2-a
in repository guix.

commit fd53e50f6734a7d3593181c90eb1df98f9c862e1
Author: Paul van der Walt <address@hidden>
Date:   Thu Oct 15 15:48:22 2015 +0200

    gnu: Add ghc-free.
    
    * gnu/packages/haskell.scm (ghc-free): New variable.
---
 gnu/packages/haskell.scm |   37 +++++++++++++++++++++++++++++++++++++
 1 files changed, 37 insertions(+), 0 deletions(-)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 59e90d5..6cd09e8 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3318,6 +3318,43 @@ where every element did not have to have an inverse, 
thus the name
 semigroup.")
     (license bsd-3)))
 
+(define-public ghc-free
+  (package
+    (name "ghc-free")
+    (version "4.12.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "http://hackage.haskell.org/package/free/free-";
+             version
+             ".tar.gz"))
+       (sha256
+        (base32
+         "0sr8phvrb4ny8j1wzq55rdn8q4br23q4pw2j276npr844825jr9p"))))
+    (build-system haskell-build-system)
+    (propagated-inputs
+     `(("ghc-prelude-extras" ,ghc-prelude-extras)
+       ("ghc-profunctors" ,ghc-profunctors)
+       ("ghc-exceptions" ,ghc-exceptions)))
+    (inputs
+     `(("ghc-bifunctors" ,ghc-bifunctors)
+       ("ghc-comonad" ,ghc-comonad)
+       ("ghc-distributive" ,ghc-distributive)
+       ("ghc-mtl" ,ghc-mtl)
+       ("ghc-semigroupoids" ,ghc-semigroupoids)
+       ("ghc-semigroups" ,ghc-semigroups)))
+    (home-page "http://github.com/ekmett/free/";)
+    (synopsis "Monads for free")
+    (description
+     "Free monads are useful for many tree-like structures and domain specific
+languages.  If f is a 'Functor' then the free 'Monad' on f is the type of
+trees whose nodes are labeled with the constructors of f.  The word
+\"free\" is used in the sense of \"unrestricted\" rather than
+\"zero-cost\": Free f makes no constraining assumptions beyond those
+given by f and the definition of 'Monad'.")
+    (license bsd-3)))
+
 (define-public ghc-fast-logger
   (package
     (name "ghc-fast-logger")



reply via email to

[Prev in Thread] Current Thread [Next in Thread]