Mercurial > gui
annotate gui.urs @ 23:7c734edc6301
Merge from Adam.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Sat, 24 Sep 2011 18:55:27 -0430 |
| parents | 554e342665fe |
| children | 5905b56e0cd9 |
| rev | line source |
|---|---|
| kkallio@8 | 1 (* Gui framework elements common across individual components. *) |
| kkallio@8 | 2 |
| kkallio@8 | 3 (* Types of this class describe gui components. *) |
| adam@20 | 4 class gui :: Type (* The type of an object to render *) |
| adam@20 | 5 -> {Unit} (* The HTML context to render it for (minus [body]) *) |
| adam@20 | 6 -> Type |
| rmbruijn@18 | 7 |
| rmbruijn@18 | 8 (* How to add components to the gui class. *) |
| adam@20 | 9 val mkGui : t ::: Type -> ctx ::: {Unit} -> ([body ~ ctx] => t -> xml (body ++ ctx) [] []) -> gui t ctx |
| rmbruijn@18 | 10 |
| adam@20 | 11 (* XML itself can be a gui component. *) |
| adam@20 | 12 val gui_xbody : gui xbody [] |
| adam@20 | 13 val gui_xtable : gui xtable [Table] |
| rmbruijn@18 | 14 |
| kkallio@8 | 15 (* Currently the only thing a gui component can do is be |
| kkallio@8 | 16 * pretty printed to a piece of xml. *) |
| adam@20 | 17 val toXml : t ::: Type -> ctx ::: {Unit} -> [body ~ ctx] => gui t ctx -> t -> xml (body ++ ctx) [] [] |