annotate gui.ur @ 19:3a303df9ae92

Partial generalize togglePanel solution (breaks build)
author Ron de Bruijn <rmbruijn@gmail.com>
date Fri, 23 Sep 2011 13:30:01 +0200
parents 16447dc6a68c
children 554e342665fe
rev   line source
rmbruijn@18 1 class gui = fn t :: Type => fn xcomponent :: Type => t -> xcomponent
kkallio@8 2
rmbruijn@18 3 fun gui_xbody (x:xbody) : xbody = x
rmbruijn@18 4 fun gui_xtable (x:xtable) : xtable = x
kkallio@8 5
rmbruijn@18 6 fun mkGui [t ::: Type] [xcomponent:::Type] (toXml : t -> xcomponent) = toXml
kkallio@8 7
rmbruijn@18 8 fun toXml [t:::Type] [xcomponent ::: Type] (xmlize: gui t xcomponent) = xmlize
rmbruijn@18 9
rmbruijn@18 10 (* class gui t = t -> xbody *)
rmbruijn@18 11
rmbruijn@18 12 (* fun toXml [t ::: Type] (xmlize : gui t) = xmlize *)
rmbruijn@18 13
rmbruijn@18 14 (* fun gui_xbody x = x *)
rmbruijn@18 15
rmbruijn@18 16 (* fun mkGui [t ::: Type] (toXml : t -> xbody) = toXml *)