Mercurial > urweb

comparison lib/ur/top.urs @ 1405:8631e9ed0ee8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryXI and queryX1I
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 12:43:12 -0500
parents d328983dc5a6
children 44f78d6fec29
comparison
equal deleted inserted replaced
1404:82b204f20026 1405:8631e9ed0ee8
162 sql_query [] [] tables exps 162 sql_query [] [] tables exps
163 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 163 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
164 -> xml ctx inp []) 164 -> xml ctx inp [])
165 -> transaction (xml ctx inp []) 165 -> transaction (xml ctx inp [])
166 166
167 val queryXI : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
168 -> [tables ~ exps] =>
169 sql_query [] [] tables exps
170 -> (int -> $(exps ++ map (fn fields :: {Type} => $fields) tables)
171 -> xml ctx inp [])
172 -> transaction (xml ctx inp [])
173
167 val queryX1 : nm ::: Name -> fs ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type} 174 val queryX1 : nm ::: Name -> fs ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
168 -> sql_query [] [] [nm = fs] [] 175 -> sql_query [] [] [nm = fs] []
169 -> ($fs -> xml ctx inp []) 176 -> ($fs -> xml ctx inp [])
170 -> transaction (xml ctx inp []) 177 -> transaction (xml ctx inp [])
178
179 val queryX1I : nm ::: Name -> fs ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
180 -> sql_query [] [] [nm = fs] []
181 -> (int -> $fs -> xml ctx inp [])
182 -> transaction (xml ctx inp [])
171 183
172 val queryX' : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type} 184 val queryX' : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
173 -> [tables ~ exps] => 185 -> [tables ~ exps] =>
174 sql_query [] [] tables exps 186 sql_query [] [] tables exps
175 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 187 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)