Mercurial > gui

comparison navbar.ur @ 32:d32fb0f7b137

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for Ur/Web's new type class handling
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jul 2012 12:28:46 -0400
parents d314d2ec3300
children
comparison
equal deleted inserted replaced
31:b5432d74841a 32:d32fb0f7b137
11 * double reverses coming from calling printingNavBar. *) 11 * double reverses coming from calling printingNavBar. *)
12 12
13 type build = unit 13 type build = unit
14 type print = unit 14 type print = unit
15 15
16 class mode t = navBar t -> xbody 16 con mode t = navBar t -> xbody
17 17
18 (* The case of special treatment for the last one seems common in themes. *) 18 (* The case of special treatment for the last one seems common in themes. *)
19 fun mapXLast [a ::: Type] [ctx ::: {Unit}] (f : a -> bool -> xml ctx [] []) (ls : list a) : (xml ctx [] []) = 19 fun mapXLast [a ::: Type] [ctx ::: {Unit}] (f : a -> bool -> xml ctx [] []) (ls : list a) : (xml ctx [] []) =
20 let 20 let
21 fun mapXLast' ls = 21 fun mapXLast' ls =