blob: 27e2b8055e012965a530540cb245bd472ed18b5e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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
|
