annotate examples/remotePager.ur @ 27:5905b56e0cd9

Adapt to new HTML contexts
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 21:04:21 -0500
parents 2e397d373289
children
rev   line source
kkallio@16 1 fun getPage pg =
kkallio@16 2 return {Content = <xml><h2>This is page {[pg]}.</h2></xml>,
kkallio@16 3 Available = 44}
kkallio@16 4
kkallio@16 5 structure Pager = RemotePager.Make(struct
kkallio@16 6 type errorMarker = {}
kkallio@16 7 type pageGroup = {}
kkallio@16 8 val initPage = fn _ => getPage 0
kkallio@16 9 val getPage = fn _ pg =>
kkallio@16 10 tm <- now;
kkallio@16 11 if mod (toSeconds tm) 5 = 0 then
kkallio@16 12 return (RemotePager.Bad ())
kkallio@16 13 else
kkallio@16 14 p <- getPage pg;
kkallio@16 15 return (RemotePager.Good p)
kkallio@16 16 end)
kkallio@16 17
kkallio@16 18 fun main () =
kkallio@16 19
kkallio@16 20 pager <- Pager.create ();
kkallio@16 21
kkallio@16 22 return
kkallio@16 23 <xml>
kkallio@16 24 <head><title>RemotePager Example</title></head>
kkallio@16 25 <body onload={Pager.onError pager (fn _ => alert "bad found")}>
kkallio@16 26 <h1>RemotePager Example</h1>
kkallio@16 27 <div>{Pager.panelXml pager}</div>
kkallio@16 28 <div>{Pager.ctlXml pager}</div>
kkallio@16 29 </body>
kkallio@16 30 </xml>