Mercurial > urweb

comparison src/mono_util.sig @ 506:65d8541c130b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fusing writes with recursive function calls
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Nov 2008 10:05:44 -0500
parents ab86aa858e6c
children 1901db85acb4
comparison
equal deleted inserted replaced
505:e18c747dd945 506:65d8541c130b
88 88
89 val fold : {typ : Mono.typ' * 'state -> 'state, 89 val fold : {typ : Mono.typ' * 'state -> 'state,
90 exp : Mono.exp' * 'state -> 'state, 90 exp : Mono.exp' * 'state -> 'state,
91 decl : Mono.decl' * 'state -> 'state} 91 decl : Mono.decl' * 'state -> 'state}
92 -> 'state -> Mono.decl -> 'state 92 -> 'state -> Mono.decl -> 'state
93
94 val map : {typ : Mono.typ' -> Mono.typ',
95 exp : Mono.exp' -> Mono.exp',
96 decl : Mono.decl' -> Mono.decl'}
97 -> Mono.decl -> Mono.decl
93 end 98 end
94 99
95 structure File : sig 100 structure File : sig
96 datatype binder = datatype Exp.binder 101 datatype binder = datatype Exp.binder
97 102
119 124
120 val fold : {typ : Mono.typ' * 'state -> 'state, 125 val fold : {typ : Mono.typ' * 'state -> 'state,
121 exp : Mono.exp' * 'state -> 'state, 126 exp : Mono.exp' * 'state -> 'state,
122 decl : Mono.decl' * 'state -> 'state} 127 decl : Mono.decl' * 'state -> 'state}
123 -> 'state -> Mono.file -> 'state 128 -> 'state -> Mono.file -> 'state
129
130 val maxName : Mono.file -> int
124 end 131 end
125 132
126 end 133 end