diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:06:25 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 3254e1aba9ce3925a4e0b24c647240f96b5de8d4 (patch) | |
| tree | 8795d07825f0b025dd19b582638d709bdbd63850 /gnu | |
| parent | 5a16d828b3bd0c458f6604fc4e0d7876377ff12c (diff) | |
| download | patches-3254e1aba9ce3925a4e0b24c647240f96b5de8d4.tar patches-3254e1aba9ce3925a4e0b24c647240f96b5de8d4.tar.gz | |
gnu: Add idris-lens.
* gnu/packages/idris.scm (idris-lens): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/idris.scm | 26 |
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)))) |