From 5a16d828b3bd0c458f6604fc4e0d7876377ff12c Mon Sep 17 00:00:00 2001
From: David Craven <david@craven.ch>
Date: Mon, 2 Jan 2017 18:05:21 +0100
Subject: gnu: Add idris-bifunctors.

* gnu/packages/idris.scm (idris-bifunctors): New variable.
---
 gnu/packages/idris.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

(limited to 'gnu/packages/idris.scm')

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))))
-- 
cgit v1.2.3