Mercurial > urweb

comparison lib/ur/basis.urs @ 1192:9c82548c97e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subquery FROM items
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 16:06:04 -0400
parents 61c3139eab12
children aff5e661b5f8
comparison
equal deleted inserted replaced
1191:61c3139eab12 1192:9c82548c97e9
293 con sql_from_items :: {{Type}} -> {{Type}} -> Type 293 con sql_from_items :: {{Type}} -> {{Type}} -> Type
294 294
295 val sql_from_table : free ::: {{Type}} -> t ::: Type -> fs ::: {Type} 295 val sql_from_table : free ::: {{Type}} -> t ::: Type -> fs ::: {Type}
296 -> fieldsOf t fs -> name :: Name 296 -> fieldsOf t fs -> name :: Name
297 -> t -> sql_from_items free [name = fs] 297 -> t -> sql_from_items free [name = fs]
298 val sql_from_query : free ::: {{Type}} -> fs ::: {Type} -> name :: Name
299 -> sql_query free [] fs
300 -> sql_from_items free [name = fs]
298 val sql_from_comma : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}} 301 val sql_from_comma : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
299 -> [tabs1 ~ tabs2] 302 -> [tabs1 ~ tabs2]
300 => sql_from_items free tabs1 -> sql_from_items free tabs2 303 => sql_from_items free tabs1 -> sql_from_items free tabs2
301 -> sql_from_items free (tabs1 ++ tabs2) 304 -> sql_from_items free (tabs1 ++ tabs2)
302 val sql_inner_join : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}} 305 val sql_inner_join : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}