ContentsIndex
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 ()
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
ELEMENT_
ATTR_
attr_name
attr_value
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 ()
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
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
ELEMENT_
ATTR_
attr_name
attr_value
Produced by Haddock version 0.6