Mercurial > urweb
diff demo/increment.ur @ 648:3c6d535d3d8b
Increment demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Mar 2009 13:57:09 -0400 |
parents | |
children | 15ddd64a5113 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/increment.ur Tue Mar 10 13:57:09 2009 -0400 @@ -0,0 +1,10 @@ +sequence seq + +fun increment () = nextval seq + +fun main () = + src <- source 0; + return <xml><body> + <dyn signal={n <- signal src; return <xml>{[n]}</xml>}/> + <button value="Update" onclick={n <- increment (); set src n}/> + </body></xml>