diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 15:04:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 15:04:32 -0400 |
| commit | 81a4a8171274586428288bd7e75ea6721ca56e27 (patch) | |
| tree | 7f4e2dbcd67a12d31a44d95d39c31ebe92328033 /lib | |
| parent | 4a72cb276ab63dc4d00222f191160eda6b342ec5 (diff) | |
Initial HTML attributes support
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 49549f5e..cd106950 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -3,13 +3,15 @@ type float type string -con tag :: {Unit} -> {Unit} -> Type +con tag :: {Type} -> {Unit} -> {Unit} -> Type con xml :: {Unit} -> Type val cdata : ctx ::: {Unit} -> string -> xml ctx -val tag : outer ::: {Unit} -> inner ::: {Unit} - -> tag outer inner +val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent + -> outer ::: {Unit} -> inner ::: {Unit} + -> $attrsGiven + -> tag (attrsGiven ++ attrsAbsent) outer inner -> xml inner -> xml outer val join : shared :: {Unit} @@ -18,10 +20,11 @@ val join : shared :: {Unit} -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared -val head : tag [Html] [Head] -val title : tag [Head] [] +val head : tag [] [Html] [Head] +val title : tag [] [Head] [] -val body : tag [Html] [Body] -val p : tag [Body] [Body] -val b : tag [Body] [Body] -val i : tag [Body] [Body] +val body : tag [] [Html] [Body] +val p : tag [] [Body] [Body] +val b : tag [] [Body] [Body] +val i : tag [] [Body] [Body] +val font : tag [Size = int, Face = string] [Body] [Body] |