Mercurial > urweb
comparison lib/basis.urs @ 470:7cb418e9714f
Tree demo works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 18:49:38 -0500 |
parents | b393c2fc80f8 |
children | 4154b4dc62c6 |
comparison
equal
deleted
inserted
replaced
469:b393c2fc80f8 | 470:7cb418e9714f |
---|---|
194 val sql_option_string : sql_injectable (option string) | 194 val sql_option_string : sql_injectable (option string) |
195 val sql_option_time : sql_injectable (option time) | 195 val sql_option_time : sql_injectable (option time) |
196 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} | 196 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} |
197 -> t ::: Type | 197 -> t ::: Type |
198 -> sql_injectable t -> t -> sql_exp tables agg exps t | 198 -> sql_injectable t -> t -> sql_exp tables agg exps t |
199 | |
200 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} | |
201 -> t ::: Type | |
202 -> sql_exp tables agg exps (option t) | |
203 -> sql_exp tables agg exps bool | |
199 | 204 |
200 con sql_unary :: Type -> Type -> Type | 205 con sql_unary :: Type -> Type -> Type |
201 val sql_not : sql_unary bool bool | 206 val sql_not : sql_unary bool bool |
202 val sql_unary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} | 207 val sql_unary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} |
203 -> arg ::: Type -> res ::: Type | 208 -> arg ::: Type -> res ::: Type |