xhtml-combinators-0.2.2: Fast and easy to use XHTML combinators.

Portability | GHC
Stability | experimental
Maintainer | alasdair.armstrong@googlemail.com

Text.XHtmlCombinators

Contents

- Types
  - XHtml
  - Element Types
    - Misc Element Types
    - List Element Types
    - Field Element Types
    - Table Element Types
- Combinators
  - Document Head
  - Document Body
  - Paragraphs
  - Headings
  - Lists
    - Definition Lists
  - Address
  - Horizontal Rule
  - Preformatted Text
  - Block-like Quotes
  - Inserted/Deleted Text
  - The Anchor Element
  - Inline Elements
  - Object
  - Images
  - Client-side image maps
  - Forms
  - Tables
- Rendering

Description

Synopsis

- 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

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

Instances

Content Page |

class Content e

Instances

Content TableColContent |
Content Table3Content |
Content Table2Content |
Content Table1Content |
Content FieldSetContent |
Content OptionContent |
Content MapContent |
Content ObjectContent |
Content DefinitionListContent |
Content ListContent |
Content HeadContent |
Content TopLevelContent |
Content Page |
Content FlowContent |
Content BlockContent |
Content InlineContent |

class CData c

Instances

CData FlowContent |
CData InlineContent |

type Attrs = [Attr]

data Attr

Instances

Show Attr |

## Element Types

data TopLevelContent

Instances

Content TopLevelContent |

data HeadContent

Instances

Content HeadContent |

class Flow c

Instances

Flow FieldSetContent |
Flow MapContent |
Flow ObjectContent |
Flow FlowContent |
Flow BlockContent |
Flow InlineContent |

data FlowContent

Instances

Content FlowContent |
Flow FlowContent |
Block FlowContent |
Inline FlowContent |
CData FlowContent |

class Block c

Instances

Block FieldSetContent |
Block MapContent |
Block ObjectContent |
Block FlowContent |
Block BlockContent |

data BlockContent

Instances

Content BlockContent |
Flow BlockContent |
Block BlockContent |

class Inline c

Instances

Inline FieldSetContent |
Inline MapContent |
Inline ObjectContent |
Inline FlowContent |
Inline InlineContent |

data InlineContent

Instances

Content InlineContent |
Flow InlineContent |
Inline InlineContent |
CData InlineContent |

### Misc Element Types

data ObjectContent

Instances

Content ObjectContent |
Flow ObjectContent |
Block ObjectContent |
Inline ObjectContent |

data MapContent

Instances

Content MapContent |
Flow MapContent |
Block MapContent |
Inline MapContent |

### List Element Types

data ListContent

Instances

Content ListContent |

data DefinitionListContent

Instances

Content DefinitionListContent |

### Field Element Types

data FieldSetContent

Instances

Content FieldSetContent |
Flow FieldSetContent |
Block FieldSetContent |
Inline FieldSetContent |

data OptionContent

Instances

Content OptionContent |

### Table Element Types

data Table1Content

Instances

Content Table1Content |

data Table2Content

Instances

Content Table2Content |

data Table3Content

Instances

Content Table3Content |

data TableColContent

Instances

Content TableColContent |

# Combinators

html'

Arguments

:: (Functor t, Monad t) |
=> Bool | True for XML declaration, false to omit.
-> 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

## 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

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'

Arguments

:: (Functor t, Monad t) |
=> Text | Required content attribute.
-> 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

`link` is a bit useless without any attributes, but it's included anyway for consistency reasons. As are several other similar elements.

style'

Arguments

:: (Functor t, Monad t) |
=> Text | Required type attribute.
-> Attrs |
-> Text |
-> XHtmlT t HeadContent |

style :: (Functor t, Monad t) => Text -> Text -> XHtmlT t HeadContent

script'

Arguments

:: (Functor t, Monad t) |
=> Text | Required type attribute.
-> 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

## 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

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

## Paragraphs

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

## Headings

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

## Lists

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

### Definition Lists

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

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

## Horizontal Rule

hr' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t c

hr :: (Functor t, Monad t, Block c) => XHtmlT t c

## Preformatted Text

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

## 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

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

## The Anchor Element

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

## Inline Elements

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'

Arguments

:: (Functor t, Monad t, Inline c) |
=> Text | Required language direction code.
-> 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

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

## Images

img'

Arguments

:: (Functor t, Monad t, Flow c) |
=> Text | Required src attribute.
-> Text | Required alt attribute.
-> Attrs |
-> XHtmlT t c |

img :: (Functor t, Monad t, Flow c) => Text -> Text -> XHtmlT t c

## Client-side image maps

map'

Arguments

:: (Functor t, Monad t, Flow c) |
=> Text | Required id attribute.
-> Attrs |
-> XHtmlT t MapContent |
-> XHtmlT t c |

map_ :: (Functor t, Monad t, Flow c) => Text -> XHtmlT t MapContent -> XHtmlT t c

area'

Arguments

:: (Functor t, Monad t) |
=> Text | Required alt attribute.
-> Attrs |
-> XHtmlT t MapContent |

area :: (Functor t, Monad t) => Text -> XHtmlT t MapContent

## Forms

form'

Arguments

:: (Functor t, Monad t, Block c) |
=> Text | Required action attribute.
-> 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'

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

option' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t OptionContent

option :: (Functor t, Monad t) => Text -> XHtmlT t OptionContent

textarea'

Arguments

:: (Functor t, Monad t, Inline c) |
=> Int | Required rows attribute.
-> Int | Required cols attribute.
-> 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

## Tables

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

# Rendering

render :: Content c => XHtml c -> Text

renderT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t 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.