From 9e25c1ce13add31807463c913129c24643944e38 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 6 May 2012 14:01:29 -0400
Subject: 'style' attributes

---
 lib/ur/basis.urs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index ef2b9156..1c9de4b9 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -636,6 +636,17 @@ val classes : css_class -> css_class -> css_class
 (* The equivalent of writing one class after the other, separated by a space, in
  * an HTML 'class' attribute *)
 
+type css_value
+val atom : string -> css_value
+type url
+val css_url : url -> css_value
+type css_property
+val property : string -> css_property
+val value : css_property -> css_value -> css_property
+type css_style
+val noStyle : css_style
+val oneProperty : css_style -> css_property -> css_style
+
 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
 
 con xml :: {Unit} -> {Type} -> {Type} -> Type
@@ -650,6 +661,7 @@ val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
              [bindOuter ~ bindInner] =>
            css_class
 	   -> option (signal css_class)
+           -> css_style
            -> $attrsGiven
            -> tag (attrsGiven ++ attrsAbsent)
                   ctxOuter ctxInner useOuter bindOuter
@@ -695,7 +707,6 @@ con xform = xml form [] []
 type queryString
 val show_queryString : show queryString
 
-type url
 val show_url : show url
 val bless : string -> url
 val checkUrl : string -> option url
-- 
cgit v1.2.3