Mercurial > urweb
comparison lib/ur/top.urs @ 1778:818d4097e2ed
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 |