Mercurial > urweb

comparison lib/ur/basis.urs @ 749:16bfd9e244cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
INNER JOIN
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 10:11:56 -0400
parents 5f9b9972e6b8
children 059074c8d2fc
comparison
equal deleted inserted replaced
748:5f9b9972e6b8 749:16bfd9e244cd
226 -> name :: Name -> sql_table cols keys 226 -> name :: Name -> sql_table cols keys
227 -> sql_from_items [name = cols] 227 -> sql_from_items [name = cols]
228 val sql_from_comma : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}} 228 val sql_from_comma : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
229 -> [tabs1 ~ tabs2] 229 -> [tabs1 ~ tabs2]
230 => sql_from_items tabs1 -> sql_from_items tabs2 230 => sql_from_items tabs1 -> sql_from_items tabs2
231 -> sql_from_items (tabs1 ++ tabs2)
232 val sql_inner_join : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
233 -> [tabs1 ~ tabs2]
234 => sql_from_items tabs1 -> sql_from_items tabs2
235 -> sql_exp (tabs1 ++ tabs2) [] [] bool
231 -> sql_from_items (tabs1 ++ tabs2) 236 -> sql_from_items (tabs1 ++ tabs2)
232 237
233 val sql_query1 : tables ::: {{Type}} 238 val sql_query1 : tables ::: {{Type}}
234 -> grouped ::: {{Type}} 239 -> grouped ::: {{Type}}
235 -> selectedFields ::: {{Type}} 240 -> selectedFields ::: {{Type}}