Mercurial > urweb
diff lib/basis.urs @ 441:c5335613f31e
CURRENT_TIMESTAMP
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 30 Oct 2008 15:33:28 -0400 |
| parents | 1a4c1b5f4d8f |
| children | bd9ee9aeca2f |
line wrap: on
line diff
--- a/lib/basis.urs Thu Oct 30 15:16:37 2008 -0400 +++ b/lib/basis.urs Thu Oct 30 15:33:28 2008 -0400 @@ -223,6 +223,12 @@ val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t +con sql_nfunc :: Type -> Type +val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} + -> t ::: Type + -> sql_nfunc t -> sql_exp tables agg exps t +val sql_current_timestamp : sql_nfunc time + (*** Executing queries *)