From: Paul van der Walt <paul@denknerd.org>
To: guix-devel@gnu.org
Subject: [PATCH 101/105] gnu: Add ghc-kan-extensions.
Date: Thu, 15 Oct 2015 17:36:14 +0200 [thread overview]
Message-ID: <1444923378-10269-11-git-send-email-paul@denknerd.org> (raw)
In-Reply-To: <1444923378-10269-1-git-send-email-paul@denknerd.org>
* gnu/packages/haskell.scm (ghc-kan-extensions): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a8a8cb6..1fbd992 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3459,6 +3459,40 @@ package for older packages.")
given term should not exist.")
(license bsd-3)))
+(define-public ghc-kan-extensions
+ (package
+ (name "ghc-kan-extensions")
+ (version "4.2.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/kan-extensions/kan-extensions-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0iywbadpy8s3isfzlx9dlz3apaywhqq4gdbxkwygksq8pzdhwkrk"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-adjunctions" ,ghc-adjunctions)))
+ (inputs
+ `(("ghc-comonad" ,ghc-comonad)
+ ("ghc-contravariant" ,ghc-contravariant)
+ ("ghc-distributive" ,ghc-distributive)
+ ("ghc-free" ,ghc-free)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-semigroupoids" ,ghc-semigroupoids)
+ ("ghc-tagged" ,ghc-tagged)))
+ (home-page
+ "http://github.com/ekmett/kan-extensions/")
+ (synopsis
+ "Kan extensions library")
+ (description
+ "Kan extensions, Kan lifts, various forms of the Yoneda lemma,
+and (co)density (co)monads.")
+ (license bsd-3)))
+
(define-public ghc-statevar
(package
(name "ghc-statevar")
--
2.6.1
next prev parent reply other threads:[~2015-10-15 15:36 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
2015-10-15 15:36 ` [PATCH 092/105] gnu: Add ghc-resourcet Paul van der Walt
2015-10-15 15:36 ` [PATCH 093/105] gnu: Add ghc-streaming-commons Paul van der Walt
2015-10-15 15:36 ` [PATCH 094/105] gnu: Add ghc-xss-sanitize Paul van der Walt
2015-10-15 15:36 ` [PATCH 095/105] gnu: Add ghc-parsers Paul van der Walt
2015-10-15 15:36 ` [PATCH 096/105] gnu: Add ghc-cookie Paul van der Walt
2015-10-15 15:36 ` [PATCH 097/105] gnu: Add ghc-wai Paul van der Walt
2015-10-15 15:36 ` [PATCH 098/105] gnu: Add ghc-wai-logger Paul van der Walt
2015-10-15 15:36 ` [PATCH 099/105] gnu: Add ghc-wai-extra Paul van der Walt
2015-10-15 15:36 ` [PATCH 100/105] gnu: Add ghc-vector-binary-instances Paul van der Walt
2015-10-15 15:36 ` Paul van der Walt [this message]
2015-10-15 15:36 ` [PATCH 102/105] gnu: Add ghc-lens Paul van der Walt
2015-10-15 15:36 ` [PATCH 103/105] gnu: Add ghc-cheapskate Paul van der Walt
2015-10-15 15:36 ` [PATCH 104/105] gnu: Add ghc-trifecta Paul van der Walt
2015-10-15 15:36 ` [PATCH 105/105] gnu: Add Idris, the dependently-typed language Paul van der Walt
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1444923378-10269-11-git-send-email-paul@denknerd.org \
--to=paul@denknerd.org \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.