Mercurial > urweb

comparison lib/basis.urs @ 470:7cb418e9714f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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