annotate tests/event.ur @ 1310:f0909fb3848f
Simplify type of Monad.appR2
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sun, 17 Oct 2010 13:26:11 -0400 |
| parents |
ae9e22822ec5 |
| children |
|
| rev |
line source |
|
adamc@894
|
1 fun main () =
|
|
adamc@894
|
2 s <- source "";
|
|
adamc@894
|
3 return <xml><body onresize={set s "Resize"}>
|
|
adamc@894
|
4 <button onblur={set s "Blur 1"} onfocus={set s "Focus 1"} onclick={set s "Click 1"}/>
|
|
adamc@894
|
5 <button onblur={set s "Blur 2"} onfocus={set s "Focus 2"} onclick={set s "Click 2"}/>
|
|
adamc@894
|
6 <span onclick={set s "Click"} ondblclick={set s "Double-click"}>SPAN</span>
|
|
adamc@894
|
7 <span onmousedown={set s "Mouse down"} onmouseup={set s "Mouse up"}>SPAN</span>
|
|
adamc@894
|
8 <span onmouseout={set s "Mouse out"} onmouseover={set s "Mouse over"}>SPAN</span>
|
|
adamc@894
|
9 <span onmousemove={set s "Mouse move"}>SPAN</span>
|
|
adamc@895
|
10 <button onkeydown={fn k => set s ("Key down: " ^ show k)} onkeyup={fn _ => set s "Key up"}/>
|
|
adamc@895
|
11 <button onkeypress={fn _ => set s "Key press"}/>
|
|
adamc@894
|
12 <br/>
|
|
adamc@894
|
13 <br/>
|
|
adamc@894
|
14
|
|
adamc@894
|
15 <dyn signal={s <- signal s; return <xml>{[s]}</xml>}/>
|
|
adamc@894
|
16 </body></xml>
|
