Mercurial > urweb

comparison lib/basis.urs @ 306:99e4f39e820d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Scratch that change....
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:38:14 -0400
parents 55eedecb6c50
children e457d8972ff1
comparison
equal deleted inserted replaced
305:55eedecb6c50 306:99e4f39e820d
204 val dml : dml -> transaction unit 204 val dml : dml -> transaction unit
205 205
206 val insert : fields ::: {Type} 206 val insert : fields ::: {Type}
207 -> sql_table fields 207 -> sql_table fields
208 -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc => 208 -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc =>
209 [nm = sql_exp [] [] [] t] ++ acc) [] fields) 209 [nm = sql_exp [T = fields] [] [] t] ++ acc) [] fields)
210 -> dml 210 -> dml
211 211
212 val update : changed :: {Type} -> unchanged ::: {Type} -> changed ~ unchanged 212 val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged
213 -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc =>
214 [nm = sql_exp [T = changed ++ unchanged] [] [] t] ++ acc) [] changed)
213 -> sql_table (changed ++ unchanged) 215 -> sql_table (changed ++ unchanged)
214 -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc => 216 -> sql_exp [T = changed ++ unchanged] [] [] bool
215 [nm = sql_exp [] [] (changed ++ unchanged) t] ++ acc) [] changed)
216 -> sql_exp [] [] (changed ++ unchanged) bool
217 -> dml 217 -> dml
218 218
219 val delete : fields ::: {Type} 219 val delete : fields ::: {Type}
220 -> sql_table fields 220 -> sql_table fields
221 -> sql_exp [] [] fields bool 221 -> sql_exp [T = fields] [] [] bool
222 -> dml 222 -> dml
223 223
224 224
225 (** XML *) 225 (** XML *)
226 226