annotate jslib/urweb.js @ 579:0094e0242100

Propagated a source change into a dynamic document element
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 15:53:04 -0500
parents ac947e2f29ff
children bb8463c3b712
rev   line source
adamc@579 1 function callAll(ls) {
adamc@579 2 for (; ls; ls = ls.next)
adamc@579 3 ls.v();
adamc@579 4 }
adamc@574 5
adamc@579 6 function sc(v) { return {v : v, h : null} }
adamc@579 7 function sv(s, v) { s.v = v; callAll(s.h); }
adamc@579 8
adamc@579 9 function ss(s) { return s }
adamc@579 10 function sr(v) { return {v : v, h : null} }
adamc@579 11 function sb(x,y) { return {v : y(x.v).v, h : null} }
adamc@571 12
adamc@571 13 function dyn(s) {
adamc@571 14 var x = document.createElement("span");
adamc@571 15 x.innerHTML = s.v;
adamc@571 16 document.body.appendChild(x);
adamc@579 17 s.h = { n : s.h, v : function() { x.innerHTML = s.v } };
adamc@571 18 }