Mercurial > urweb

comparison lib/ur/top.urs @ 1064:b89e3d8731ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make oneRowE1 more general
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 12:06:03 -0500
parents 5d9f47124c4c
children 9001966ae1c8
comparison
equal deleted inserted replaced
1063:e3f6620afd51 1064:b89e3d8731ed
161 sql_query tables exps 161 sql_query tables exps
162 -> transaction 162 -> transaction
163 $(exps 163 $(exps
164 ++ map (fn fields :: {Type} => $fields) tables) 164 ++ map (fn fields :: {Type} => $fields) tables)
165 165
166 val oneRowE1 : tab ::: Name -> nm ::: Name -> t ::: Type 166 val oneRowE1 : tabs ::: {Unit} -> nm ::: Name -> t ::: Type
167 -> [[tab] ~ [nm]] => 167 -> [tabs ~ [nm]] =>
168 sql_query [tab = []] [nm = t] 168 sql_query (mapU [] tabs) [nm = t]
169 -> transaction t 169 -> transaction t
170 170
171 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 171 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
172 -> t ::: Type -> sql_injectable (option t) 172 -> t ::: Type -> sql_injectable (option t)
173 -> sql_exp tables agg exps (option t) 173 -> sql_exp tables agg exps (option t)