guix.git/guix/monads.scm, branch master

monads, gexp: Prevent redefinition of syntax parameters.

2019-02-06T22:06:18Z

Fixes . This fixes multi-threaded compilation of this code where syntax parameters could end up being redefined and where a race condition could lead a thread to see the "wrong" value of the syntax parameter. * guix/monads.scm (define-syntax-parameter-once): New macro. (>>=, return): Use it. * guix/gexp.scm (define-syntax-parameter-once): New macro. (current-imported-modules, current-imported-extensions): Use it.

monads: Add a template and specialization mechanism for monadic procedures.

2017-05-02T21:41:13Z

* guix/monads.scm (%templates, %template-instances): New variables. (register-template!, register-template-instance!): New procedures. (template-directory, define-template): New macro. (foldm, sequence, anym): Define using 'define-template'. Avoid replace ellipses with dots. (mapm): Likewise, but do not use 'foldm'. * guix/store.scm: Add 'template-directory' invocation.

monads: Improve mlet, mlet*, and mbegin documentation.

2017-04-08T12:40:51Z

* doc/guix.texi (The Store Monad) : Clarify their intended usage. * guix/monads.scm (mbegin): Update docstring accordingly. Signed-off-by: Ludovic Courtès

monads, doc: Improve mwhen and munless documentation.

2017-04-08T12:40:51Z

* doc/guix.texi (The Store Monad) : Document them. * guix/monads.scm (mwhen, munless): Clarify their intended use. Signed-off-by: Ludovic Courtès

monads: Use intent-revealing parameter names.

2017-04-08T12:40:50Z

* guix/monads.scm (mwhen, munless): Rename parameters from 'exp0' and 'exp' to 'mexp0' and 'mexp', respectively. This makes it more obvious that these expressions must be monadic expressions. Signed-off-by: Ludovic Courtès

monads: Fix 'liftN' fallback case.

2015-09-04T16:31:06Z

Reported by Andy Wingo . * guix/monads.scm (define-lift) : Add missing #'. Remove extra formal parameter. * tests/monads.scm ("lift"): Add test with 'lift1' as a procedure.

monads: Inline the procedure returned by liftN.

2015-08-28T23:22:54Z

* guix/monads.scm (define-lift): Turn into a macro that open-codes the result of its lift.

monads: Allow n-ary '>>=' expressions.

2015-06-08T21:00:49Z

Suggested by Federico Beffa . * guix/monads.scm (bind-syntax): New macro. (with-monad): Use it instead of 'identifier-syntax'. * tests/monads.scm (">>= with more than two arguments"): New test. * doc/guix.texi (The Store Monad): Explain that there can be several MPROC. Add an example.

monads: 'foldm', 'mapm', and 'anym' now take a list of regular values.

2015-05-27T07:44:43Z

* guix/monads.scm (foldm, mapm, anym): Change to take a list of regular values as is customary. * tests/monads.scm ("mapm", "anym"): Adjust accordingly.

monads: Optimize 'sequence'.

2015-04-17T16:15:38Z

* guix/monads.scm (sequence): Rewrite as a macro. This yields a 10% improvement in wall-clock time for 'guix system build'.