view tests/dynlines.ur @ 2269:f7bc7c11a656

Make SQL caches use more of the pure caching machinery, but it's brittle.
author Ziv Scully <ziv@mit.edu>
date Thu, 15 Oct 2015 00:52:04 -0400
parents 38297294cf98
children
line wrap: on
line source
datatype lines = End | Line of 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 linesS => <xml>X<br/><dyn signal={renderS linesS}/></xml>

and renderS linesS =
    lines <- signal linesS;
    return (renderL lines)

fun render t = renderS t.Head

fun write t =
    oldTail <- get t.Tail;
    newTail <- source End;
    set oldTail (Line newTail);
    set t.Tail newTail

fun main () : transaction page =
    b <- create;

    return <xml><body>
      <button onclick={fn _ => write b}/>
      <dyn signal={render b}/>
    </body></xml>