tdoc-0.4.5: TDoc is a typed document builder with support for (X)HTML

Safe HaskellNone
LanguageHaskell98

Text.TDoc.Tags

Synopsis

Documentation

data Leaf Source

Instances

class LeafTag t where Source

Methods

leafTag :: t Leaf Source

newtype Url Source

Constructors

Url 

Fields

fromUrl :: String
 

class LeafTags t where Source

Methods

charTag :: Char -> t Leaf Source

stringTag :: String -> t Leaf Source

strictByteStringTag :: ByteString -> t Leaf Source

lazyByteStringTag :: ByteString -> t Leaf Source

Instances

char :: LeafTags t => Char -> TDoc t Leaf Source

string :: LeafTags t => String -> TDoc t Leaf Source

strictByteString :: LeafTags t => ByteString -> TDoc t Leaf Source

lazyByteString :: LeafTags t => ByteString -> TDoc t Leaf Source

data Paragraph Source

Instances

class ParagraphTag t where Source

Methods

paragraphTag :: t Paragraph Source

Instances

paragraph :: ParagraphTag t => Star t Paragraph Source

para :: ParagraphTag t => Star t Paragraph Source

data Title Source

Instances

class TitleTag t where Source

Methods

titleTag :: t Title Source

Instances

title :: TitleTag t => Star t Title Source

data Br Source

Instances

class BrTag t where Source

Methods

brTag :: t Br Source

Instances

br :: BrTag t => Nullary t Br Source

data Hr Source

Instances

class HrTag t where Source

Methods

hrTag :: t Hr Source

Instances

hr :: HrTag t => Nullary t Hr Source

data Col Source

Instances

class ColTag t where Source

Methods

colTag :: t Col Source

Instances

col :: ColTag t => Star t Col Source

data HCol Source

Instances

class HColTag t where Source

Methods

hColTag :: t HCol Source

Instances

hcol :: HColTag t => Star t HCol Source

data Row Source

Instances

class RowTag t where Source

Methods

rowTag :: t Row Source

Instances

row :: RowTag t => Star t Row Source

data Table Source

Instances

class TableTag t where Source

Methods

tableTag :: t Table Source

Instances

table :: TableTag t => Star t Table Source

data Item Source

Instances

class ItemTag t where Source

Methods

itemTag :: t Item Source

Instances

item :: ItemTag t => Star t Item Source

data UList Source

Instances

class UListTag t where Source

Methods

uListTag :: t UList Source

Instances

ulist :: UListTag t => Star t UList Source

ulistQ :: (UListTag t, ItemTag t, a `IsChildOf` Item) => [TDoc t a] -> TDoc t UList Source

ulistQ is a quick version of ulist when all children of a UList are homogeneous one can factor the building of the Item nodes.

data Span Source

Instances

class ClassAttrTag t => SpanTag t where Source

Methods

spanTag :: t Span Source

Instances

spanDoc :: SpanTag t => Star t Span Source

spanDocCA :: SpanTag t => String -> Star t Span Source

strong :: SpanTag t => Star t Span Source

small :: SpanTag t => Star t Span Source

big :: SpanTag t => Star t Span Source

italics :: SpanTag t => Star t Span Source

sub :: SpanTag t => Star t Span Source

sup :: SpanTag t => Star t Span Source

tt :: SpanTag t => Star t Span Source

bold :: SpanTag t => Star t Span Source

data Div a Source

Instances

IsChildOf b a => IsChildOf b (Div a) 
IsBlock a => IsBlock (Div a) 
IsBlockOrInline a => IsBlockOrInline (Div a) 
IsNode a => IsNode (Div a) 
(~) * a Section => IsChildOf (Div a) Section 
(~) * a Document => IsChildOf (Div a) Document 
(~) * Form a => IsChildOf (Div a) Form 

class DivTag t where Source

Methods

divTag :: t (Div a) Source

Instances

div :: DivTag t => Star t (Div a) Source

data Subsection Source

Instances

class SubsectionTag t where Source

Methods

subsectionTag :: a `IsChildOf` Span => TDoc t a -> t Subsection Source

Instances

subsection :: forall a b t. (SubsectionTag t, a `IsChildOf` Span, ToTDoc b t a) => b -> Star t Subsection Source

data Section Source

Instances

class SectionTag t where Source

Methods

sectionTag :: a `IsChildOf` Span => TDoc t a -> t Section Source

Instances

section :: forall a b t. (SectionTag t, a `IsChildOf` Span, ToTDoc b t a) => b -> Star t Section Source

data HLink Source

class HLinkTag t where Source

Methods

hLinkTag :: Url -> t HLink Source

Instances

hlink :: HLinkTag t => String -> Star t HLink Source

data Anchor Source

Instances

class AnchorTag t where Source

Methods

anchorTag :: t Anchor Source

Instances

anchor :: AnchorTag t => Unary t Anchor Source

data Image Source

Instances

class ImageTag t where Source

Methods

imageTag :: t Image Source

Instances

image :: ImageTag t => Nullary t Image Source

data Preambule Source

Instances

class PreambuleTag t where Source

Methods

preambuleTag :: t Preambule Source

Instances

preambule :: PreambuleTag t => Star t Preambule Source

data Document Source

Instances

class DocumentTag t where Source

Methods

documentTag :: t Document Source

Instances

document :: DocumentTag t => Star t Document Source

data Root Source

Instances

class RootTag t where Source

Methods

rootTag :: t Root Source

Instances

root :: forall t doc preambule. (RootTag t, ToTDoc preambule t Preambule, ToTDoc doc t Document) => preambule -> doc -> TDoc t Root Source

class (AttributeTags t, LeafTags t, ParagraphTag t, TitleTag t, BrTag t, HrTag t, ColTag t, HColTag t, RowTag t, TableTag t, ItemTag t, UListTag t, SpanTag t, DivTag t, SubsectionTag t, SectionTag t, HLinkTag t, AnchorTag t, ImageTag t, PreambuleTag t, DocumentTag t, RootTag t) => Tags t Source

Instances