summaryrefslogtreecommitdiff
path: root/tests/html5_cforms.ur
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>