hiro/emacs-jupyter
1
0
Fork 0
mirror of https://github.com/vale981/emacs-jupyter synced 2025-03-06 16:01:37 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

binding stuff

Browse source
This commit is contained in:
Nathaniel Nicandro 2020-05-11 13:18:22 -05:00
parent 207580968a
commit 190eaeea11
1 changed files with 15 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
jupyter-monads.el
View file

@ -71,29 +71,38 @@
(binder
(lambda (vars)
(if (zerop (length vars))
`(jupyter-return-thunk ,@body)
`(let ((res (progn ,@body)))
(if res (jupyter-return res)
jupyter-io-nil))
`(jupyter-bind ,(cadar vars)
(lambda (val)
(setq ,(caar vars) val)
,@(unless (eq (caar vars) '_)
`((setq ,(caar vars) val)))
,(funcall binder (cdr vars))))))))
`(let ,(cons result (mapcar #'car varlist))
;; nil is bound here to kick off the chain of binds.
;; TODO Is it safe to assume nil?
(jupyter-bind jupyter-io-nil
,(funcall binder varlist))
,result)))
,(funcall binder varlist)))))
(defun jupyter--do (&rest mfns)
(cl-reduce
(lambda (io-value mfn)
(jupyter-bind io-value mfn))
mfns :initial-value jupyter-io-nil))
mfns :initial-value jupyter-current-io))
(defmacro jupyter-with-io (io &rest io-fns)
(declare (indent 1))
;; Thread IO through the monad, return the resulting IO-VALUE.
`(cl-reduce #'jupyter-bind
,@io-fns :initial-value (jupyter-return ,io)))
(defmacro jupyter-do (io &rest forms)
(declare (indent 1))
(declare (indent 1) (debug (form &rest form)))
`(let ((jupyter-current-io ,io))
(jupyter--do ,@forms)))
(defun jupyter-after (io-value io-fn)
"Return an I/O action that binds IO-VALUE to IO-FN.
That is, IO-FN is evaluated after binding IO-VALUE within the I/O