diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-01-17 18:46:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-01-17 23:45:48 +0100 |
| commit | 81a97734e04fa40412b2d44ccfae1b4796257648 (patch) | |
| tree | dbb6513d891d778c41abe564891466c564721339 /.dir-locals.el | |
| parent | 5db3719153ccabd192eadaf99b14ad1149172c5b (diff) | |
monads: Add the state monad.
* guix/monads.scm (state-return, state-bind, run-with-state,
current-state, set-current-state, state-push, state-pop): New
procedures.
(%state-monad): New variable.
* tests/monads.scm (%monads): Add %STATE-MONAD.
(%monad-run): Add 'run-with-state'.
(values->list): New macro.
("set-current-state", "state-push etc."): New tests.
Diffstat (limited to '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index b099068dac..b82d0494e4 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -51,6 +51,7 @@ (eval . (put 'mlet* 'scheme-indent-function 2)) (eval . (put 'mlet 'scheme-indent-function 2)) (eval . (put 'run-with-store 'scheme-indent-function 1)) + (eval . (put 'run-with-state 'scheme-indent-function 1)) ;; Recognize '~', '+', and '$', as used for gexps, as quotation symbols. ;; This notably allows '(' in Paredit to not insert a space when the |