Mercurial > urweb

comparison lib/basis.urs @ 252:7e9bd70ad3ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoized and optimized initial query test
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 13:58:47 -0400
parents 326fb4686f60
children 7f6620853c36
comparison
equal deleted inserted replaced
251:326fb4686f60 252:7e9bd70ad3ce
154 val bind : t1 ::: Type -> t2 ::: Type 154 val bind : t1 ::: Type -> t2 ::: Type
155 -> transaction t1 -> (t1 -> transaction t2) 155 -> transaction t1 -> (t1 -> transaction t2)
156 -> transaction t2 156 -> transaction t2
157 157
158 val query : tables ::: {{Type}} -> exps ::: {Type} -> tables ~ exps 158 val query : tables ::: {{Type}} -> exps ::: {Type} -> tables ~ exps
159 -> state ::: Type
159 -> sql_query tables exps 160 -> sql_query tables exps
160 -> state ::: Type
161 -> ($(exps ++ fold (fn nm (fields :: {Type}) acc => [nm] ~ acc => [nm = $fields] ++ acc) [] tables) 161 -> ($(exps ++ fold (fn nm (fields :: {Type}) acc => [nm] ~ acc => [nm = $fields] ++ acc) [] tables)
162 -> state 162 -> state
163 -> transaction state) 163 -> transaction state)
164 -> state 164 -> state
165 -> transaction state 165 -> transaction state