Mercurial > urweb
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 |