Mercurial > urweb

comparison src/core_util.sig @ 488:5521bb0b4014

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Get preliminary ThreadedBlog working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 15:12:24 -0500
parents 685b41e85634
children 3162bbf8e30f
comparison
equal deleted inserted replaced
487:33d5bd69da00 488:5521bb0b4014
124 124
125 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state, 125 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
126 con : Core.con' * 'state -> Core.con' * 'state, 126 con : Core.con' * 'state -> Core.con' * 'state,
127 exp : Core.exp' * 'state -> Core.exp' * 'state} 127 exp : Core.exp' * 'state -> Core.exp' * 'state}
128 -> 'state -> Core.exp -> Core.exp * 'state 128 -> 'state -> Core.exp -> Core.exp * 'state
129 val foldMapB : {kind : Core.kind' * 'state -> Core.kind' * 'state,
130 con : 'context * Core.con' * 'state -> Core.con' * 'state,
131 exp : 'context * Core.exp' * 'state -> Core.exp' * 'state,
132 bind : 'context * binder -> 'context}
133 -> 'context -> 'state -> Core.exp -> Core.exp * 'state
129 end 134 end
130 135
131 structure Decl : sig 136 structure Decl : sig
132 datatype binder = datatype Exp.binder 137 datatype binder = datatype Exp.binder
133 138