mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2025-01-12 14:16:55 -05:00
monads: Add 'lift0'.
* guix/monads.scm (lift0): New variable.
This commit is contained in:
parent
21caa6deeb
commit
b307c06456
1 changed files with 2 additions and 1 deletions
|
@ -41,7 +41,7 @@ (define-module (guix monads)
|
|||
mbegin
|
||||
mwhen
|
||||
munless
|
||||
lift1 lift2 lift3 lift4 lift5 lift6 lift7 lift
|
||||
lift0 lift1 lift2 lift3 lift4 lift5 lift6 lift7 lift
|
||||
listm
|
||||
foldm
|
||||
mapm
|
||||
|
@ -222,6 +222,7 @@ (define (liftn proc monad)
|
|||
(with-monad monad
|
||||
(return (proc args ...))))))))
|
||||
|
||||
(define-lift lift0 ())
|
||||
(define-lift lift1 (a))
|
||||
(define-lift lift2 (a b))
|
||||
(define-lift lift3 (a b c))
|
||||
|
|
Loading…
Reference in a new issue