Mercurial > urweb

comparison lib/basis.urs @ 441:c5335613f31e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CURRENT_TIMESTAMP
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:33:28 -0400
parents 1a4c1b5f4d8f
children bd9ee9aeca2f
comparison
equal deleted inserted replaced
440:19d7f79cd584 441:c5335613f31e
220 val sql_maxable_float : sql_maxable float 220 val sql_maxable_float : sql_maxable float
221 val sql_maxable_string : sql_maxable string 221 val sql_maxable_string : sql_maxable string
222 val sql_maxable_time : sql_maxable time 222 val sql_maxable_time : sql_maxable time
223 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t 223 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t
224 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t 224 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t
225
226 con sql_nfunc :: Type -> Type
227 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
228 -> t ::: Type
229 -> sql_nfunc t -> sql_exp tables agg exps t
230 val sql_current_timestamp : sql_nfunc time
225 231
226 232
227 (*** Executing queries *) 233 (*** Executing queries *)
228 234
229 con transaction :: Type -> Type 235 con transaction :: Type -> Type