Mercurial > urweb
diff src/search.sig @ 11:e97c6d335869
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