Mercurial > urweb

comparison lib/ur/top.urs @ 2206:c1a62ce47083

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents cfd604842006
children a3435112b83e
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
153 -> [[nm] ~ rest] => 153 -> [[nm] ~ rest] =>
154 tf1 t -> tf2 t -> tf3 t -> xml ctx [] []) 154 tf1 t -> tf2 t -> tf3 t -> xml ctx [] [])
155 -> r ::: {K} -> folder r 155 -> r ::: {K} -> folder r
156 -> $(map tf1 r) -> $(map tf2 r) -> $(map tf3 r) -> xml ctx [] [] 156 -> $(map tf1 r) -> $(map tf2 r) -> $(map tf3 r) -> xml ctx [] []
157 157
158 (* Note that the next two functions return elements in the _reverse_ of the natural order!
159 * Such a choice interacts well with the time complexity of standard list operations.
160 * It's easy to regain the natural order by inverting a query's 'ORDER BY' condition. *)
161
158 val queryL : tables ::: {{Type}} -> exps ::: {Type} 162 val queryL : tables ::: {{Type}} -> exps ::: {Type}
159 -> [tables ~ exps] => 163 -> [tables ~ exps] =>
160 sql_query [] [] tables exps 164 sql_query [] [] tables exps
161 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables)) 165 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
162 166