Mercurial > urweb

comparison lib/basis.urs @ 467:3f1b9231a37b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Inserted a NULL value
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:37:38 -0500
parents f542bc3133dc
children b393c2fc80f8
comparison
equal deleted inserted replaced
466:1626dcba13ee 467:3f1b9231a37b
186 val sql_bool : sql_injectable bool 186 val sql_bool : sql_injectable bool
187 val sql_int : sql_injectable int 187 val sql_int : sql_injectable int
188 val sql_float : sql_injectable float 188 val sql_float : sql_injectable float
189 val sql_string : sql_injectable string 189 val sql_string : sql_injectable string
190 val sql_time : sql_injectable time 190 val sql_time : sql_injectable time
191 val sql_option_bool : sql_injectable (option bool)
192 val sql_option_int : sql_injectable (option int)
193 val sql_option_float : sql_injectable (option float)
194 val sql_option_string : sql_injectable (option string)
195 val sql_option_time : sql_injectable (option time)
191 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 196 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
192 -> t ::: Type 197 -> t ::: Type
193 -> sql_injectable t -> t -> sql_exp tables agg exps t 198 -> sql_injectable t -> t -> sql_exp tables agg exps t
194 199
195 con sql_unary :: Type -> Type -> Type 200 con sql_unary :: Type -> Type -> Type