comparison gui.ur @ 23:7c734edc6301

Merge from Adam.
author Karn Kallio <kkallio@eka>
date Sat, 24 Sep 2011 18:55:27 -0430
parents 554e342665fe
children 5905b56e0cd9
comparison
equal deleted inserted replaced
22:4362b15220e4 23:7c734edc6301
1 class gui t = t -> xbody 1 class gui = fn (t :: Type) (ctx :: {Unit}) => [body ~ ctx] => t -> xml (body ++ ctx) [] []
2 2
3 fun toXml [t ::: Type] (xmlize : gui t) = xmlize 3 fun gui_xbody [body ~ []] x = x
4 fun gui_xtable [body ~ _] x = x
4 5
5 fun gui_xbody x = x 6 fun mkGui [t ::: Type] [ctx ::: {Unit}] (toXml : [body ~ ctx] => t -> xml (body ++ ctx) [] []) = @toXml
6 7
7 fun mkGui [t ::: Type] (toXml : t -> xbody) = toXml 8 fun toXml [t ::: Type] [ctx ::: {Unit}] [body ~ ctx] (toXml : gui t ctx) = toXml