Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Apr 26 11:07:25 2009 -0400 +++ b/lib/ur/basis.urs Sun Apr 26 12:35:45 2009 -0400 @@ -363,6 +363,13 @@ -> sql_nfunc t -> sql_exp tables agg exps t val sql_current_timestamp : sql_nfunc time +con sql_ufunc :: Type -> Type -> Type +val sql_ufunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} + -> dom ::: Type -> ran ::: Type + -> sql_ufunc dom ran -> sql_exp tables agg exps dom + -> sql_exp tables agg exps ran +val sql_octet_length : sql_ufunc blob int + (*** Executing queries *)