blob: 80dda857cbddd05c3b064296eb087aee414d99fa (
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
|
fun dynd r = return <xml><body>
<div data={data_attr r.Attr r.Value}>How about that?</div>
</body></xml>
fun main () : transaction page =
s <- source <xml/>;
a <- source "";
v <- source "";
return <xml><body>
<div data-foo="hi" data-bar="bye" data-baz="why">Whoa there, cowboy!</div>
<hr/>
<form>
<textbox{#Attr}/> = <textbox{#Value}/>
<submit action={dynd}/>
</form>
<hr/>
<ctextbox source={a}/> = <ctextbox source={v}/>
<button onclick={fn _ =>
a <- get a; v <- get v; set s <xml><div data={data_attr a v}>OHO!</div></xml>}/>
<hr/>
<dyn signal={signal s}/>
</body></xml>
|
