Mercurial > urweb
view lib/basis.lig @ 135:b1cfe49ce692
Proper escaping of cdata
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Jul 2008 13:33:56 -0400 |
parents | 7fdc146b2bc2 |
children | adfa2c7a75da |
line wrap: on
line source
type int type float type string type unit = {} con tag :: {Type} -> {Unit} -> {Unit} -> Type con xml :: {Unit} -> Type val cdata : ctx ::: {Unit} -> string -> xml ctx 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} -> ctx1 ::: {Unit} -> ctx1 ~ shared -> ctx2 ::: {Unit} -> ctx2 ~ shared -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared con xhtml = xml [Html] 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 font : tag [Size = int, Face = string] [Body] [Body] val h1 : tag [] [Body] [Body] val li : tag [] [Body] [Body] val a : tag [Link = xhtml] [Body] [Body]