Mercurial > urweb

comparison lib/ur/basis.urs @ 1187:ad9829c3c12c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
COUNT(col)
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 15:54:35 -0400
parents 5eca51fcd559
children 61c3139eab12
comparison
equal deleted inserted replaced
1186:a4ac900d3085 1187:ad9829c3c12c
452 val sql_ge : t ::: Type -> sql_binary t t bool 452 val sql_ge : t ::: Type -> sql_binary t t bool
453 453
454 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 454 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
455 -> sql_exp tables agg exps int 455 -> sql_exp tables agg exps int
456 456
457 con sql_aggregate :: Type -> Type 457 con sql_aggregate :: Type -> Type -> Type
458 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 458 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
459 -> t ::: Type 459 -> dom ::: Type -> ran ::: Type
460 -> sql_aggregate t -> sql_exp agg agg exps t 460 -> sql_aggregate dom ran -> sql_exp agg agg exps dom
461 -> sql_exp tables agg exps t 461 -> sql_exp tables agg exps ran
462
463 val sql_count_col : t ::: Type -> sql_aggregate (option t) int
462 464
463 class sql_summable 465 class sql_summable
464 val sql_summable_int : sql_summable int 466 val sql_summable_int : sql_summable int
465 val sql_summable_float : sql_summable float 467 val sql_summable_float : sql_summable float
466 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t 468 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t t
467 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t 469 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t t
468 470
469 class sql_maxable 471 class sql_maxable
470 val sql_maxable_int : sql_maxable int 472 val sql_maxable_int : sql_maxable int
471 val sql_maxable_float : sql_maxable float 473 val sql_maxable_float : sql_maxable float
472 val sql_maxable_string : sql_maxable string 474 val sql_maxable_string : sql_maxable string
473 val sql_maxable_time : sql_maxable time 475 val sql_maxable_time : sql_maxable time
474 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t 476 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t t
475 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t 477 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t t
476 478
477 con sql_nfunc :: Type -> Type 479 con sql_nfunc :: Type -> Type
478 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 480 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
479 -> t ::: Type 481 -> t ::: Type
480 -> sql_nfunc t -> sql_exp tables agg exps t 482 -> sql_nfunc t -> sql_exp tables agg exps t