Mercurial > urweb

diff src/core_util.sig @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 3bbed533fbd2
line wrap: on
line diff
--- a/src/core_util.sig	Sun Jul 13 10:17:06 2008 -0400
+++ b/src/core_util.sig	Sun Jul 13 11:43:57 2008 -0400
@@ -121,6 +121,12 @@
                 exp : Core.exp' * 'state -> 'state,
                 decl : Core.decl' * 'state -> 'state}
                -> 'state -> Core.decl -> 'state
+
+    val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
+                   con : Core.con' * 'state -> Core.con' * 'state,
+                   exp : Core.exp' * 'state -> Core.exp' * 'state,
+                   decl : Core.decl' * 'state -> Core.decl' * 'state}
+                  -> 'state -> Core.decl -> Core.decl * 'state
 end
 
 structure File : sig
@@ -151,6 +157,12 @@
                 exp : Core.exp' * 'state -> 'state,
                 decl : Core.decl' * 'state -> 'state}
                -> 'state -> Core.file -> 'state
+
+    val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
+                   con : Core.con' * 'state -> Core.con' * 'state,
+                   exp : Core.exp' * 'state -> Core.exp' * 'state,
+                   decl : Core.decl' * 'state -> Core.decl' * 'state}
+                  -> 'state -> Core.file -> Core.file * 'state
 end
 
 end