summaryrefslogtreecommitdiff
path: root/lib/ur/top.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-22 12:13:23 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-22 12:13:23 -0500
commitba2123c675d63c760b9d070b5b51eb941b7eead5 (patch)
tree2f9b8a343d9b384b5f9996d02c555e597693f2ea /lib/ur/top.ur
parentb4f682292a0d9fdfc647e84b3013fba3925070c2 (diff)
Basis.sql_nullable and Top.queryL
Diffstat (limited to 'lib/ur/top.ur')
-rw-r--r--lib/ur/top.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ur/top.ur b/lib/ur/top.ur
index 9a27f6b2..e4e33940 100644
--- a/lib/ur/top.ur
+++ b/lib/ur/top.ur
@@ -208,6 +208,11 @@ fun foldRX3 [K] [tf1 :: K -> Type] [tf2 :: K -> Type] [tf3 :: K -> Type] [ctx ::
<xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>)
<xml/>
+fun queryL [tables] [exps] [tables ~ exps] (q : sql_query tables exps) =
+ query q
+ (fn r ls => return (r :: ls))
+ []
+
fun queryI [tables ::: {{Type}}] [exps ::: {Type}]
[tables ~ exps] (q : sql_query tables exps)
(f : $(exps ++ map (fn fields :: {Type} => $fields) tables)