Mercurial > urweb

comparison lib/ur/top.urs @ 1778:818d4097e2ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lighter-weight encoding of window function use
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jun 2012 11:29:31 -0400
parents 6bc2a8cb3a67
children 69daa6d70299
comparison
equal deleted inserted replaced
1777:59b07fdae1ff 1778:818d4097e2ed
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 -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t) 272 -> t ::: Type -> sql_injectable (option t)
273 -> sql_exp tables agg exps aw (option t) 273 -> sql_exp tables agg exps (option t)
274 -> sql_exp tables agg exps aw (option t) 274 -> sql_exp tables agg exps (option t)
275 -> sql_exp tables agg exps aw bool 275 -> sql_exp tables agg exps bool
276 276
277 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 277 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
278 -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t) 278 -> t ::: Type -> sql_injectable (option t)
279 -> sql_exp tables agg exps aw (option t) 279 -> sql_exp tables agg exps (option t)
280 -> option t 280 -> option t
281 -> sql_exp tables agg exps aw bool 281 -> sql_exp tables agg exps 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