annotate lib/basis.lig @ 105:da760c34f5ed

Stringifying attributes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:19:06 -0400
parents b1e5398a7f30
children d101cb1efe55
rev   line source
adamc@56 1 type int
adamc@56 2 type float
adamc@56 3 type string
adamc@91 4
adamc@91 5
adamc@104 6 con tag :: {Type} -> {Unit} -> {Unit} -> Type
adamc@91 7
adamc@91 8
adamc@91 9 con xml :: {Unit} -> Type
adamc@91 10 val cdata : ctx ::: {Unit} -> string -> xml ctx
adamc@104 11 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
adamc@104 12 -> outer ::: {Unit} -> inner ::: {Unit}
adamc@104 13 -> $attrsGiven
adamc@104 14 -> tag (attrsGiven ++ attrsAbsent) outer inner
adamc@91 15 -> xml inner
adamc@91 16 -> xml outer
adamc@91 17 val join : shared :: {Unit}
adamc@91 18 -> ctx1 ::: {Unit} -> ctx1 ~ shared
adamc@91 19 -> ctx2 ::: {Unit} -> ctx2 ~ shared
adamc@91 20 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
adamc@91 21
adamc@91 22
adamc@104 23 val head : tag [] [Html] [Head]
adamc@104 24 val title : tag [] [Head] []
adamc@93 25
adamc@104 26 val body : tag [] [Html] [Body]
adamc@104 27 val p : tag [] [Body] [Body]
adamc@104 28 val b : tag [] [Body] [Body]
adamc@104 29 val i : tag [] [Body] [Body]
adamc@104 30 val font : tag [Size = int, Face = string] [Body] [Body]
adamc@105 31
adamc@105 32
adamc@105 33 val attrifyInt : int -> string
adamc@105 34 val attrifyFloat : float -> string