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

Text.XHtmlCombinators

Contents

Types
- XHtml
- Element Types
Combinators
Rendering

Description

Synopsis

Types

XHtml

type XHtmlMT t x a = WriterT (Seq x) t aSource

type XHtmlT t x = XHtmlMT t x ()Source

type XHtml x = XHtmlT Identity xSource

data Page Source

Instances

Content Page

class CData c Source

Instances

CData FlowContent
CData InlineContent

type Attrs = [Attr]Source

data Attr Source

Instances

Show Attr

Element Types

data TopLevelContent Source

Instances

Content TopLevelContent

data HeadContent Source

Instances

Content HeadContent

class Flow c Source

Instances

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

data FlowContent Source

Instances

Content FlowContent
Flow FlowContent
Block FlowContent
Inline FlowContent
CData FlowContent

class Block c Source

Instances

Block FieldSetContent
Block MapContent
Block ObjectContent
Block FlowContent
Block BlockContent

data BlockContent Source

Instances

Content BlockContent
Flow BlockContent
Block BlockContent

class Inline c Source

Instances

Inline FieldSetContent
Inline MapContent
Inline ObjectContent
Inline FlowContent
Inline InlineContent

data InlineContent Source

Instances

Content InlineContent
Flow InlineContent
Inline InlineContent
CData InlineContent

Misc Element Types

data ObjectContent Source

Instances

Content ObjectContent
Flow ObjectContent
Block ObjectContent
Inline ObjectContent

data MapContent Source

Instances

Content MapContent
Flow MapContent
Block MapContent
Inline MapContent

List Element Types

data ListContent Source

Instances

Content ListContent

data DefinitionListContent Source

Instances

Content DefinitionListContent

Field Element Types

data FieldSetContent Source

Instances

Content FieldSetContent
Flow FieldSetContent
Block FieldSetContent
Inline FieldSetContent

data OptionContent Source

Instances

Content OptionContent

Table Element Types

data Table1Content Source

Instances

Content Table1Content

data Table2Content Source

Instances

Content Table2Content

data Table3Content Source

Instances

Content Table3Content

data TableColContent Source

Instances

Content TableColContent

Combinators

html'Source

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 Source

text :: (Functor t, Monad t, CData c) => Text -> XHtmlT t cSource

empty :: Monad t => XHtmlT t xSource

Document Head

head' :: (Functor t, Monad t) => Attrs -> XHtmlT t HeadContent -> XHtmlT t TopLevelContent Source

head_ :: (Functor t, Monad t) => XHtmlT t HeadContent -> XHtmlT t TopLevelContent Source

title' :: (Functor t, Monad t) => Attrs -> Text -> XHtmlT t HeadContent Source

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

base' :: (Functor t, Monad t) => Text -> Attrs -> XHtmlT t HeadContent Source

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

meta'Source

Arguments

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

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

link' :: (Functor t, Monad t) => Attrs -> XHtmlT t HeadContent Source

link :: (Functor t, Monad t) => XHtmlT t HeadContent Source

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

style'Source

Arguments

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

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

script'Source

Arguments

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

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

noscript' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t BlockContent -> XHtmlT t cSource

noscript :: (Functor t, Monad t, Block c) => XHtmlT t BlockContent -> XHtmlT t cSource

Document Body

body' :: (Functor t, Monad t) => Attrs -> XHtmlT t BlockContent -> XHtmlT t TopLevelContent Source

body :: (Functor t, Monad t) => XHtmlT t BlockContent -> XHtmlT t TopLevelContent Source

div' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t FlowContent -> XHtmlT t cSource

div_ :: (Functor t, Monad t, Block c) => XHtmlT t FlowContent -> XHtmlT t cSource

Paragraphs

p' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

p :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

Headings

h1' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h1 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

h2' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h2 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

h3' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h3 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

h4' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h4 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

h5' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h5 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

h6' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

h6 :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

Lists

ul' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t ListContent -> XHtmlT t cSource

ul :: (Functor t, Monad t, Block c) => XHtmlT t ListContent -> XHtmlT t cSource

ol' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t ListContent -> XHtmlT t cSource

ol :: (Functor t, Monad t, Block c) => XHtmlT t ListContent -> XHtmlT t cSource

li' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t ListContent Source

li :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t ListContent Source

Definition Lists

dl' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t DefinitionListContent -> XHtmlT t cSource

dl :: (Functor t, Monad t, Block c) => XHtmlT t DefinitionListContent -> XHtmlT t cSource

dt' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t DefinitionListContent Source

dt :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t DefinitionListContent Source

dd' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t DefinitionListContent Source

dd :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t DefinitionListContent Source

Address

address' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

address :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

Horizontal Rule

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

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

Preformatted Text

pre' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

pre :: (Functor t, Monad t, Block c) => XHtmlT t InlineContent -> XHtmlT t cSource

