diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-12-02 10:10:51 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-02 16:51:43 +0100 |
| commit | b307c06456eefa10ebe59216599f554dae641cd6 (patch) | |
| tree | b1bcd00a43820d2fc6befa875f6193bcaf0575c7 | |
| parent | 21caa6deebee28f07467c5fd1dcd5b8997393ca4 (diff) | |
| download | guix-b307c06456eefa10ebe59216599f554dae641cd6.tar guix-b307c06456eefa10ebe59216599f554dae641cd6.tar.gz | |
monads: Add 'lift0'.
* guix/monads.scm (lift0): New variable.
| -rw-r--r-- | guix/monads.scm | 3 |
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)) |