WASH.HTML.HTMLMonadBase

Synopsis

type Element = ELEMENT_

type Attributes = [Attribute]

type Attribute = ATTR_

data WithHTML x m a = WithHTML {

unWithHTML :: (Element -> m (a, Element))

}

type HTMLCons x y m a = WithHTML x m a -> WithHTML y m a

lift :: Monad m => m a -> WithHTML x m a

get_attrs :: Monad m => WithHTML x m Attributes

empty :: Monad m => WithHTML x m ()

comment :: Monad m => String -> WithHTML x m ()

comment_S :: Monad m => String -> WithHTML x m ()

comment_T :: Monad m => String -> WithHTML x m ()

text :: Monad m => String -> WithHTML x m ()

showText :: (Monad m, Show a) => a -> WithHTML x m ()

rawtext :: Monad m => String -> WithHTML x m ()

formattedtext :: Monad m => String -> WithHTML x m ()

text_S :: Monad m => String -> WithHTML x m ()

rawtext_S :: Monad m => String -> WithHTML x m ()

formattedtext_S :: Monad m => String -> WithHTML x m ()

text_T :: Monad m => String -> WithHTML x m ()

rawtext_T :: Monad m => String -> WithHTML x m ()

formattedtext_T :: Monad m => String -> WithHTML x m ()

attr :: Monad m => String -> String -> WithHTML x m ()

attr_SS :: Monad m => String -> String -> WithHTML x m ()

attr_TS :: Monad m => String -> String -> WithHTML x m ()

attr_TD :: Monad m => String -> String -> WithHTML x m ()

attr_SD :: Monad m => String -> String -> WithHTML x m ()

(@@) :: Monad m => String -> String -> WithHTML x m ()

mkElement :: Monad m => String -> HTMLCons x y m a

mkEmpty :: Monad m => String -> HTMLCons x y m a

mkElement_S :: Monad m => String -> HTMLCons x y m a

mkEmpty_S :: Monad m => String -> HTMLCons x y m a

mkElement_T :: Monad m => String -> HTMLCons x y m a

mkEmpty_T :: Monad m => String -> HTMLCons x y m a

build_document :: Monad m => WithHTML x m a -> m Element

data ELEMENT_

data ATTR_

attr_name :: ATTR_ -> String

attr_value :: ATTR_ -> String

Documentation

type Element = ELEMENT_

type Attributes = [Attribute]

type Attribute = ATTR_

data WithHTML x m a

Constructors

WithHTML

unWithHTML :: (Element -> m (a, Element))

Instances

Monad m => Monad (WithHTML x m)

type HTMLCons x y m a = WithHTML x m a -> WithHTML y m a

lift :: Monad m => m a -> WithHTML x m a

get_attrs :: Monad m => WithHTML x m Attributes

empty :: Monad m => WithHTML x m ()

empty node sequence

comment :: Monad m => String -> WithHTML x m ()

comment_S :: Monad m => String -> WithHTML x m ()

comment_T :: Monad m => String -> WithHTML x m ()

text :: Monad m => String -> WithHTML x m ()

create a text node with all illegal characters properly escaped

showText :: (Monad m, Show a) => a -> WithHTML x m ()

create a text node from any Showable type

rawtext :: Monad m => String -> WithHTML x m ()

create a text node where the string is dropped into the webpage without change, e.g., preserving entities

formattedtext :: Monad m => String -> WithHTML x m ()

text_S :: Monad m => String -> WithHTML x m ()

rawtext_S :: Monad m => String -> WithHTML x m ()

formattedtext_S :: Monad m => String -> WithHTML x m ()

text_T :: Monad m => String -> WithHTML x m ()

rawtext_T :: Monad m => String -> WithHTML x m ()

formattedtext_T :: Monad m => String -> WithHTML x m ()

attr :: Monad m => String -> String -> WithHTML x m ()

attr_SS :: Monad m => String -> String -> WithHTML x m ()

attr_TS :: Monad m => String -> String -> WithHTML x m ()

attr_TD :: Monad m => String -> String -> WithHTML x m ()

attr_SD :: Monad m => String -> String -> WithHTML x m ()

(@@) :: Monad m => String -> String -> WithHTML x m ()

mkElement :: Monad m => String -> HTMLCons x y m a

mkEmpty :: Monad m => String -> HTMLCons x y m a

mkElement_S :: Monad m => String -> HTMLCons x y m a

mkEmpty_S :: Monad m => String -> HTMLCons x y m a

mkElement_T :: Monad m => String -> HTMLCons x y m a

mkEmpty_T :: Monad m => String -> HTMLCons x y m a

build_document :: Monad m => WithHTML x m a -> m Element

data ELEMENT_

Instances

Show ELEMENT_

data ATTR_

Instances

Show ATTR_

attr_name :: ATTR_ -> String

attr_value :: ATTR_ -> String

Produced by Haddock version 0.8