Mercurial > urweb

comparison lib/ur/top.urs @ 1775:6bc2a8cb3a67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track whether SQL expressions may use window functions, in preparation for actual window function support
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 15:35:58 -0400
parents 9253765d7724
children 818d4097e2ed
comparison
equal deleted inserted replaced
1774:27fdd78bd2f5 1775:6bc2a8cb3a67
267 267
268 val nonempty : fs ::: {Type} -> us ::: {{Unit}} -> sql_table fs us 268 val nonempty : fs ::: {Type} -> us ::: {{Unit}} -> sql_table fs us
269 -> transaction bool 269 -> transaction bool
270 270
271 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 271 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
272 -> t ::: Type -> sql_injectable (option t) 272 -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t)
273 -> sql_exp tables agg exps (option t) 273 -> sql_exp tables agg exps aw (option t)
274 -> sql_exp tables agg exps (option t) 274 -> sql_exp tables agg exps aw (option t)
275 -> sql_exp tables agg exps bool 275 -> sql_exp tables agg exps aw bool
276 276
277 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 277 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
278 -> t ::: Type -> sql_injectable (option t) 278 -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t)
279 -> sql_exp tables agg exps (option t) 279 -> sql_exp tables agg exps aw (option t)
280 -> option t 280 -> option t
281 -> sql_exp tables agg exps bool 281 -> sql_exp tables agg exps aw bool
282 282
283 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t 283 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t