Mercurial > gui

comparison navigation.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 48a4180171b0
children
comparison
equal deleted inserted replaced
31:b5432d74841a 32:d32fb0f7b137
17 con barLs :: {Type} -> Type = fn r :: {Type} => $(map navBar r) 17 con barLs :: {Type} -> Type = fn r :: {Type} => $(map navBar r)
18 18
19 con linkLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option navItem) r) 19 con linkLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option navItem) r)
20 con msgLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option xbody) r) 20 con msgLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option xbody) r)
21 21
22 class shape t = t -> $(mapU xbody M.navbarPos) 22 con shape t = t -> $(mapU xbody M.navbarPos)
23 23
24 val shape_npos : shape $(mapU xbody M.navbarPos) = (fn x => x) 24 val shape_npos : shape $(mapU xbody M.navbarPos) = (fn x => x)
25 25
26 con crush :: {Type} -> Type = fn r :: {Type} => $(map (fn _ => xbody) r) 26 con crush :: {Type} -> Type = fn r :: {Type} => $(map (fn _ => xbody) r)
27 27