Mercurial > urweb

comparison src/core_util.sig @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 3bbed533fbd2
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
119 val fold : {kind : Core.kind' * 'state -> 'state, 119 val fold : {kind : Core.kind' * 'state -> 'state,
120 con : Core.con' * 'state -> 'state, 120 con : Core.con' * 'state -> 'state,
121 exp : Core.exp' * 'state -> 'state, 121 exp : Core.exp' * 'state -> 'state,
122 decl : Core.decl' * 'state -> 'state} 122 decl : Core.decl' * 'state -> 'state}
123 -> 'state -> Core.decl -> 'state 123 -> 'state -> Core.decl -> 'state
124
125 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
126 con : Core.con' * 'state -> Core.con' * 'state,
127 exp : Core.exp' * 'state -> Core.exp' * 'state,
128 decl : Core.decl' * 'state -> Core.decl' * 'state}
129 -> 'state -> Core.decl -> Core.decl * 'state
124 end 130 end
125 131
126 structure File : sig 132 structure File : sig
127 datatype binder = datatype Exp.binder 133 datatype binder = datatype Exp.binder
128 134
149 val fold : {kind : Core.kind' * 'state -> 'state, 155 val fold : {kind : Core.kind' * 'state -> 'state,
150 con : Core.con' * 'state -> 'state, 156 con : Core.con' * 'state -> 'state,
151 exp : Core.exp' * 'state -> 'state, 157 exp : Core.exp' * 'state -> 'state,
152 decl : Core.decl' * 'state -> 'state} 158 decl : Core.decl' * 'state -> 'state}
153 -> 'state -> Core.file -> 'state 159 -> 'state -> Core.file -> 'state
160
161 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
162 con : Core.con' * 'state -> Core.con' * 'state,
163 exp : Core.exp' * 'state -> Core.exp' * 'state,
164 decl : Core.decl' * 'state -> Core.decl' * 'state}
165 -> 'state -> Core.file -> Core.file * 'state
154 end 166 end
155 167
156 end 168 end