Mercurial > urweb

comparison lib/top.urs @ 470:7cb418e9714f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tree demo works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 18:49:38 -0500
parents b393c2fc80f8
children
comparison
equal deleted inserted replaced
469:b393c2fc80f8 470:7cb418e9714f
167 $(exps 167 $(exps
168 ++ fold (fn nm (fields :: {Type}) acc 168 ++ fold (fn nm (fields :: {Type}) acc
169 [[nm] ~ acc] => 169 [[nm] ~ acc] =>
170 [nm = $fields] ++ acc) 170 [nm = $fields] ++ acc)
171 [] tables) 171 [] tables)
172
173 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
174 -> t ::: Type -> sql_injectable (option t)
175 -> sql_exp tables agg exps (option t)
176 -> sql_exp tables agg exps (option t)
177 -> sql_exp tables agg exps bool
178
179 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
180 -> t ::: Type -> sql_injectable (option t)
181 -> sql_exp tables agg exps (option t)
182 -> option t
183 -> sql_exp tables agg exps bool