annotate togglePanel.ur @ 15:8300d5f0dc19

Replace ChangePoller with SourceL, plus some other rearrangements
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 14:38:52 -0400
parents 90be8b8917d5
children 16447dc6a68c
rev   line source
kkallio@8 1 datatype panelState = Open | Closed
kkallio@8 2
kkallio@8 3 type formatCtl = {FormatPanel : xbody -> xbody -> xbody,
kkallio@8 4 OpenCtl : transaction unit -> xbody,
kkallio@8 5 CloseCtl : transaction unit -> xbody}
kkallio@8 6
kkallio@8 7 val defaultFormat = {FormatPanel = fn ctl panel => <xml>{ctl}{panel}</xml>,
kkallio@8 8 OpenCtl = fn behaviour => <xml><button value="Open" onclick={behaviour}/></xml>,
kkallio@8 9 CloseCtl = fn behaviour => <xml><button value="Close" onclick={behaviour}/></xml>}
kkallio@8 10
kkallio@8 11 con togglePanel t = {PanelState : source panelState,
kkallio@8 12 FormatCtl : formatCtl,
kkallio@8 13 Content : t}
kkallio@8 14
kkallio@8 15 open Gui
kkallio@8 16
kkallio@8 17 fun create [t ::: Type] (toXml : gui t) (f : formatCtl) (content : t) (startOpen : bool) : transaction (togglePanel t) =
kkallio@8 18 state <- source (if startOpen then Open else Closed);
kkallio@8 19
kkallio@8 20 return {PanelState = state,
kkallio@8 21 FormatCtl = f,
kkallio@8 22 Content = content}
kkallio@8 23
kkallio@8 24 fun render [t ::: Type] (_ : gui t) (panel : togglePanel t) =
kkallio@8 25 let
kkallio@8 26 val openCtl = panel.FormatCtl.CloseCtl (set panel.PanelState Closed)
kkallio@8 27 val closeCtl = panel.FormatCtl.OpenCtl (set panel.PanelState Open)
kkallio@8 28
kkallio@8 29 val content = toXml panel.Content
kkallio@8 30 in
kkallio@8 31 panel.FormatCtl.FormatPanel
kkallio@8 32 <xml>
kkallio@8 33 <dyn signal={c <- signal panel.PanelState;
kkallio@8 34 return
kkallio@8 35 (case c of
kkallio@8 36 Open => <xml>{openCtl}</xml>
kkallio@8 37 | Closed => <xml>{closeCtl}</xml>)
kkallio@8 38 }/>
kkallio@8 39 </xml>
kkallio@8 40
kkallio@8 41 <xml>
kkallio@8 42 <dyn signal={c <- signal panel.PanelState;
kkallio@8 43 return
kkallio@8 44 (case c of
kkallio@8 45 Open => <xml>{content}</xml>
kkallio@8 46 | Closed => <xml/>)
kkallio@8 47 }/>
kkallio@8 48 </xml>
kkallio@8 49 end
kkallio@8 50
kkallio@8 51 fun gui_togglePanel [t ::: Type] (_ : gui t) = mkGui render