Mercurial > urweb
comparison demo/increment.ur @ 733:15ddd64a5113
Add more buttons to demo, to avoid effectful GET
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Apr 2009 15:38:01 -0400 |
parents | 3c6d535d3d8b |
children | a44daa674810 |
comparison
equal
deleted
inserted
replaced
732:5819fb63c93a | 733:15ddd64a5113 |
---|---|
1 sequence seq | 1 sequence seq |
2 | 2 |
3 fun increment () = nextval seq | 3 fun increment () = nextval seq |
4 | 4 |
5 fun main () = | 5 fun action () = |
6 src <- source 0; | 6 src <- source 0; |
7 return <xml><body> | 7 return <xml><body> |
8 <dyn signal={n <- signal src; return <xml>{[n]}</xml>}/> | 8 <dyn signal={n <- signal src; return <xml>{[n]}</xml>}/> |
9 <button value="Update" onclick={n <- increment (); set src n}/> | 9 <button value="Update" onclick={n <- increment (); set src n}/> |
10 </body></xml> | 10 </body></xml> |
11 | |
12 fun main () = return <xml><body> | |
13 <form><submit value="Begin demo" action={action}/></form> | |
14 </body></xml> |