Mercurial > urweb

diff src/search.sig @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents 38bf996e1c2e
children
line wrap: on
line diff
--- a/src/search.sig	Fri Mar 28 13:59:03 2008 -0400
+++ b/src/search.sig	Fri Mar 28 15:20:46 2008 -0400
@@ -34,7 +34,10 @@
     type ('data, 'state, 'abort) mapfolder =
          'data -> 'state -> ('data * 'state, 'abort) result
 
-    val return2 : 'state1 -> 'state2 -> ('state1 * 'state2, 'abort) result
+    type ('context, 'data, 'state, 'abort) mapfolderB =
+         'context -> 'data -> 'state -> ('data * 'state, 'abort) result
+
+    val return2 : 'data -> 'state -> ('data * 'state, 'abort) result
 
     val map : ('state1, 'abort) result
               * ('state1 -> 'state2)
@@ -43,7 +46,7 @@
     val map2 : ('state2 -> ('state1 * 'state2, 'abort) result)
                * ('state1 -> 'state1')
                -> ('state2 -> ('state1' * 'state2, 'abort) result)
-                         
+
     val bind : ('state1, 'abort) result
                * ('state1 -> ('state2, 'abort) result)
                -> ('state2, 'abort) result