Ur/Web: tests/stypes.ur annotate

Reactive computation with more base types and records

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 01 Jan 2009 10:18:20 -0500
parents	66463006f893
children	101eb0058136

rev	line source
adamc@582	1 fun main () : transaction page =
adamc@582	2 sInt <- source 0;
adamc@583	3 sFloat <- source 1.23;
adamc@583	4 sBoth <- source (7, 42.1);
adamc@583	5
adamc@583	6 sOpt <- source None;
adamc@583	7
adamc@582	8 return <xml><body>
adamc@583	9 <dyn signal={n <- signal sInt; return <xml>{[n + 3]}</xml>}/> <a onclick={set sInt 1}>Change</a><br/>
adamc@583	10
adamc@583	11 <dyn signal={n <- signal sFloat; return <xml>{[n + 1.0]}</xml>}/> <a onclick={set sFloat 4.56}>Change</a><br/>
adamc@583	12
adamc@583	13 <dyn signal={p <- signal sBoth; return <xml>{[p.1]}, {[p.2]}</xml>}/> <a onclick={set sBoth (8, 100.001)}>Change</a><br/>
adamc@582	14 </body></xml>

Mercurial > urweb