Mercurial > meta

comparison sql.urs @ 19:875221eee987

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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. *)