aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-12-02 10:10:51 +0100
committerLudovic Courtès <ludo@gnu.org>2014-12-02 16:51:43 +0100
commitb307c06456eefa10ebe59216599f554dae641cd6 (patch)
treeb1bcd00a43820d2fc6befa875f6193bcaf0575c7
parent21caa6deebee28f07467c5fd1dcd5b8997393ca4 (diff)
downloadguix-b307c06456eefa10ebe59216599f554dae641cd6.tar
guix-b307c06456eefa10ebe59216599f554dae641cd6.tar.gz
monads: Add 'lift0'.
* guix/monads.scm (lift0): New variable.
-rw-r--r--guix/monads.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/monads.scm b/guix/monads.scm
index 52cb3f5ed0..65683e65de 100644
--- a/guix/monads.scm
+++ b/guix/monads.scm
@@ -41,7 +41,7 @@
mbegin
mwhen
munless
- lift1 lift2 lift3 lift4 lift5 lift6 lift7 lift
+ lift0 lift1 lift2 lift3 lift4 lift5 lift6 lift7 lift
listm
foldm
mapm
@@ -222,6 +222,7 @@ CONDITION is true, return *unspecified* in the current monad."
(with-monad monad
(return (proc args ...))))))))
+(define-lift lift0 ())
(define-lift lift1 (a))
(define-lift lift2 (a b))
(define-lift lift3 (a b c))