Mercurial > urweb

comparison lib/ur/basis.urs @ 676:e0c186464612

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make sql_injectable class nicer with inclusion
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Mar 2009 15:26:35 -0400
parents f73913d97a40
children 5ff1ff38e2db
comparison
equal deleted inserted replaced
675:43430b7190f4 676:e0c186464612
187 187
188 val sql_exp : tabs ::: {{Type}} -> agg ::: {{Type}} -> t ::: Type -> rest ::: {Type} 188 val sql_exp : tabs ::: {{Type}} -> agg ::: {{Type}} -> t ::: Type -> rest ::: {Type}
189 -> nm :: Name 189 -> nm :: Name
190 -> sql_exp tabs agg ([nm = t] ++ rest) t 190 -> sql_exp tabs agg ([nm = t] ++ rest) t
191 191
192 class sql_injectable_prim
193 val sql_bool : sql_injectable_prim bool
194 val sql_int : sql_injectable_prim int
195 val sql_float : sql_injectable_prim float
196 val sql_string : sql_injectable_prim string
197 val sql_time : sql_injectable_prim time
198
192 class sql_injectable 199 class sql_injectable
193 val sql_bool : sql_injectable bool 200 val sql_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable t
194 val sql_int : sql_injectable int 201 val sql_option_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable (option t)
195 val sql_float : sql_injectable float 202
196 val sql_string : sql_injectable string
197 val sql_time : sql_injectable time
198 val sql_option_bool : sql_injectable (option bool)
199 val sql_option_int : sql_injectable (option int)
200 val sql_option_float : sql_injectable (option float)
201 val sql_option_string : sql_injectable (option string)
202 val sql_option_time : sql_injectable (option time)
203 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 203 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
204 -> t ::: Type 204 -> t ::: Type
205 -> sql_injectable t -> t -> sql_exp tables agg exps t 205 -> sql_injectable t -> t -> sql_exp tables agg exps t
206 206
207 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 207 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}