summaryrefslogtreecommitdiff
path: root/guix/monads.scm
diff options
context:
space:
mode:
authorChris Marusich <cmmarusich@gmail.com>2017-04-06 02:28:36 -0700
committerLudovic Courtès <ludo@gnu.org>2017-04-08 14:40:51 +0200
commit8bc2183fe54487793e9eb6b39ba01329671840b9 (patch)
treefeb0db0228724d2631871c4baf3bf621af764eb4 /guix/monads.scm
parent60a9fcb1377e4acc78a930904ef80b69a1c63f25 (diff)
downloadgnu-guix-8bc2183fe54487793e9eb6b39ba01329671840b9.tar
gnu-guix-8bc2183fe54487793e9eb6b39ba01329671840b9.tar.gz
monads: Improve mlet, mlet*, and mbegin documentation.
* doc/guix.texi (The Store Monad) <mlet, mlet*, mbegin>: Clarify their intended usage. * guix/monads.scm (mbegin): Update docstring accordingly. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'guix/monads.scm')
-rw-r--r--guix/monads.scm5
1 files changed, 3 insertions, 2 deletions
diff --git a/guix/monads.scm b/guix/monads.scm
index fe3d5d78f1..317f85d079 100644
--- a/guix/monads.scm
+++ b/guix/monads.scm
@@ -185,8 +185,9 @@ form is (VAR -> VAL), bind VAR to the non-monadic value VAL in the same way as
(define-syntax mbegin
(syntax-rules (%current-monad)
- "Bind the given monadic expressions in sequence, returning the result of
-the last one."
+ "Bind MEXP and the following monadic expressions in sequence, returning
+the result of the last expression. Every expression in the sequence must be a
+monadic expression."
((_ %current-monad mexp)
mexp)
((_ %current-monad mexp rest ...)