diff options
author | 2010-03-04 13:47:16 -0500 | |
---|---|---|
committer | 2010-03-04 13:47:16 -0500 | |
commit | 05f30cc002005dcbd3f0166d630e7e2e987bd59c (patch) | |
tree | 59d474ae7fde02a0d0cd787a576b3f4d25170106 /lib/ur/top.urs | |
parent | 3f34d0b6e326a55cc4cc4373f98f8f109b7a55d6 (diff) |
Louder jscomp; toUpper/Lower fix for JavaScript
Diffstat (limited to 'lib/ur/top.urs')
-rw-r--r-- | lib/ur/top.urs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/ur/top.urs b/lib/ur/top.urs index 83f24000..312f230a 100644 --- a/lib/ur/top.urs +++ b/lib/ur/top.urs @@ -129,6 +129,18 @@ val queryL : tables ::: {{Type}} -> exps ::: {Type} sql_query tables exps -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables)) +val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type + -> sql_query [t = fs] [] + -> ($fs -> state -> transaction state) + -> state + -> transaction state + +val query1' : t ::: Name -> fs ::: {Type} -> state ::: Type + -> sql_query [t = fs] [] + -> ($fs -> state -> state) + -> state + -> transaction state + val queryI : tables ::: {{Type}} -> exps ::: {Type} -> [tables ~ exps] => sql_query tables exps |