Mercurial > urweb

view tests/data_attr.ur @ 2015:4a93f379c452

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix datetime construction (contributed by Patrick Hurst)
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 May 2014 19:09:09 -0400
parents 93ff76058825
children 6be31671911b
line wrap: on
line source
fun dynd r = return <xml><body>
  <div data={data_attr r.Attr r.Value}>How about that?</div>
</body></xml>

fun main () : transaction page =
  s <- source <xml/>;
  a <- source "";
  v <- source "";
  return <xml><body>
    <div data-foo="hi" data-bar="bye" data-baz="why">Whoa there, cowboy!</div>

    <hr/>

    <form>
      <textbox{#Attr}/> = <textbox{#Value}/>
      <submit action={dynd}/>
    </form>

    <hr/>

    <ctextbox source={a}/> = <ctextbox source={v}/>
    <button onclick={fn _ =>
      a <- get a; v <- get v; set s <xml><div data={data_attr a v}>OHO!</div></xml>}/>
    <hr/>
    <dyn signal={signal s}/>
  </body></xml>