-- | xhtml related constants.
module Text.HTML.Light.Constant where
import Text.XML.Light
-- * Named non-ascii characters
-- | The copyright character.
copy :: Content
copy = Text (CData CDataRaw "©" Nothing)
-- | The down arrow character.
darr :: Content
darr = Text (CData CDataRaw "↓" Nothing)
-- | The double down arrow character.
dArr :: Content
dArr = Text (CData CDataRaw "⇓" Nothing)
-- | The degree character.
deg :: Content
deg = Text (CData CDataRaw "°" Nothing)
-- | The left double arrow character.
larr :: Content
larr = Text (CData CDataRaw "←" Nothing)
-- | The empty set symbol.
empty :: Content
empty = Text (CData CDataRaw "∅" Nothing)
-- | The left arrow character.
lArr :: Content
lArr = Text (CData CDataRaw "⇐" Nothing)
-- | The right double angle quote character.
laquo :: Content
laquo = Text (CData CDataRaw "«" Nothing)
-- | The non-breaking space character.
nbsp :: Content
nbsp = Text (CData CDataRaw " " Nothing)
-- | The right arrow character.
rarr :: Content
rarr = Text (CData CDataRaw "→" Nothing)
-- | The right double arrow character.
rArr :: Content
rArr = Text (CData CDataRaw "⇒" Nothing)
-- | The right double angle quote character.
raquo :: Content
raquo = Text (CData CDataRaw "»" Nothing)
-- | The up arrow character.
uarr :: Content
uarr = Text (CData CDataRaw "↑" Nothing)
-- | The up double arrow character.
uArr :: Content
uArr = Text (CData CDataRaw "⇑" Nothing)
-- * Version and document type strings
-- | The xml version 1.0 string with UTF-8 encoding set.
xml_1_0 :: String
xml_1_0 = ""
-- | A type synonym for document type strings.
type DocType = String
-- | The xhtml 1.0 strict document type string.
xhtml_1_0_strict :: DocType
xhtml_1_0_strict =
let dtd = "PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\""
url = "\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\""
in concat [""]
-- | The xhtml 1.0 transitional document type string.
xhtml_1_0_transitional :: DocType
xhtml_1_0_transitional =
let dtd = "PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\""
url = "\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\""
in concat [""]