Mercurial > gui

comparison gui.ur @ 27:5905b56e0cd9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adapt to new HTML contexts
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 21:04:21 -0500
parents 554e342665fe
children d32fb0f7b137
comparison
equal deleted inserted replaced
26:86857ae0f386 27:5905b56e0cd9
1 class gui = fn (t :: Type) (ctx :: {Unit}) => [body ~ ctx] => t -> xml (body ++ ctx) [] [] 1 class gui = fn (t :: Type) (ctx :: {Unit}) => [[Dyn] ~ ctx] => t -> xml ([Dyn] ++ ctx) [] []
2 2
3 fun gui_xbody [body ~ []] x = x 3 fun gui_xbody [[Dyn] ~ _] x = x
4 fun gui_xtable [body ~ _] x = x 4 fun gui_xtable [[Dyn] ~ _] x = x
5 5
6 fun mkGui [t ::: Type] [ctx ::: {Unit}] (toXml : [body ~ ctx] => t -> xml (body ++ ctx) [] []) = @toXml 6 fun mkGui [t ::: Type] [ctx ::: {Unit}] (toXml : [[Dyn] ~ ctx] => t -> xml ([Dyn] ++ ctx) [] []) = @toXml
7 7
8 fun toXml [t ::: Type] [ctx ::: {Unit}] [body ~ ctx] (toXml : gui t ctx) = toXml 8 fun toXml [t ::: Type] [ctx ::: {Unit}] [[Dyn] ~ ctx] (toXml : gui t ctx) = toXml