comparison lib/top.ur @ 341:389399d65331

Crud update form
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:03:55 -0400
parents 075b36dbb1a4
children b85e6ba56618
comparison
equal deleted inserted replaced
340:5ccb1c6412e4 341:389399d65331
101 fn (f : $(exps ++ fold (fn nm (fields :: {Type}) acc => [nm] ~ acc => [nm = $fields] ++ acc) [] tables) 101 fn (f : $(exps ++ fold (fn nm (fields :: {Type}) acc => [nm] ~ acc => [nm = $fields] ++ acc) [] tables)
102 -> xml ctx [] []) => 102 -> xml ctx [] []) =>
103 query q 103 query q
104 (fn fs acc => return <xml>{acc}{f fs}</xml>) 104 (fn fs acc => return <xml>{acc}{f fs}</xml>)
105 <xml></xml> 105 <xml></xml>
106
107 fun oneOrNoRows (tables ::: {{Type}}) (exps ::: {Type}) (q : sql_query tables exps) =
108 [tables ~ exps] =>
109 query q
110 (fn fs _ => return (Some fs))
111 None