Mercurial > gui
view gui.urs @ 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 |
line wrap: on
line source
(* Gui framework elements common across individual components. *) class gui (* Types of this class describe gui components. *) val toXml : t ::: Type -> gui t -> t -> xbody (* Currently the only thing a gui component can do is be * pretty printed to a piece of xml. *) val gui_xbody : gui xbody (* Xml itself can be a gui component. *) val mkGui : t ::: Type -> (t -> xbody) -> gui t (* How to add components to the gui class. *)