-- | 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 [""]