Block-like Quotes

blockquote' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t BlockContent -> XHtmlT t cSource

blockquote :: (Functor t, Monad t, Block c) => XHtmlT t BlockContent -> XHtmlT t cSource

Inserted/Deleted Text

ins' :: (Functor t, Monad t) => (Flow c, Content c) => Attrs -> XHtmlT t c -> XHtmlT t cSource

ins :: (Functor t, Monad t) => (Flow c, Content c) => XHtmlT t c -> XHtmlT t cSource

del' :: (Functor t, Monad t) => (Flow c, Content c) => Attrs -> XHtmlT t c -> XHtmlT t cSource

del :: (Functor t, Monad t) => (Flow c, Content c) => XHtmlT t c -> XHtmlT t cSource

The Anchor Element

a' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

a :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

Inline Elements

span' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

span_ :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

bdo'Source

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 cSource

br' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t cSource

br :: (Functor t, Monad t, Inline c) => XHtmlT t cSource

em' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

em :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

strong' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

strong :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

dfn' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

dfn :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

code' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

code :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

samp' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

samp :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

kbd' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

kbd :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

var' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

var :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

cite' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

cite :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

abbr' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

abbr :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

acronym' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

acronym :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

q' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

q :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

sub' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

sub :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

tt' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

tt :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

i' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

i :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

b' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

b :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

big' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

big :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

small' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

small :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

Object

object' :: (Functor t, Monad t, Flow c) => Attrs -> XHtmlT t ObjectContent -> XHtmlT t cSource

object :: (Functor t, Monad t, Flow c) => XHtmlT t ObjectContent -> XHtmlT t cSource

param' :: (Functor t, Monad t) => Attrs -> XHtmlT t ObjectContent Source

param :: (Functor t, Monad t) => XHtmlT t ObjectContent Source

Images

img'Source

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 cSource

Client-side image maps

map'Source

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 cSource

area'Source

Arguments

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

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

Forms

form'Source

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 cSource

label' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t InlineContent -> XHtmlT t cSource

label :: (Functor t, Monad t, Inline c) => XHtmlT t InlineContent -> XHtmlT t cSource

input' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t cSource

input :: (Functor t, Monad t, Inline c) => XHtmlT t cSource

select' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t OptionContent -> XHtmlT t cSource

select :: (Functor t, Monad t, Inline c) => XHtmlT t OptionContent -> XHtmlT t cSource

optgroup'Source

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 Source

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

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

textarea'Source

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 cSource

fieldset' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t FieldSetContent -> XHtmlT t cSource

fieldset :: (Functor t, Monad t, Block c) => XHtmlT t FieldSetContent -> XHtmlT t cSource

legend' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t FieldSetContent Source

legend :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t FieldSetContent Source

button' :: (Functor t, Monad t, Inline c) => Attrs -> XHtmlT t FlowContent -> XHtmlT t cSource

button :: (Functor t, Monad t, Inline c) => XHtmlT t FlowContent -> XHtmlT t cSource

Tables

table' :: (Functor t, Monad t, Block c) => Attrs -> XHtmlT t Table1Content -> XHtmlT t cSource

table :: (Functor t, Monad t, Block c) => XHtmlT t Table1Content -> XHtmlT t cSource

caption' :: (Functor t, Monad t) => Attrs -> XHtmlT t InlineContent -> XHtmlT t Table1Content Source

caption :: (Functor t, Monad t) => XHtmlT t InlineContent -> XHtmlT t Table1Content Source

thead' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content Source

thead :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content Source

tfoot' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content Source

tfoot :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content Source

tbody' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table2Content -> XHtmlT t Table1Content Source

tbody :: (Functor t, Monad t) => XHtmlT t Table2Content -> XHtmlT t Table1Content Source

colgroup' :: (Functor t, Monad t) => Attrs -> XHtmlT t TableColContent -> XHtmlT t Table1Content Source

colgroup :: (Functor t, Monad t) => XHtmlT t TableColContent -> XHtmlT t Table1Content Source

col' :: (Functor t, Monad t) => Attrs -> XHtmlT t TableColContent Source

col :: (Functor t, Monad t) => XHtmlT t TableColContent Source

tr' :: (Functor t, Monad t) => Attrs -> XHtmlT t Table3Content -> XHtmlT t Table2Content Source

tr :: (Functor t, Monad t) => XHtmlT t Table3Content -> XHtmlT t Table2Content Source

th' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t Table3Content Source

th :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t Table3Content Source

td' :: (Functor t, Monad t) => Attrs -> XHtmlT t FlowContent -> XHtmlT t Table3Content Source

td :: (Functor t, Monad t) => XHtmlT t FlowContent -> XHtmlT t Table3Content Source

Rendering

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

renderT :: (Functor t, Monad t, Content c) => XHtmlT t c -> t Text Source

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.