mirror of
https://github.com/correl/calrissian.git
synced 2024-11-27 11:09:58 +00:00
Correl Roush
22fb903209
(monad 'state) is synonymous with (transformer 'state 'identity). The monad macro has been updated to reflect that.
43 lines
1.2 KiB
Text
43 lines
1.2 KiB
Text
(defmacro monad (name)
|
|
(case name
|
|
;; Provide the state monad in terms of the state transformer
|
|
(''state `(transformer 'state 'identity))
|
|
(_
|
|
`(list_to_atom (lists:flatten (list "calrissian-"
|
|
(atom_to_list ,name)
|
|
"-monad"))))))
|
|
|
|
(defmacro transformer (name inner-monad)
|
|
`(tuple (list_to_atom (lists:flatten (list "calrissian-"
|
|
(atom_to_list ,name)
|
|
"-transformer")))
|
|
(monad ,inner-monad)))
|
|
|
|
(defmacro do-m args
|
|
(let ((monad (car args))
|
|
(statements (cdr args)))
|
|
(calrissian-monad:do-transform monad statements)))
|
|
|
|
(defmacro >>= (monad m f)
|
|
`(call ,monad '>>= ,m ,f))
|
|
|
|
(defmacro >> (monad m1 m2)
|
|
`(call ,monad '>>= ,m1 (lambda (_) , m2)))
|
|
|
|
(defmacro return (monad expr)
|
|
`(call ,monad 'return ,expr))
|
|
|
|
(defmacro fail (monad expr)
|
|
`(call ,monad 'fail ,expr))
|
|
|
|
(defmacro sequence (monad list)
|
|
`(: lists foldr
|
|
(lambda (m acc) (mcons ,monad m acc))
|
|
(return ,monad [])
|
|
,list))
|
|
|
|
(defmacro mcons (monad m mlist)
|
|
`(do-m ,monad
|
|
(x <- ,m)
|
|
(rest <- ,mlist)
|
|
(return ,monad (cons x rest))))
|