bug#26382: [PATCH 0/3] Improve documentation for monads.

[Chris Marusich]

Hi,

The following patch series attempts to clarify how one is supposed to
use some of the monad-related syntax that Guix provides.  It also
documents two commonly used forms (mwhen and munless) that were
missing from the manual.

Some of this might seem obvious to someone who is already familiar
with monads.  However, since I only recently learned about monads, a
lot of these details were not obvious to me at all.  For example, I
didn't know that every expression in an mbegin needs to be a monadic
expression (despite having read the manual multiple times).  This was
especially confusing because the same is NOT true for an mlet.  I hope
these patches will help clarify for other monad newbies how this
syntax is supposed to be used.

--
Chris

Chris Marusich (3):
  monads: Use intent-revealing parameter names.
  monads, doc: Improve mwhen and munless documentation.
  monads: Improve mlet, mlet*, and mbegin documentation.

 doc/guix.texi   | 28 +++++++++++++++++++++++++---
 guix/monads.scm | 36 +++++++++++++++++++++++-------------
 2 files changed, 48 insertions(+), 16 deletions(-)

-- 
2.12.0