view tests/dynTable.ur @ 1609:c6cc104a47ac

Client-side timef
author Adam Chlipala <adam@chlipala.net>
date Thu, 24 Nov 2011 11:27:51 -0500
parents ade93cd5bc59
children d2383ffc18ab
line wrap: on
line source
fun main () : transaction page =
    s <- source <xml/>;
    s1 <- source <xml/>;
    n <- source 0;
    return <xml><body>
      <table>
        <dyn signal={signal s}/>
        <tr> <td>Hi</td> </tr>
      </table>

      <button onclick={v <- get n;
                       set n (v + 1);
                       set s <xml><tr> <td>Whoa!({[v]})</td> </tr></xml>}/>

      <table>
        <tr> <dyn signal={signal s1}/> </tr>
        <tr> <td>Hi!</td> </tr>
      </table>

      <button onclick={set s1 <xml><td>Whoa!</td></xml>}/>
    </body></xml>