Mercurial > urweb
view tests/data_attr.ur @ 2288:98f96a976ede
Finish locking, but it's not yet tested rigorously.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 13 Nov 2015 11:03:09 -0500 |
parents | 6be31671911b |
children |
line wrap: on
line source
fun dynd r = return <xml><body> <div data={data_attr data_kind 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" aria-something="wow" 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 data_kind a v}>OHO!</div></xml>}/> <hr/> <dyn signal={signal s}/> </body></xml>