Mercurial > urweb
comparison lib/ur/top.ur @ 1004:a87495bcaeec
Start of user management
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 20 Oct 2009 12:48:53 -0400 |
parents | 61c30f0742d7 |
children | 5a0f6ec208ce |
comparison
equal
deleted
inserted
replaced
1003:61c30f0742d7 | 1004:a87495bcaeec |
---|---|
214 -> transaction unit) = | 214 -> transaction unit) = |
215 query q | 215 query q |
216 (fn fs _ => f fs) | 216 (fn fs _ => f fs) |
217 () | 217 () |
218 | 218 |
219 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] | 219 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}] |
220 [tables ~ exps] (q : sql_query tables exps) | 220 [tables ~ exps] (q : sql_query tables exps) |
221 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) | 221 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) |
222 -> xml ctx [] []) = | 222 -> xml ctx inp []) = |
223 query q | 223 query q |
224 (fn fs acc => return <xml>{acc}{f fs}</xml>) | 224 (fn fs acc => return <xml>{acc}{f fs}</xml>) |
225 <xml/> | 225 <xml/> |
226 | 226 |
227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] | 227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] |