Mercurial > urweb
comparison src/core_util.sig @ 110:3739af9e727a
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 |