summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorDavid Craven <david@craven.ch>2017-01-02 18:06:25 +0100
committerDavid Craven <david@craven.ch>2017-01-04 12:11:14 +0100
commit3254e1aba9ce3925a4e0b24c647240f96b5de8d4 (patch)
tree8795d07825f0b025dd19b582638d709bdbd63850 /gnu/packages/idris.scm
parent5a16d828b3bd0c458f6604fc4e0d7876377ff12c (diff)
downloadpatches-3254e1aba9ce3925a4e0b24c647240f96b5de8d4.tar
patches-3254e1aba9ce3925a4e0b24c647240f96b5de8d4.tar.gz
gnu: Add idris-lens.
* gnu/packages/idris.scm (idris-lens): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
-rw-r--r--gnu/packages/idris.scm26
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index e2afa5a89f..02198a5a7d 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -228,3 +228,29 @@ wl-pprint library.")
(description "This is a bifunctor library for Idris based off the
excellent Haskell Bifunctors package from Edward Kmett.")
(license license:bsd-3))))
+
+(define-public idris-lens
+ (let ((commit "26f012005f6849806cea630afe317e42cae97f29"))
+ (package
+ (name "idris-lens")
+ (version (git-version "0.1" "1" commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/HuwCampbell/idris-lens")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "06jzfj6rad08rk92w8jk5byi79svmyg0mrcqhibgx8rkjjy6vmai"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("idris" ,idris)))
+ (propagated-inputs
+ `(("idris-bifunctors" ,idris-bifunctors)))
+ (arguments (idris-default-arguments name))
+ (home-page "https://github.com/HuwCampbell/idris-lens")
+ (synopsis "Van Laarhoven lenses for Idris")
+ (description "Lenses are composable functional references. They allow
+accessing and modifying data within a structure.")
+ (license license:bsd-3))))