Mercurial > urweb

diff src/core_util.sig @ 484:685b41e85634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Defunctionalization gets CommentBlog working
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 16:54:42 -0500
parents 9117a7bf229c
children 5521bb0b4014
line wrap: on
line diff
--- a/src/core_util.sig	Sun Nov 09 12:41:34 2008 -0500
+++ b/src/core_util.sig	Sun Nov 09 16:54:42 2008 -0500
@@ -105,6 +105,12 @@
                 con : Core.con' * 'state -> 'state,
                 exp : Core.exp' * 'state -> 'state}
                -> 'state -> Core.exp -> 'state
+
+    val foldB : {kind : Core.kind' * 'state -> 'state,
+                 con : 'context * Core.con' * 'state -> 'state,
+                 exp : 'context * Core.exp' * 'state -> 'state,
+                 bind : 'context * binder -> 'context}
+                -> 'context -> 'state -> Core.exp -> 'state
                                         
     val exists : {kind : Core.kind' -> bool,
                   con : Core.con' -> bool,
@@ -148,6 +154,12 @@
                    exp : Core.exp' * 'state -> Core.exp' * 'state,
                    decl : Core.decl' * 'state -> Core.decl' * 'state}
                   -> 'state -> Core.decl -> Core.decl * 'state
+    val foldMapB : {kind : Core.kind' * 'state -> Core.kind' * 'state,
+                    con : 'context * Core.con' * 'state -> Core.con' * 'state,
+                    exp : 'context * Core.exp' * 'state -> Core.exp' * 'state,
+                    decl : 'context * Core.decl' * 'state -> Core.decl' * 'state,
+                    bind : 'context * binder -> 'context}
+                   -> 'context -> 'state -> Core.decl -> Core.decl * 'state
 end
 
 structure File : sig