me
/
guix
Archived
1
0
Fork 0
Code
2,100 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

2 Commits (a8300ef9fd022e1e94fbeb626cbc9b2a43afd03b)

Author SHA1 Message Date
Ludovic Courtès aeb7ec5c9a monads: Allow resolution of a monad's bind/return at expansion time. 
* guix/monads.scm (<monad>): Turn in a raw SRFI-9 record type.
  (define-monad): New macro.
  (with-monad): Add a case for when MONAD is a macro.
  (identity-return, identity-bind, store-return, store-bind): Inline.
  (%identity-monad, %store-monad): Use 'define-monad'.
* tests/monads.scm ("monad?"): New test.
 2013-10-03 23:12:20 +02:00
Ludovic Courtès b860f38244 Add (guix monads). 
* guix/monads.scm: New file.
* tests/monads.scm: New file.
* Makefile.am (MODULES): Add guix/monads.scm.
  (SCM_TESTS): Add tests/monads.scm.
* doc/guix.texi (The Store Monad): New node.
  (The Store): Reference it.
 2013-10-03 23:12:20 +02:00