Mercurial > urweb
comparison lib/ur/top.ur @ 1081:25d491287358
Basis.sql_nullable and Top.queryL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Dec 2009 12:13:23 -0500 |
parents | dcf98ae3c48d |
children | 8d3aa6c7cee0 |
comparison
equal
deleted
inserted
replaced
1080:a4979e31e4bf | 1081:25d491287358 |
---|---|
206 (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest] | 206 (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest] |
207 r1 r2 r3 acc => | 207 r1 r2 r3 acc => |
208 <xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>) | 208 <xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>) |
209 <xml/> | 209 <xml/> |
210 | 210 |
211 fun queryL [tables] [exps] [tables ~ exps] (q : sql_query tables exps) = | |
212 query q | |
213 (fn r ls => return (r :: ls)) | |
214 [] | |
215 | |
211 fun queryI [tables ::: {{Type}}] [exps ::: {Type}] | 216 fun queryI [tables ::: {{Type}}] [exps ::: {Type}] |
212 [tables ~ exps] (q : sql_query tables exps) | 217 [tables ~ exps] (q : sql_query tables exps) |
213 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) | 218 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) |
214 -> transaction unit) = | 219 -> transaction unit) = |
215 query q | 220 query q |