-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Fast and easy to use XHTML combinators. -- -- xhtml-combinators provides a set of (hopefully!) fast and easy to use -- XHTML 1.0 Strict combinators built on top of the Data.Text library. @package xhtml-combinators @version 0.2.2 -- | Escaping is based on the ESAPI project (see -- 'http://www.owasp.org/index.php/ESAPI') module Text.XHtmlCombinators.Escape -- | Escaping text in generic HTML elements escape :: Text -> Text -- | Escaping text in attribute values escapeAttr :: Text -> Text -- | Escaping text intended for places where scripts can be used escapeJavaScript :: Text -> Text -- | Escape text for CSS (style) data escapeCSS :: Text -> Text module Text.XHtmlCombinators.Render render :: Content c => XHtml c -> Text renderPretty :: Content c => XHtml c -> Text -- | Quickly render a xhtml page to text. -- -- This function will render the entire page on a single line, which is -- somewhat unreadable. On the plus side, it's relatively fast. renderT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t Text -- | Renders a pretty xhtml page with readable indentation. -- -- What we do is turn the document from Text into a String, -- parse that string with Text.XML.Light, then use -- Text.XML.Light's pretty printing function to render it, -- before finally packing it again. It probably goes without saying, but -- this function is incredibly inefficient! -- -- Also, Text.XML.Light will render the document as proper XML, -- which is fine only if you're not trying to pass of your page as -- text/html. -- -- It also has a tendency to turn escaped characters back into their -- unescaped counterparts, so it's probably best to only use this for -- debugging. renderPrettyT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t Text module Text.XHtmlCombinators.Attributes attr :: Text -> Text -> Attr action :: Text -> Attr align :: Text -> Attr alt :: Text -> Attr altcode :: Text -> Attr archive :: Text -> Attr base :: Text -> Attr border :: Int -> Attr bordercolor :: Text -> Attr cellpadding :: Int -> Attr cellspacing :: Int -> Attr checked :: Attr codebase :: Text -> Attr cols :: Text -> Attr colspan :: Int -> Attr content :: Text -> Attr coords :: Text -> Attr disabled :: Attr enctype :: Text -> Attr height :: Text -> Attr href :: Text -> Attr hreflang :: Text -> Attr httpEquiv :: Text -> Attr id_ :: Text -> Attr ismap :: Attr lang :: Text -> Attr maxlength :: Int -> Attr method :: Text -> Attr multiple :: Attr name :: Text -> Attr nohref :: Attr rel :: Text -> Attr rev :: Text -> Attr rows :: Text -> Attr rowspan :: Int -> Attr rules :: Text -> Attr selected :: Attr shape :: Text -> Attr size :: Text -> Attr src :: Text -> Attr class_ :: Text -> Attr for :: Text -> Attr style :: Text -> Attr type_ :: Text -> Attr title :: Text -> Attr usemap :: Text -> Attr valign :: Text -> Attr value :: Text -> Attr width :: Text -> Attr module Text.XHtmlCombinators.Attributes.Safe attr :: Text -> Text -> Attr action :: Text -> Attr align :: Text -> Attr alt :: Text -> Attr altcode :: Text -> Attr archive :: Text -> Attr base :: Text -> Attr border :: Int -> Attr bordercolor :: Text -> Attr cellpadding :: Int -> Attr cellspacing :: Int -> Attr checked :: Attr codebase :: Text -> Attr cols :: Text -> Attr colspan :: Int -> Attr content :: Text -> Attr coords :: Text -> Attr disabled :: Attr enctype :: Text -> Attr height :: Text -> Attr href :: Text -> Attr hreflang :: Text -> Attr httpEquiv :: Text -> Attr id_ :: Text -> Attr ismap :: Attr lang :: Text -> Attr maxlength :: Int -> Attr method :: Text -> Attr multiple :: Attr name :: Text -> Attr nohref :: Attr rel :: Text -> Attr rev :: Text -> Attr rows :: Text -> Attr rowspan :: Int -> Attr rules :: Text -> Attr selected :: Attr shape :: Text -> Attr size :: Text -> Attr src :: Text -> Attr class_ :: Text -> Attr for :: Text -> Attr style :: Text -> Attr type_ :: Text -> Attr title :: Text -> Attr usemap :: Text -> Attr valign :: Text -> Attr value :: Text -> Attr width :: Text -> Attr module Text.XHtmlCombinators.Extras.Lorem lorem' :: Block c => Attrs -> XHtmlT (State StdGen) c lorem :: Block c => XHtmlT (State StdGen) c loremIO' :: Block c => Attrs -> XHtmlT IO c loremIO :: Block c => XHtmlT IO c module Text.XHtmlCombinators type XHtmlMT t x a = WriterT (Seq x) t a type XHtmlT t x = XHtmlMT t x () type XHtml x = XHtmlT Identity x data Page class Content e class CData c type Attrs = [Attr] data Attr data TopLevelContent data HeadContent class Flow c data FlowContent class Block c data BlockContent class Inline c data InlineContent data ObjectContent data MapContent data ListContent data DefinitionListContent data FieldSetContent data OptionContent data Table1Content data Table2Content data Table3Content data TableColContent html' :: (Functor t, Monad t) => Bool -> Attrs -> XHtmlT t TopLevelContent -> XHtmlT t Page html :: (Functor t, Monad t) => Bool -> XHtmlT t TopLevelContent -> XHtmlT t Page text :: (Functor t, Monad t, CData c) => Text -> XHtmlT t c empty :: Monad t => XHtmlT t x head' :: (Functor t, Monad t) => Attrs -> XHtmlT t HeadContent -> XHtmlT t TopLevelContent head_ :: (Functor t, Monad t) => XHtmlT t HeadContent -> XHtmlT t TopLevelContent title' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t HeadContent title :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent base' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t HeadContent base :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent meta' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t HeadContent meta :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent link' :: (Functor t, Monad t) => Attrs -> XHtmlT t HeadContent -- | link is a bit useless without any attributes, but it's included -- anyway for consistency reasons. As are several other similar elements. link :: (Functor t, Monad t) => XHtmlT t HeadContent style' :: (Functor t, Monad t) => Text -> Attrs -> Text -> XHtmlT t HeadContent style :: (Functor t, Monad t) => Text -> Text -> XHtmlT t HeadContent script' :: (Functor t, Monad t) => Text -> Attrs -> Text -> XHtmlT t HeadContent script :: (Functor t, Monad t) => Text -> Text -> XHtmlT t HeadContent noscript' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t BlockContent -> XHtmlT t c noscript :: (Functor t, Monad t, Block c) => XHtmlT t BlockContent -> XHtmlT t c body' :: (Functor t, Monad t) => Attrs -> XHtmlT t BlockContent -> XHtmlT t TopLevelContent body :: (Functor t, Monad t) => XHtmlT t BlockContent -> XHtmlT t TopLevelContent div' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t FlowContent -> XHtmlT t c div_ :: (Functor t, Monad t, Block c) => XHtmlT t FlowContent -> XHtmlT t c p' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c p :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h1' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h1 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h2' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h2 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h3' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h3 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h4' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h4 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h5' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h5 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c h6' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c h6 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c ul' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t ListContent -> XHtmlT t c ul :: (Functor t, Monad t, Block c) => XHtmlT t ListContent -> XHtmlT t c ol' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t ListContent -> XHtmlT t c ol :: (Functor t, Monad t, Block c) => XHtmlT t ListContent -> XHtmlT t c li' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t ListContent li :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t ListContent dl' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t DefinitionListContent -> XHtmlT t c dl :: (Functor t, Monad t, Block c) => XHtmlT t DefinitionListContent -> XHtmlT t c dt' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t DefinitionListContent dt :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t DefinitionListContent dd' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t DefinitionListContent dd :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t DefinitionListContent address' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c address :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c hr' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t c hr :: (Functor t, Monad t, Block c) => XHtmlT t c pre' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c pre :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t c blockquote' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t BlockContent -> XHtmlT t c blockquote :: (Functor t, Monad t, Block c) => XHtmlT t BlockContent -> XHtmlT t c ins' :: (Functor t, Monad t) => (Flow c, Content c) => Attrs -> XHtmlT t c -> XHtmlT t c ins :: (Functor t, Monad t) => (Flow c, Content c) => XHtmlT t c -> XHtmlT t c del' :: (Functor t, Monad t) => (Flow c, Content c) => Attrs -> XHtmlT t c -> XHtmlT t c del :: (Functor t, Monad t) => (Flow c, Content c) => XHtmlT t c -> XHtmlT t c a' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c a :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c span' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c span_ :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c bdo' :: (Functor t, Monad t, Inline c) => Text -> Attrs -> XHtmlT t InlineContent -> XHtmlT t c bdo :: (Functor t, Monad t, Inline c) => Text -> XHtmlT t InlineContent -> XHtmlT t c br' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t c br :: (Functor t, Monad t, Inline c) => XHtmlT t c em' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c em :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c strong' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c strong :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c dfn' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c dfn :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c code' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c code :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c samp' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c samp :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c kbd' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c kbd :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c var' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c var :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c cite' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c cite :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c abbr' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c abbr :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c acronym' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c acronym :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c q' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c q :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c sub' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c sub :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c tt' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c tt :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c i' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c i :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c b' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c b :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c big' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c big :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c small' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c small :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c object' :: (Functor t, Monad t, Flow c) => Attrs -> XHtmlT t ObjectContent -> XHtmlT t c object :: (Functor t, Monad t, Flow c) => XHtmlT t ObjectContent -> XHtmlT t c param' :: (Functor t, Monad t) => Attrs -> XHtmlT t ObjectContent param :: (Functor t, Monad t) => XHtmlT t ObjectContent img' :: (Functor t, Monad t, Flow c) => Text -> Text -> Attrs -> XHtmlT t c img :: (Functor t, Monad t, Flow c) => Text -> Text -> XHtmlT t c map' :: (Functor t, Monad t, Flow c) => Text -> Attrs -> XHtmlT t MapContent -> XHtmlT t c map_ :: (Functor t, Monad t, Flow c) => Text -> XHtmlT t MapContent -> XHtmlT t c area' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t MapContent area :: (Functor t, Monad t) => Text -> XHtmlT t MapContent form' :: (Functor t, Monad t, Block c) => Text -> Attrs -> XHtmlT t FlowContent -> XHtmlT t c form :: (Functor t, Monad t, Block c) => Text -> XHtmlT t FlowContent -> XHtmlT t c label' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t c label :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t c input' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t c input :: (Functor t, Monad t, Inline c) => XHtmlT t c select' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t OptionContent -> XHtmlT t c select :: (Functor t, Monad t, Inline c) => XHtmlT t OptionContent -> XHtmlT t c optgroup' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t OptionContent -> XHtmlT t OptionContent optgroup :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent -> XHtmlT t OptionContent option' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t OptionContent option :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent textarea' :: (Functor t, Monad t, Inline c) => Int -> Int -> Attrs -> Text -> XHtmlT t c textarea :: (Functor t, Monad t, Inline c) => Int -> Int -> Text -> XHtmlT t c fieldset' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t FieldSetContent -> XHtmlT t c fieldset :: (Functor t, Monad t, Block c) => XHtmlT t FieldSetContent -> XHtmlT t c legend' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t FieldSetContent legend :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t FieldSetContent button' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t FlowContent -> XHtmlT t c button :: (Functor t, Monad t, Inline c) => XHtmlT t FlowContent -> XHtmlT t c table' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t Table1Content -> XHtmlT t c table :: (Functor t, Monad t, Block c) => XHtmlT t Table1Content -> XHtmlT t c caption' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t Table1Content caption :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t Table1Content thead' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content thead :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content tfoot' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content tfoot :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content tbody' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content tbody :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content colgroup' :: (Functor t, Monad t) => Attrs -> XHtmlT t TableColContent -> XHtmlT t Table1Content colgroup :: (Functor t, Monad t) => XHtmlT t TableColContent -> XHtmlT t Table1Content col' :: (Functor t, Monad t) => Attrs -> XHtmlT t TableColContent col :: (Functor t, Monad t) => XHtmlT t TableColContent tr' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table3Content -> XHtmlT t Table2Content tr :: (Functor t, Monad t) => XHtmlT t Table3Content -> XHtmlT t Table2Content th' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t Table3Content th :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t Table3Content td' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t Table3Content td :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t Table3Content render :: Content c => XHtml c -> Text -- | Quickly render a xhtml page to text. -- -- This function will render the entire page on a single line, which is -- somewhat unreadable. On the plus side, it's relatively fast. renderT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t Text module Text.XHtmlCombinators.Safe text :: (Functor t, Monad t, CData c) => Text -> XHtmlT t c title' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t HeadContent title :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent base' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t HeadContent base :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent meta' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t HeadContent meta :: (Functor t, Monad t) => Text -> XHtmlT t HeadContent style' :: (Functor t, Monad t) => Text -> Attrs -> Text -> XHtmlT t HeadContent style :: (Functor t, Monad t) => Text -> Text -> XHtmlT t HeadContent script' :: (Functor t, Monad t) => Text -> Attrs -> Text -> XHtmlT t HeadContent script :: (Functor t, Monad t) => Text -> Text -> XHtmlT t HeadContent bdo' :: (Functor t, Monad t, Inline c) => Text -> Attrs -> XHtmlT t InlineContent -> XHtmlT t c bdo :: (Functor t, Monad t, Inline c) => Text -> XHtmlT t InlineContent -> XHtmlT t c map' :: (Functor t, Monad t, Flow c) => Text -> Attrs -> XHtmlT t MapContent -> XHtmlT t c map_ :: (Functor t, Monad t, Flow c) => Text -> XHtmlT t MapContent -> XHtmlT t c area' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t MapContent area :: (Functor t, Monad t) => Text -> XHtmlT t MapContent form' :: (Functor t, Monad t, Block c) => Text -> Attrs -> XHtmlT t FlowContent -> XHtmlT t c form :: (Functor t, Monad t, Block c) => Text -> XHtmlT t FlowContent -> XHtmlT t c optgroup' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t OptionContent -> XHtmlT t OptionContent optgroup :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent -> XHtmlT t OptionContent option' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t OptionContent option :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent textarea' :: (Functor t, Monad t, Inline c) => Int -> Int -> Attrs -> Text -> XHtmlT t c textarea :: (Functor t, Monad t, Inline c) => Int -> Int -> Text -> XHtmlT t c