diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-28 10:11:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 10:11:56 -0400 |
| commit | 04dd6b3727c7786a4824897e78b0b2982ecd6f5b (patch) | |
| tree | a004501c5981c841f5e58ffa7063b9f16fa6e78e /lib | |
| parent | d44f359d3913fc9cc8a284919180d78f083a6159 (diff) | |
INNER JOIN
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index c6ba7b2c..a81ba30a 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -229,6 +229,11 @@ val sql_from_comma : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}} -> [tabs1 ~ tabs2] => sql_from_items tabs1 -> sql_from_items tabs2 -> sql_from_items (tabs1 ++ tabs2) +val sql_inner_join : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}} + -> [tabs1 ~ tabs2] + => sql_from_items tabs1 -> sql_from_items tabs2 + -> sql_exp (tabs1 ++ tabs2) [] [] bool + -> sql_from_items (tabs1 ++ tabs2) val sql_query1 : tables ::: {{Type}} -> grouped ::: {{Type}} |