Portability | GHC |
---|---|
Stability | experimental |
Maintainer | alasdair.armstrong@googlemail.com |
Safe Haskell | None |
Text.XHtmlCombinators
Contents
Description
- 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 :: (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
- renderT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t Text
Types
XHtml
class Content e
Instances
class CData c
Instances
Element Types
data TopLevelContent
Instances
data HeadContent
Instances
class Flow c
data FlowContent
class Block c
data BlockContent
Instances
class Inline c
data InlineContent
Misc Element Types
data ObjectContent
data MapContent
Instances
List Element Types
data ListContent
Instances
Instances
Field Element Types
data FieldSetContent
data OptionContent
Instances
Table Element Types
data Table1Content
Instances
data Table2Content
Instances
data Table3Content
Instances
data TableColContent
Instances
Combinators
Document Head
head' :: (Functor t, Monad t) => Attrs -> XHtmlT t HeadContent -> XHtmlT t TopLevelContent
head_ :: (Functor t, Monad t) => XHtmlT t HeadContent -> XHtmlT t TopLevelContent
link :: (Functor t, Monad t) => 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.
Document Body
body' :: (Functor t, Monad t) => Attrs -> XHtmlT t BlockContent -> XHtmlT t TopLevelContent
body :: (Functor t, Monad t) => XHtmlT t BlockContent -> XHtmlT t TopLevelContent
Paragraphs
Headings
Lists
li' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t ListContent
li :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t ListContent
Definition Lists
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
Horizontal Rule
Preformatted Text
Block-like Quotes
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
Inserted/Deleted Text
The Anchor Element
Inline Elements
Object
param :: (Functor t, Monad t) => XHtmlT t ObjectContent
Images
Client-side image maps
Forms
Arguments
:: (Functor t, Monad t) | |
=> Text | Required label attribute. |
-> Attrs | |
-> XHtmlT t OptionContent | |
-> XHtmlT t OptionContent |
optgroup :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent -> XHtmlT t OptionContent
legend' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t FieldSetContent
legend :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t FieldSetContent
Tables
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) => 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