Mercurial > urweb
comparison src/core_util.sig @ 680:54ec237a3028
Marshalcheck
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 28 Mar 2009 11:13:36 -0400 |
parents | 230654093b51 |
children | 338be96f8533 |
comparison
equal
deleted
inserted
replaced
679:44f23712020d | 680:54ec237a3028 |
---|---|
66 con : 'context -> Core.con' -> Core.con', | 66 con : 'context -> Core.con' -> Core.con', |
67 bind : 'context * binder -> 'context} | 67 bind : 'context * binder -> 'context} |
68 -> 'context -> (Core.con -> Core.con) | 68 -> 'context -> (Core.con -> Core.con) |
69 | 69 |
70 val fold : {kind : Core.kind' * 'state -> 'state, | 70 val fold : {kind : Core.kind' * 'state -> 'state, |
71 con : Core.con' * 'state -> 'state} | 71 con : Core.con' * 'state -> 'state} |
72 -> 'state -> Core.con -> 'state | 72 -> 'state -> Core.con -> 'state |
73 | 73 |
74 val exists : {kind : Core.kind' -> bool, | 74 val exists : {kind : Core.kind' -> bool, |
75 con : Core.con' -> bool} -> Core.con -> bool | 75 con : Core.con' -> bool} -> Core.con -> bool |
76 | 76 |
77 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state, | 77 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state, |
78 con : Core.con' * 'state -> Core.con' * 'state} | 78 con : Core.con' * 'state -> Core.con' * 'state} |
79 -> 'state -> Core.con -> Core.con * 'state | 79 -> 'state -> Core.con -> Core.con * 'state |
80 end | 80 end |
81 | 81 |