Mercurial > gui

comparison style.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 93140c5cc972
children
comparison
equal deleted inserted replaced
31:b5432d74841a 32:d32fb0f7b137
1 class attr t = t -> css_value 1 con attr t = t -> css_value
2 val attr_string = atom 2 val attr_string = atom
3 fun attr_int n = atom (show n) 3 fun attr_int n = atom (show n)
4 val attr_url = css_url 4 val attr_url = css_url
5 fun valu [t] (f : attr t) (x : t) = f x 5 fun valu [t] (f : attr t) (x : t) = f x
6 6