Mercurial > urweb
diff lib/ur/basis.urs @ 718:f152f215a02c
style declarations
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Apr 2009 10:08:11 -0400 |
parents | e28637743279 |
children | 5c099b1308ae |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Apr 09 16:36:50 2009 -0400 +++ b/lib/ur/basis.urs Sun Apr 12 10:08:11 2009 -0400 @@ -405,6 +405,9 @@ (** XML *) +con css_class :: {Unit} -> Type +(* The argument lists categories of properties that this class could set usefully. *) + con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type @@ -440,6 +443,7 @@ con xtr = xml [Body, Tr] [] [] con xform = xml [Body, Form] [] [] + (*** HTML details *) con html = [Html]