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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
fun getOpt (t ::: Type) (o : option t) (v : t) : t =
case o of
None => v
| Some x => x
datatype color = Red | White | Blue
fun colorToString c =
case c of
Red => "R"
| White => "W"
| Blue => "B"
val show_color = mkShow colorToString
datatype list a = Nil | Cons of a * list a
fun delist ls : xbody =
case ls of
Nil => <xml>Nil</xml>
| Cons (h, t) => <xml>{cdata h} :: {delist t}</xml>
datatype weird = Foo | Bar | Baz of string
fun weirdToString w =
case w of
Foo => "Foo"
| Bar => "Bar"
| Baz s => s
val show_weird = mkShow weirdToString
cookie int : int
cookie float : float
cookie string : string
cookie bool : bool
cookie pair : int * float
cookie option : option int
cookie color : color
cookie list : list string
cookie weird : weird
fun main () : transaction page =
n <- getCookie int;
n <- return (getOpt n 7);
sn <- source 6;
f <- getCookie float;
f <- return (getOpt f 1.23);
sf <- source 4.56;
s <- getCookie string;
s <- return (getOpt s "Hi");
ss <- source "Bye";
b <- getCookie bool;
b <- return (getOpt b True);
sb <- source False;
p <- getCookie pair;
p <- return (getOpt p (1, 2.3));
sp <- source (4, 5.6);
o <- getCookie option;
o <- return (getOpt o (Some 1));
so <- source None;
c <- getCookie color;
c <- return (getOpt c White);
sc <- source Blue;
l <- getCookie list;
l <- return (getOpt l (Cons ("A", Cons ("B", Nil))));
sl <- source Nil;
w <- getCookie weird;
w <- return (getOpt w (Baz "TADA!"));
sw <- source Foo;
return <xml><body>
<dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/>
<a onclick={set sn n}>CHANGE</a><br/>
<dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/>
<a onclick={set sf f}>CHANGE</a><br/>
<dyn signal={s <- signal ss; return <xml>{[s]}</xml>}/>
<a onclick={set ss s}>CHANGE</a><br/>
<dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/>
<a onclick={set sb b}>CHANGE</a><br/>
<dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/>
<a onclick={set sp p}>CHANGE</a><br/>
<dyn signal={o <- signal so; case o of
None => return <xml>None</xml>
| Some x => return <xml>{[x]}</xml>}/>
<a onclick={set so o}>CHANGE</a><br/>
<dyn signal={c <- signal sc; return <xml>{[c]}</xml>}/>
<a onclick={set sc c}>CHANGE</a><br/>
<dyn signal={l <- signal sl; return <xml>{delist l}</xml>}/>
<a onclick={set sl l}>CHANGE</a><br/>
<dyn signal={w <- signal sw; return <xml>{[w]}</xml>}/>
<a onclick={set sw w}>CHANGE</a><br/>
</body></xml>
|
