diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-11-20 10:45:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-11-20 10:45:22 -0500 |
| commit | e85b176783c81cbbfbd35bbda989cd7703272378 (patch) | |
| tree | e61d2420230a82c747cb1a257ecb129179d95019 /lib/ur/top.urs | |
| parent | aa6e63371697ca158bd9b1fe9e68ecbd59fbf72a (diff) | |
queryL1 and List.sort
Diffstat (limited to 'lib/ur/top.urs')
| -rw-r--r-- | lib/ur/top.urs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/ur/top.urs b/lib/ur/top.urs index 7ddc6bee..a18bf437 100644 --- a/lib/ur/top.urs +++ b/lib/ur/top.urs @@ -129,6 +129,10 @@ val queryL : tables ::: {{Type}} -> exps ::: {Type} sql_query [] tables exps -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables)) +val queryL1 : t ::: Name -> fs ::: {Type} + -> sql_query [] [t = fs] [] + -> transaction (list $fs) + val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type -> sql_query [] [t = fs] [] -> ($fs -> state -> transaction state) |