Converts a function f of n arguments into a function of n
monadic arguments returning a monadic value.
Source
clojure/contrib/monads.clj:180
top
(defmacro m-lift
"Converts a function f of n arguments into a function of n
monadic arguments returning a monadic value."
[n f]
(let [expr (take n (repeatedly #(gensym "x_")))
vars (vec (take n (repeatedly #(gensym "mv_"))))
steps (vec (interleave expr vars))]
(list `fn vars (monad-expr steps (cons f expr)))))
Comments top
No comments for m-lift. Log in to add a comment.