blob: be07d07e70d94657dcc6784f928f128ae29c247a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
fun dn [a] (_ : show a) (x : source a) : xbody = <xml>
<dyn signal={v <- signal x; return (txt v)}/>
</xml>
fun main () : transaction page =
a <- source "";
b <- source True;
c <- source "a@b";
d <- source "";
e <- source "";
f <- source "";
g <- source 1.0;
h <- source 1.0;
i <- source "#CCCCCC";
j <- source "2014/11/16";
k <- source "2014/11/16 12:30:45";
l <- source "2014/11/16 12:30:45";
m <- source "2014/11";
n <- source "2014-W7";
o <- source "12:30:45";
return <xml><body>
<ctextbox source={a}/>
<ccheckbox source={b}/>
<cemail source={c}/>
<curl source={d}/>
<ctel source={e}/>
<csearch source={f}/>
<cnumber source={g} min={-10.0} max={10.0} step={0.5}/>
<crange source={h} min={-10.0} max={10.0}/>
<ccolor source={i}/>
<cdate source={j}/>
<cdatetime source={k}/>
<cdatetime-local source={l}/>
<cmonth source={m}/>
<cweek source={n}/>
<ctime source={o}/>
<hr/>
{dn a};
{dn b};
{dn c};
{dn d};
{dn e};
{dn f};
{dn g};
{dn h};
{dn i};
{dn j};
{dn k};
{dn l};
{dn m};
{dn n};
{dn o}
</body></xml>
|
