Mercurial > gui
comparison style.ur @ 32:d32fb0f7b137
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 |