From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul van der Walt Subject: [PATCH 080/105] gnu: Add ghc-semigroupoids. Date: Thu, 15 Oct 2015 17:33:21 +0200 Message-ID: <1444923226-9811-14-git-send-email-paul@denknerd.org> References: <1444914384-24847-1-git-send-email-paul@denknerd.org> <1444923226-9811-1-git-send-email-paul@denknerd.org> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50309) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZmkXk-00041b-N8 for guix-devel@gnu.org; Thu, 15 Oct 2015 11:34:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZmkXj-0005ep-Jq for guix-devel@gnu.org; Thu, 15 Oct 2015 11:34:12 -0400 Received: from mx01.mykolab.com ([95.128.36.1]:32799 helo=mx-out02.mykolab.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZmkXj-0005eP-DF for guix-devel@gnu.org; Thu, 15 Oct 2015 11:34:11 -0400 Received: from mx08.mykolab.com (unknown [10.20.7.48]) by mx-out02.mykolab.com (Postfix) with ESMTPS id B16996217D for ; Thu, 15 Oct 2015 17:34:09 +0200 (CEST) In-Reply-To: <1444923226-9811-1-git-send-email-paul@denknerd.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org * gnu/packages/haskell.scm (ghc-semigroupoids): New variable. --- gnu/packages/haskell.scm | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index cd83b04..88944dc 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -3143,6 +3143,46 @@ are implemented as FFI bindings to efficient code from zlib.") (description "Bifunctors") (license bsd-3))) +(define-public ghc-semigroupoids + (package + (name "ghc-semigroupoids") + (version "5.0.0.4") + (source + (origin + (method url-fetch) + (uri (string-append + "http://hackage.haskell.org/package/semigroupoids/semigroupoids-" + version + ".tar.gz")) + (sha256 + (base32 + "1jf7jnfhdvl6p18wdr21yi2fim1xb8alcn6szhrdswj0dkilgq6d")))) + (build-system haskell-build-system) + (propagated-inputs + `(("ghc-base-orphans" ,ghc-base-orphans) + ("ghc-transformers-compat" ,ghc-transformers-compat) + ("ghc-bifunctors" ,ghc-bifunctors) + ("ghc-comonad" ,ghc-comonad) + ("ghc-contravariant" ,ghc-contravariant) + ("ghc-distributive" ,ghc-distributive))) + (arguments `(#:tests? #f)) ;; FIXME: test framework unavailable + (inputs + `(("ghc-semigroups" ,ghc-semigroups) + ("ghc-tagged" ,ghc-tagged) + ("ghc-doctest" ,ghc-doctest))) + (home-page + "http://github.com/ekmett/semigroupoids") + (synopsis "Semigroupoids: Category sans id") + (description + "Provides a wide array of (semi)groupoids and operations for working with +them. A 'Semigroupoid' is a 'Category' without the requirement of identity +arrows for every object in the category. A 'Category' is any 'Semigroupoid' +for which the Yoneda lemma holds. Finally, to work with these weaker +structures it is beneficial to have containers that can provide stronger +guarantees about their contents, so versions of 'Traversable' and 'Foldable' +that can be folded with just a 'Semigroup' are added.") + (license bsd-3))) + (define-public ghc-contravariant (package (name "ghc-contravariant") -- 2.6.1