Mercurial > meta
comparison sql.urs @ 19:875221eee987
Sql.lookup
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 31 Dec 2011 15:49:54 -0500 |
parents | 959583692166 |
children | c1da0e3749b3 |
comparison
equal
deleted
inserted
replaced
18:6cd839818393 | 19:875221eee987 |
---|---|
30 => folder keyCols -> $(map sql_injectable keyCols) | 30 => folder keyCols -> $(map sql_injectable keyCols) |
31 -> sql_table (keyCols ++ otherCols) ([Pkey = map (fn _ => ()) keyCols] ++ otherKeys) | 31 -> sql_table (keyCols ++ otherCols) ([Pkey = map (fn _ => ()) keyCols] ++ otherKeys) |
32 -> $keyCols | 32 -> $keyCols |
33 -> transaction {} | 33 -> transaction {} |
34 (* Delete a row from a table by matching its primary key against a given record. *) | 34 (* Delete a row from a table by matching its primary key against a given record. *) |
35 | |
36 val lookup : keyCols ::: {Type} -> otherCols ::: {Type} -> otherKeys ::: {{Unit}} | |
37 -> [keyCols ~ otherCols] => [[Pkey] ~ otherKeys] | |
38 => folder keyCols -> $(map sql_injectable keyCols) | |
39 -> sql_table (keyCols ++ otherCols) ([Pkey = map (fn _ => ()) keyCols] ++ otherKeys) | |
40 -> $keyCols -> transaction (option $otherCols) | |
41 (* Get the further columns associated with a table key. *) |