annotate sql.urs @ 14:744bf911dcc6
Update to expect implicit argument insertion for local variables
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Tue, 14 Jun 2011 08:55:15 -0400 |
| parents |
d05943db55e8 |
| children |
6ebc2ca594b7 |
| rev |
line source |
|
adam@6
|
1 (** Common metaprogramming patterns for SQL syntax construction *)
|
|
adam@6
|
2
|
|
adam@6
|
3 val sqexps : env ::: {{Type}} -> fields ::: {Type} -> folder fields -> $(map sql_injectable fields)
|
|
adam@6
|
4 -> $fields -> $(map (sql_exp env [] []) fields)
|
|
adam@6
|
5 (* Convert a record of Ur values into a record of SQL expressions *)
|
|
adam@6
|
6
|
|
adam@6
|
7 val selector : tn :: Name -> fs ::: {Type} -> ofs ::: {Type} -> [fs ~ ofs]
|
|
adam@6
|
8 => folder fs -> $(map sql_injectable fs) -> $fs
|
|
adam@6
|
9 -> sql_exp [tn = ofs ++ fs] [] [] bool
|
|
adam@6
|
10 (* Build a boolean SQL expression expressing equality of some fields of a table
|
|
adam@6
|
11 * row with a record of Ur values *)
|
|
adam@13
|
12
|
|
adam@13
|
13 val joiner : tn1 :: Name -> tn2 :: Name -> fs ::: {Type} -> ofs1 ::: {Type} -> ofs2 ::: {Type}
|
|
adam@13
|
14 -> [[tn1] ~ [tn2]] => [fs ~ ofs1] => [fs ~ ofs2]
|
|
adam@13
|
15 => folder fs
|
|
adam@13
|
16 -> sql_exp [tn1 = ofs1 ++ fs, tn2 = ofs2 ++ fs] [] [] bool
|
|
adam@13
|
17 (* Declare equality of same-named columns from two tables. *)
|
