Mercurial > urweb

comparison src/core_util.sig @ 680:54ec237a3028

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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