Mercurial > gui
annotate gui.urs @ 17:2947170fcfd6
Fix sign error in clock skew correction
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 21 Aug 2011 11:27:41 -0400 |
| parents | 90be8b8917d5 |
| children | 16447dc6a68c |
| rev | line source |
|---|---|
| kkallio@8 | 1 (* Gui framework elements common across individual components. *) |
| kkallio@8 | 2 |
| kkallio@8 | 3 class gui |
| kkallio@8 | 4 (* Types of this class describe gui components. *) |
| kkallio@8 | 5 |
| kkallio@8 | 6 val toXml : t ::: Type -> gui t -> t -> xbody |
| kkallio@8 | 7 (* Currently the only thing a gui component can do is be |
| kkallio@8 | 8 * pretty printed to a piece of xml. *) |
| kkallio@8 | 9 |
| kkallio@8 | 10 val gui_xbody : gui xbody |
| kkallio@8 | 11 (* Xml itself can be a gui component. *) |
| kkallio@8 | 12 |
| kkallio@8 | 13 val mkGui : t ::: Type -> (t -> xbody) -> gui t |
| kkallio@8 | 14 (* How to add components to the gui class. *) |