[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
39/153: gnu: Add ghc-logict.
From: |
Paul |
Subject: |
39/153: gnu: Add ghc-logict. |
Date: |
Wed, 21 Oct 2015 20:50:17 +0000 |
toothbrush pushed a commit to branch wip-haskell-platform-7.10.2-a
in repository guix.
commit 4d1357c36cce389f69635848e970f949f70f2030
Author: Paul van der Walt <address@hidden>
Date: Thu Oct 15 21:10:24 2015 +0200
gnu: Add ghc-logict.
* gnu/packages/haskell.scm (ghc-logict): New variable.
---
gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
1 files changed, 25 insertions(+), 0 deletions(-)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d73ea49..28a65fb 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1060,6 +1060,31 @@ that implement regular expression pattern matching using
the same syntax and
semantics as Perl 5.")
(license bsd-3)))
+(define-public ghc-logict
+ (package
+ (name "ghc-logict")
+ (version "0.6.0.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/logict/logict-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "07hnirv6snnym2r7iijlfz00b60jpy2856zvqxh989q0in7bd0hi"))))
+ (build-system haskell-build-system)
+ (inputs `(("ghc-mtl" ,ghc-mtl)))
+ (home-page "http://code.haskell.org/~dolio/")
+ (synopsis "Backtracking logic-programming monad")
+ (description "This library provides a continuation-based, backtracking,
+logic programming monad. An adaptation of the two-continuation implementation
+found in the paper \"Backtracking, Interleaving, and Terminating Monad
+Transformers\" available @uref{http://okmij.org/ftp/papers/LogicT.pdf,
+online}.")
+ (license bsd-3)))
+
(define-public ghc-exceptions
(package
(name "ghc-exceptions")
- 20/153: gnu: Remove ghc-containers., (continued)
- 20/153: gnu: Remove ghc-containers., Paul, 2015/10/21
- 28/153: gnu: Add ghc-silently., Paul, 2015/10/21
- 31/153: gnu: Add ghc-hspec-meta., Paul, 2015/10/21
- 33/153: gnu: Add ghc-hspec., Paul, 2015/10/21
- 32/153: gnu: Add hspec-discover., Paul, 2015/10/21
- 35/153: gnu: Add ghc-appar., Paul, 2015/10/21
- 36/153: gnu: Add ghc-safe., Paul, 2015/10/21
- 29/153: gnu: Add ghc-hspec-expectations., Paul, 2015/10/21
- 30/153: gnu: Add ghc-hspec-core., Paul, 2015/10/21
- 38/153: gnu: Add ghc-pcre-light., Paul, 2015/10/21
- 39/153: gnu: Add ghc-logict.,
Paul <=
- 34/153: gnu: Add ghc-regex-base., Paul, 2015/10/21
- 41/153: gnu: Add ghc-quickcheck-unicode., Paul, 2015/10/21
- 25/153: gnu: Add ghc-transformers-compat., Paul, 2015/10/21
- 43/153: gnu: Add ghc-annotated-wl-pprint., Paul, 2015/10/21
- 37/153: gnu: Add ghc-generic-deriving., Paul, 2015/10/21
- 44/153: gnu: Add ghc-ansi-wl-pprint., Paul, 2015/10/21
- 42/153: gnu: ghc-split: Update dependencies., Paul, 2015/10/21
- 47/153: gnu: Add ghc-fingertree., Paul, 2015/10/21
- 50/153: gnu: Add ghc-vault., Paul, 2015/10/21
- 51/153: gnu: Add ghc-mmorph., Paul, 2015/10/21