comparison lib/ur/basis.urs @ 746:2c7244c066f1

sql_ufunc and octet_length
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 12:35:45 -0400
parents ee2feab275db
children 5f9b9972e6b8
comparison
equal deleted inserted replaced
745:ee2feab275db 746:2c7244c066f1
360 con sql_nfunc :: Type -> Type 360 con sql_nfunc :: Type -> Type
361 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 361 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
362 -> t ::: Type 362 -> t ::: Type
363 -> sql_nfunc t -> sql_exp tables agg exps t 363 -> sql_nfunc t -> sql_exp tables agg exps t
364 val sql_current_timestamp : sql_nfunc time 364 val sql_current_timestamp : sql_nfunc time
365
366 con sql_ufunc :: Type -> Type -> Type
367 val sql_ufunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
368 -> dom ::: Type -> ran ::: Type
369 -> sql_ufunc dom ran -> sql_exp tables agg exps dom
370 -> sql_exp tables agg exps ran
371 val sql_octet_length : sql_ufunc blob int
365 372
366 373
367 (*** Executing queries *) 374 (*** Executing queries *)
368 375
369 val query : tables ::: {{Type}} -> exps ::: {Type} 376 val query : tables ::: {{Type}} -> exps ::: {Type}