Mercurial > gui
view examples/remotePagerMain.ur @ 30:c1f06342c81f
Add margin example
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 12 May 2012 10:07:45 -0400 |
parents | 93140c5cc972 |
children |
line wrap: on
line source
fun getPage pg = return {Content = <xml><h2>This is page {[pg]}.</h2></xml>, Available = 44} structure Pager = RemotePager.Make(struct type errorMarker = {} type pageGroup = {} val initPage = fn _ => getPage 0 val getPage = fn _ pg => tm <- now; if mod (toSeconds tm) 5 = 0 then return (RemotePager.Bad ()) else p <- getPage pg; return (RemotePager.Good p) end) fun main () = pager <- Pager.create (); return <xml> <head><title>RemotePager Example</title></head> <body onload={Pager.onError pager (fn _ => alert "bad found")}> <h1>RemotePager Example</h1> <div>{Pager.panelXml pager}</div> <div>{Pager.ctlXml pager}</div> </body> </xml>