Mercurial > urweb

comparison src/core_util.sig @ 484:685b41e85634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Defunctionalization gets CommentBlog working
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 16:54:42 -0500
parents 9117a7bf229c
children 5521bb0b4014
comparison
equal deleted inserted replaced
483:a0f47540d8ad 484:685b41e85634
103 103
104 val fold : {kind : Core.kind' * 'state -> 'state, 104 val fold : {kind : Core.kind' * 'state -> 'state,
105 con : Core.con' * 'state -> 'state, 105 con : Core.con' * 'state -> 'state,
106 exp : Core.exp' * 'state -> 'state} 106 exp : Core.exp' * 'state -> 'state}
107 -> 'state -> Core.exp -> 'state 107 -> 'state -> Core.exp -> 'state
108
109 val foldB : {kind : Core.kind' * 'state -> 'state,
110 con : 'context * Core.con' * 'state -> 'state,
111 exp : 'context * Core.exp' * 'state -> 'state,
112 bind : 'context * binder -> 'context}
113 -> 'context -> 'state -> Core.exp -> 'state
108 114
109 val exists : {kind : Core.kind' -> bool, 115 val exists : {kind : Core.kind' -> bool,
110 con : Core.con' -> bool, 116 con : Core.con' -> bool,
111 exp : Core.exp' -> bool} -> Core.exp -> bool 117 exp : Core.exp' -> bool} -> Core.exp -> bool
112 118
146 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state, 152 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
147 con : Core.con' * 'state -> Core.con' * 'state, 153 con : Core.con' * 'state -> Core.con' * 'state,
148 exp : Core.exp' * 'state -> Core.exp' * 'state, 154 exp : Core.exp' * 'state -> Core.exp' * 'state,
149 decl : Core.decl' * 'state -> Core.decl' * 'state} 155 decl : Core.decl' * 'state -> Core.decl' * 'state}
150 -> 'state -> Core.decl -> Core.decl * 'state 156 -> 'state -> Core.decl -> Core.decl * 'state
157 val foldMapB : {kind : Core.kind' * 'state -> Core.kind' * 'state,
158 con : 'context * Core.con' * 'state -> Core.con' * 'state,
159 exp : 'context * Core.exp' * 'state -> Core.exp' * 'state,
160 decl : 'context * Core.decl' * 'state -> Core.decl' * 'state,
161 bind : 'context * binder -> 'context}
162 -> 'context -> 'state -> Core.decl -> Core.decl * 'state
151 end 163 end
152 164
153 structure File : sig 165 structure File : sig
154 val maxName : Core.file -> int 166 val maxName : Core.file -> int
155 167