Text.TDoc.Core

Documentation

class IsNode node

Instances

IsNode Leaf

IsNode Paragraph

IsNode Title

IsNode Br

IsNode Hr

IsNode Col

IsNode HCol

IsNode Row

IsNode Table

IsNode Item

IsNode UList

IsNode Span

IsNode Subsection

IsNode Section

IsNode HLink

IsNode Anchor

IsNode Image

IsNode Preambule

IsNode Document

IsNode Root

IsNode Label

IsNode Input

IsNode Option

IsNode Select

IsNode Textarea

IsNode Form

IsNode a => IsNode (Div a)

class IsAttribute attr

Instances

IsAttribute TitleAttr

IsAttribute Href

IsAttribute Identifier

IsAttribute Style

IsAttribute Cols

IsAttribute Rows

IsAttribute Name

IsAttribute ClassAttr

IsAttribute Alt

IsAttribute Size

IsAttribute Src

IsAttribute Height

IsAttribute Width

IsAttribute InputType

IsAttribute FormMethod

IsAttribute Multiple

IsAttribute Value

IsAttribute Selected

IsAttribute Action

class (IsNode father, IsNode child) => IsChildOf child father

Instances

IsInline a => IsChildOf a Paragraph

IsBlockOrInline a => IsChildOf a Col

IsBlockOrInline a => IsChildOf a HCol

IsBlockOrInline a => IsChildOf a Item

IsInline a => IsChildOf a Span

IsBlock a => IsChildOf a Subsection

IsInline a => IsChildOf a HLink

IsInline a => IsChildOf a Label

IsChildOf Leaf Title

IsChildOf Leaf Option

IsChildOf Leaf Textarea

IsChildOf Paragraph Section

IsChildOf Paragraph Document

IsChildOf Title Preambule

IsChildOf Hr Section

IsChildOf Hr Document

IsChildOf Col Row

IsChildOf HCol Row

IsChildOf Row Table

IsChildOf Table Section

IsChildOf Table Document

IsChildOf Item UList

IsChildOf UList Section

IsChildOf UList Document

IsChildOf Span Anchor

IsChildOf Subsection Section

IsChildOf Section Document

IsChildOf Preambule Root

IsChildOf Document Root

IsChildOf Label Form

IsChildOf Input Form

IsChildOf Option Select

IsChildOf Select Form

IsChildOf Textarea Form

IsChildOf Form Document

IsChildOf b a => IsChildOf b (Div a)

(~) * a Section => IsChildOf (Div a) Section

(~) * a Document => IsChildOf (Div a) Document

(~) * Form a => IsChildOf (Div a) Form

class (IsAttribute attr, IsNode node) => IsAttributeOf attr node

Instances

IsAttributeOf TitleAttr HLink

IsAttributeOf Href Anchor

IsNode n => IsAttributeOf Identifier n

IsNode n => IsAttributeOf Style n

IsAttributeOf Cols Textarea

IsAttributeOf Rows Textarea

IsAttributeOf Name Input

IsAttributeOf Name Select

IsAttributeOf Name Textarea

IsNode a => IsAttributeOf ClassAttr a

IsAttributeOf Alt Image

IsAttributeOf Size Select

IsAttributeOf Src Image

IsAttributeOf Height Image

IsAttributeOf Width Image

IsAttributeOf InputType Input

IsAttributeOf FormMethod Form

IsAttributeOf Multiple Select

IsAttributeOf Value Input

IsAttributeOf Value Option

IsAttributeOf Selected Option

IsAttributeOf Action Form

class IsNode a => IsBlockOrInline a

Instances

IsBlockOrInline Leaf

IsBlockOrInline Paragraph

IsBlockOrInline Br

IsBlockOrInline Hr

IsBlockOrInline Table

IsBlockOrInline UList

IsBlockOrInline Span

IsBlockOrInline HLink

IsBlockOrInline Anchor

IsBlockOrInline Image

IsBlockOrInline Form

IsBlockOrInline a => IsBlockOrInline (Div a)

class IsBlockOrInline a => IsInline a

Instances

IsInline Leaf

IsInline Br

IsInline Hr

IsInline Span

IsInline HLink

IsInline Anchor

IsInline Image

class IsBlockOrInline a => IsBlock a

Instances

IsBlock Paragraph

IsBlock Br

IsBlock Hr

IsBlock Table

IsBlock UList

IsBlock Form

IsBlock a => IsBlock (Div a)

data AttributeOf t node

Constructors

forall attr . attr `IsAttributeOf` node => TAttr (t attr) attr

type AttributesOf t node = [AttributeOf t node]

data TDoc t tag

Constructors

