Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
10:dde5c52e5e5e 11:e97c6d335869
32 | Continue of 'state 32 | Continue of 'state
33 33
34 type ('data, 'state, 'abort) mapfolder = 34 type ('data, 'state, 'abort) mapfolder =
35 'data -> 'state -> ('data * 'state, 'abort) result 35 'data -> 'state -> ('data * 'state, 'abort) result
36 36
37 val return2 : 'state1 -> 'state2 -> ('state1 * 'state2, 'abort) result 37 type ('context, 'data, 'state, 'abort) mapfolderB =
38 'context -> 'data -> 'state -> ('data * 'state, 'abort) result
39
40 val return2 : 'data -> 'state -> ('data * 'state, 'abort) result
38 41
39 val map : ('state1, 'abort) result 42 val map : ('state1, 'abort) result
40 * ('state1 -> 'state2) 43 * ('state1 -> 'state2)
41 -> ('state2, 'abort) result 44 -> ('state2, 'abort) result
42 45
43 val map2 : ('state2 -> ('state1 * 'state2, 'abort) result) 46 val map2 : ('state2 -> ('state1 * 'state2, 'abort) result)
44 * ('state1 -> 'state1') 47 * ('state1 -> 'state1')
45 -> ('state2 -> ('state1' * 'state2, 'abort) result) 48 -> ('state2 -> ('state1' * 'state2, 'abort) result)
46 49
47 val bind : ('state1, 'abort) result 50 val bind : ('state1, 'abort) result
48 * ('state1 -> ('state2, 'abort) result) 51 * ('state1 -> ('state2, 'abort) result)
49 -> ('state2, 'abort) result 52 -> ('state2, 'abort) result
50 53
51 val bind2 : ('state2 -> ('state1 * 'state2, 'abort) result) 54 val bind2 : ('state2 -> ('state1 * 'state2, 'abort) result)