Mercurial > urweb

comparison lib/ur/basis.urs @ 751:f95d652086cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RIGHT and FULL JOIN
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 11:14:24 -0400
parents 059074c8d2fc
children d484df4e841a
comparison
equal deleted inserted replaced
750:059074c8d2fc 751:f95d652086cd
243 -> [tabs1 ~ tabs2] 243 -> [tabs1 ~ tabs2]
244 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) tabs2) 244 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) tabs2)
245 -> sql_from_items tabs1 -> sql_from_items (map (map (fn p :: (Type * Type) => p.1)) tabs2) 245 -> sql_from_items tabs1 -> sql_from_items (map (map (fn p :: (Type * Type) => p.1)) tabs2)
246 -> sql_exp (tabs1 ++ map (map (fn p :: (Type * Type) => p.1)) tabs2) [] [] bool 246 -> sql_exp (tabs1 ++ map (map (fn p :: (Type * Type) => p.1)) tabs2) [] [] bool
247 -> sql_from_items (tabs1 ++ map (map (fn p :: (Type * Type) => p.2)) tabs2) 247 -> sql_from_items (tabs1 ++ map (map (fn p :: (Type * Type) => p.2)) tabs2)
248
249 val sql_right_join : tabs1 ::: {{(Type * Type)}} -> tabs2 ::: {{Type}}
250 -> [tabs1 ~ tabs2]
251 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) tabs1)
252 -> sql_from_items (map (map (fn p :: (Type * Type) => p.1)) tabs1) -> sql_from_items tabs2
253 -> sql_exp (map (map (fn p :: (Type * Type) => p.1)) tabs1 ++ tabs2) [] [] bool
254 -> sql_from_items (map (map (fn p :: (Type * Type) => p.2)) tabs1 ++ tabs2)
255
256 val sql_full_join : tabs1 ::: {{(Type * Type)}} -> tabs2 ::: {{(Type * Type)}}
257 -> [tabs1 ~ tabs2]
258 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) (tabs1 ++ tabs2))
259 -> sql_from_items (map (map (fn p :: (Type * Type) => p.1)) tabs1)
260 -> sql_from_items (map (map (fn p :: (Type * Type) => p.1)) tabs2)
261 -> sql_exp (map (map (fn p :: (Type * Type) => p.1)) (tabs1 ++ tabs2)) [] [] bool
262 -> sql_from_items (map (map (fn p :: (Type * Type) => p.2)) (tabs1 ++ tabs2))
248 263
249 val sql_query1 : tables ::: {{Type}} 264 val sql_query1 : tables ::: {{Type}}
250 -> grouped ::: {{Type}} 265 -> grouped ::: {{Type}}
251 -> selectedFields ::: {{Type}} 266 -> selectedFields ::: {{Type}}
252 -> selectedExps ::: {Type} 267 -> selectedExps ::: {Type}