TNode

Fields

tTag :: t tag

tAttrs :: AttributesOf t tag

tChildren :: [ChildOf t tag]

Instances

((~) (* -> *) t HtmlTag, IsNode a) => HTML (TDoc t a)

((~) (* -> *) t1 t2, (~) * a b) => FromTDoc (TDoc t1 a) t2 b

((~) (* -> *) t1 t2, (~) * a b) => AddAttrs (TDoc t1 a) t2 b

((~) (* -> *) t1 t2, (~) * a b) => ToTDoc (TDoc t1 a) t2 b

((~) (* -> *) t1 t2, IsChildOf a b) => ToChildren (TDoc t1 a) t2 b

data ChildOf t father

Constructors

forall child . child `IsChildOf` father => Child (TDoc t child)

Instances

(~) (* -> *) t HtmlTag => HTML (ChildOf t fatherTag)

((~) (* -> *) t1 t2, IsChildOf b a) => FromTDoc (ChildOf t1 a) t2 b

((~) (* -> *) t1 t2, (~) * a b) => ToChildren (ChildOf t1 a) t2 b

class ToChildren a t father where

Methods

toChildren :: a -> [ChildOf t father]

Instances

(LeafTags t, IsChildOf Leaf a) => ToChildren Char t a

ToChildren () t b

(LeafTags t, IsChildOf Leaf a) => ToChildren ByteString t a

(LeafTags t, IsChildOf Leaf a) => ToChildren ByteString t a

ToChildren a t b => ToChildren [a] t b

ToChildren a t b => ToChildren (Identity a) t b

(ToChildren a t n, ToChildren b t n) => ToChildren (a, b) t n

((~) (* -> *) t1 t2, (~) * a b) => ToChildren (ChildOf t1 a) t2 b

((~) (* -> *) t1 t2, IsChildOf a b) => ToChildren (TDoc t1 a) t2 b

(ToChildren a t n, ToChildren b t n, ToChildren c t n) => ToChildren (a, b, c) t n

(Monad m, ToChildren (m w) t b, (~) * a ()) => ToChildren (WriterT w m a) t b

class ToTDoc a t b where

Methods

toTDoc :: a -> TDoc t b

Instances

(LeafTags t, (~) * a Leaf) => ToTDoc Char t a

(LeafTags t, (~) * a Leaf) => ToTDoc ByteString t a

(LeafTags t, (~) * a Leaf) => ToTDoc ByteString t a

(LeafTags t, (~) * b Char, (~) * a Leaf) => ToTDoc [b] t a

ToTDoc a t b => ToTDoc (Identity a) t b

((~) (* -> *) t1 t2, (~) * a b) => ToTDoc (TDoc t1 a) t2 b

(Monad m, ToTDoc (m w) t b, (~) * a ()) => ToTDoc (WriterT w m a) t b

class AddAttrs a t b where

Methods

(!) :: a -> AttributesOf t b -> a infixl 8

Instances

AddAttrs b t c => AddAttrs (a -> b) t c

((~) (* -> *) t1 t2, (~) * a b) => AddAttrs (TDoc t1 a) t2 b

class FromTDoc a t tag where

Methods

fromTDoc :: TDoc t tag -> a

Instances

FromTDoc a t tag => FromTDoc [a] t tag

FromTDoc a t tag => FromTDoc (Identity a) t tag

((~) (* -> *) t1 t2, IsChildOf b a) => FromTDoc (ChildOf t1 a) t2 b

((~) (* -> *) t1 t2, (~) * a b) => FromTDoc (TDoc t1 a) t2 b

(Monad m, FromTDoc w t tag, Monoid w, (~) * a ()) => FromTDoc (WriterT w m a) t tag

type PutM a = Writer [a] ()

type Star t node = forall children. ToChildren children t node => children -> TDoc t node

type Nullary t node = TDoc t node

type Unary t node = forall child. child `IsChildOf` node => TDoc t child -> TDoc t node

type Plus t node = forall children child. (child `IsChildOf` node, ToChildren children t node) => TDoc t child -> children -> TDoc t node

(+++) :: (ToChildren a t tag, ToChildren b t tag) => a -> b -> [ChildOf t tag] infixr 2

(<<) :: a `IsChildOf` b => (c -> TDoc t a) -> c -> PutM (ChildOf t b) infixr 7

This operator is an infix sugar for put paragraph << do ... is equal to put $ paragraph $ do ....

put :: ToChildren children t father => children -> PutM (ChildOf t father)

tStar :: t a -> Star t a

tNullary :: t a -> Nullary t a

tUnary :: t a -> Unary t a

tPlus :: t a -> Plus t a