Mercurial > gui

view examples/countdown.ur @ 32:d32fb0f7b137

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for Ur/Web's new type class handling
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jul 2012 12:28:46 -0400
parents 2947170fcfd6
children
line wrap: on
line source
fun main () : transaction page =
    start <- now;
    deadline <- return (addSeconds start 60);
    cl <- Clock.create 500;
    return <xml><body onload={Clock.start cl}>
      <dyn signal={cl <- Clock.signal cl;
                   return <xml>
                     {[cl]}<br/>
                     {if cl > deadline then
                          <xml><b>Expired</b></xml>
                      else
                          <xml>{[diffInSeconds cl deadline]}</xml>}
                   </xml>}/>
    </body></xml>