Mercurial > urweb
comparison 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 |
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) |