annotate tests/rform.ur @ 1175:79f487f51d9f

Monad.foldMapR
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 10:33:49 -0500
parents 4c2c740c6931
children
rev   line source
adamc@598 1 fun main () : transaction page =
adamc@598 2 s <- source "Hi";
adamc@598 3 return <xml><body>
adamc@598 4 <form>
adamc@598 5 <textbox{#A} source={s}/>
adamc@598 6 </form>
adamc@598 7 <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
adamc@598 8 <br/>
adamc@598 9 Latest: <dyn signal={s <- signal s; return (cdata s)}/>
adamc@598 10 </body></xml>