Mercurial > urweb

comparison lib/basis.urs @ 544:4154b4dc62c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish documenting queries; remove a stray [unit] argument
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Dec 2008 10:02:04 -0500
parents 7cb418e9714f
children 5d494183ca89
comparison
equal deleted inserted replaced
543:c01415a171ed 544:4154b4dc62c6
230 -> sql_comparison 230 -> sql_comparison
231 -> sql_exp tables agg exps t -> sql_exp tables agg exps t 231 -> sql_exp tables agg exps t -> sql_exp tables agg exps t
232 -> sql_exp tables agg exps bool 232 -> sql_exp tables agg exps bool
233 233
234 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 234 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
235 -> unit -> sql_exp tables agg exps int 235 -> sql_exp tables agg exps int
236 236
237 con sql_aggregate :: Type -> Type 237 con sql_aggregate :: Type -> Type
238 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 238 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
239 -> t ::: Type 239 -> t ::: Type
240 -> sql_aggregate t -> sql_exp agg agg exps t 240 -> sql_aggregate t -> sql_exp agg agg exps t