Mercurial > gui
annotate style.ur @ 34:2d195bee1efa
CKeditor wrapper
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 21 Nov 2013 18:19:02 -0500 |
| parents | d32fb0f7b137 |
| children |
| rev | line source |
|---|---|
| adam@32 | 1 con attr t = t -> css_value |
| adam@29 | 2 val attr_string = atom |
| adam@29 | 3 fun attr_int n = atom (show n) |
| adam@29 | 4 val attr_url = css_url |
| adam@29 | 5 fun valu [t] (f : attr t) (x : t) = f x |
| adam@29 | 6 |
| adam@29 | 7 fun prop1 [t] (f : attr t) (s : string) (x : t) = |
| adam@29 | 8 oneProperty noStyle (value (property s) (f x)) |
| adam@29 | 9 |
| adam@29 | 10 fun prop (s : string) (xs : list css_value) = |
| adam@29 | 11 oneProperty noStyle (List.foldl (fn x p => value p x) (property s) xs) |
| adam@29 | 12 |
| adam@29 | 13 fun props (ls : list (string * list css_value)) = |
| adam@29 | 14 List.foldl (fn (s, xs) acc => |
| adam@29 | 15 oneProperty acc (List.foldl (fn x p => value p x) (property s) xs)) |
| adam@29 | 16 noStyle ls |