Mercurial > urweb

comparison lib/ur/top.urs @ 1003:61c30f0742d7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Registering for Conference1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 11:05:58 -0400
parents 10114d7b7477
children a87495bcaeec
comparison
equal deleted inserted replaced
1002:bb3fc575cfe7 1003:61c30f0742d7
145 -> transaction 145 -> transaction
146 (option 146 (option
147 $(exps 147 $(exps
148 ++ map (fn fields :: {Type} => $fields) tables)) 148 ++ map (fn fields :: {Type} => $fields) tables))
149 149
150 val oneOrNoRows1 : nm ::: Name -> fs ::: {Type}
151 -> sql_query [nm = fs] []
152 -> transaction (option $fs)
153
150 val oneRow : tables ::: {{Type}} -> exps ::: {Type} 154 val oneRow : tables ::: {{Type}} -> exps ::: {Type}
151 -> [tables ~ exps] => 155 -> [tables ~ exps] =>
152 sql_query tables exps 156 sql_query tables exps
153 -> transaction 157 -> transaction
154 $(exps 158 $(exps
155 ++ map (fn fields :: {Type} => $fields) tables) 159 ++ map (fn fields :: {Type} => $fields) tables)
156 160
161 val oneRowE1 : tab ::: Name -> nm ::: Name -> t ::: Type
162 -> [[tab] ~ [nm]] =>
163 sql_query [tab = []] [nm = t]
164 -> transaction t
165
157 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 166 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
158 -> t ::: Type -> sql_injectable (option t) 167 -> t ::: Type -> sql_injectable (option t)
159 -> sql_exp tables agg exps (option t) 168 -> sql_exp tables agg exps (option t)
160 -> sql_exp tables agg exps (option t) 169 -> sql_exp tables agg exps (option t)
161 -> sql_exp tables agg exps bool 170 -> sql_exp tables agg exps bool