Mercurial > urweb

comparison tests/html5_cforms.ur @ 2079:e1879ded8095

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Textual HTML5 AJAX widgets
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 15:03:29 -0500
parents
children f05fcb206571
comparison
equal deleted inserted replaced
2078:6d126af2e1cb 2079:e1879ded8095
1 fun dn [a] (_ : show a) (x : source a) : xbody = <xml>
2 <dyn signal={v <- signal x; return (txt v)}/>
3 </xml>
4
5 fun main () : transaction page =
6 a <- source "";
7 b <- source True;
8 c <- source "a@b";
9 d <- source "";
10 e <- source "";
11 f <- source "";
12
13 return <xml><body>
14 <ctextbox source={a}/>
15 <ccheckbox source={b}/>
16 <cemail source={c}/>
17 <curl source={d}/>
18 <ctel source={e}/>
19 <csearch source={f}/>
20
21 <hr/>
22
23 {dn a};
24 {dn b};
25 {dn c};
26 {dn d};
27 {dn e};
28 {dn f}
29 </body></xml>