Mercurial > urweb

comparison lib/ur/basis.urs @ 1357:a0f0823a54a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow SQL aggregation over nullable types
author Adam Chlipala <adam@chlipala.net>
date Tue, 21 Dec 2010 17:01:51 -0500
parents 87156c44824f
children 32c8a3509369
comparison
equal deleted inserted replaced
1356:977901cb52cc 1357:a0f0823a54a0
481 val sql_count_col : t ::: Type -> sql_aggregate (option t) int 481 val sql_count_col : t ::: Type -> sql_aggregate (option t) int
482 482
483 class sql_summable 483 class sql_summable
484 val sql_summable_int : sql_summable int 484 val sql_summable_int : sql_summable int
485 val sql_summable_float : sql_summable float 485 val sql_summable_float : sql_summable float
486 val sql_summable_option : t ::: Type -> sql_summable t -> sql_summable (option t)
486 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t t 487 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t t
487 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t t 488 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t t
488 489
489 class sql_maxable 490 class sql_maxable
490 val sql_maxable_int : sql_maxable int 491 val sql_maxable_int : sql_maxable int
491 val sql_maxable_float : sql_maxable float 492 val sql_maxable_float : sql_maxable float
492 val sql_maxable_string : sql_maxable string 493 val sql_maxable_string : sql_maxable string
493 val sql_maxable_time : sql_maxable time 494 val sql_maxable_time : sql_maxable time
495 val sql_maxable_option : t ::: Type -> sql_maxable t -> sql_maxable (option t)
494 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t t 496 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t t
495 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t t 497 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t t
496 498
497 con sql_nfunc :: Type -> Type 499 con sql_nfunc :: Type -> Type
498 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 500 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}