Mercurial > urweb
view demo/buffer.ur @ 1832:373e2c3f03b2
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 28 Nov 2012 11:45:46 -0500 |
parents | 755a71c99be5 |
children |
line wrap: on
line source
datatype lines = End | Line of string * source lines type t = { Head : source lines, Tail : source (source lines) } val create = head <- source End; tail <- source head; return {Head = head, Tail = tail} fun renderL lines = case lines of End => <xml/> | Line (line, linesS) => <xml>{[line]}<br/><dyn signal={renderS linesS}/></xml> and renderS linesS = lines <- signal linesS; return (renderL lines) fun render t = renderS t.Head fun write t s = oldTail <- get t.Tail; newTail <- source End; set oldTail (Line (s, newTail)); set t.Tail newTail