Mercurial > urweb
comparison lib/ur/basis.urs @ 676:e0c186464612
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} |