summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Craven <david@craven.ch>2017-01-02 18:05:21 +0100
committerDavid Craven <david@craven.ch>2017-01-04 12:11:14 +0100
commit5a16d828b3bd0c458f6604fc4e0d7876377ff12c (patch)
treee58bfe540a537c838eae3abf8c5b281e00e08844
parent4e17fff386070ca39960da7a4b8d2445ccc874ba (diff)
downloadpatches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar
patches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar.gz
gnu: Add idris-bifunctors.
* gnu/packages/idris.scm (idris-bifunctors): New variable.
-rw-r--r--gnu/packages/idris.scm24
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 7543c379b5..e2afa5a89f 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -204,3 +204,27 @@ difference: backtracking.")
paper A Prettier Printer and on Daan Leijen's extensions in the Haskell
wl-pprint library.")
(license license:bsd-2))))
+
+(define-public idris-bifunctors
+ (let ((commit "53d06a6ccfe70c49c9ae8c8a4135981dd2173202"))
+ (package
+ (name "idris-bifunctors")
+ (version (git-version "0.1" "1" commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/HuwCampbell/Idris-Bifunctors")
+ (commit commit)))
+ (file-name (string-append name "-" version "-checkout"))
+ (sha256
+ (base32
+ "02vbsd3rmgnj0l1qq787709qcxjbr9890cbad4ykn27f77jk81h4"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("idris" ,idris)))
+ (arguments (idris-default-arguments name))
+ (home-page "https://github.com/HuwCampbell/Idris-Bifunctors")
+ (synopsis "Bifunctor library")
+ (description "This is a bifunctor library for Idris based off the
+excellent Haskell Bifunctors package from Edward Kmett.")
+ (license license:bsd-3))))