diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-22 12:13:23 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-22 12:13:23 -0500 |
| commit | 1399d287e92c4d6a76564cdb2d14e226629de60d (patch) | |
| tree | 2f9b8a343d9b384b5f9996d02c555e597693f2ea /lib/ur/top.ur | |
| parent | a16e550a2284ab7485429afae24f20032e5bac17 (diff) | |
Basis.sql_nullable and Top.queryL
Diffstat (limited to 'lib/ur/top.ur')
| -rw-r--r-- | lib/ur/top.ur | 5 |
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) |