Mercurial > urweb

comparison lib/ur/top.ur @ 1081:25d491287358

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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