Mercurial > urweb

comparison lib/ur/top.urs @ 1006:5a0f6ec208ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents a87495bcaeec
children 5d9f47124c4c
comparison
equal deleted inserted replaced
1005:c6e948ec79e9 1006:5a0f6ec208ce
149 149
150 val oneOrNoRows1 : nm ::: Name -> fs ::: {Type} 150 val oneOrNoRows1 : nm ::: Name -> fs ::: {Type}
151 -> sql_query [nm = fs] [] 151 -> sql_query [nm = fs] []
152 -> transaction (option $fs) 152 -> transaction (option $fs)
153 153
154 val oneOrNoRowsE1 : tab ::: Name -> nm ::: Name -> t ::: Type
155 -> [[tab] ~ [nm]] =>
156 sql_query [tab = []] [nm = t]
157 -> transaction (option t)
158
154 val oneRow : tables ::: {{Type}} -> exps ::: {Type} 159 val oneRow : tables ::: {{Type}} -> exps ::: {Type}
155 -> [tables ~ exps] => 160 -> [tables ~ exps] =>
156 sql_query tables exps 161 sql_query tables exps
157 -> transaction 162 -> transaction
158 $(exps 163 $(exps