- 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_S :: Monad m => String -> WithHTML x m ()
- comment_T :: Monad m => String -> WithHTML x m ()
- comment :: 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 ()
- rawtext_S :: Monad m => String -> WithHTML x m ()
- formattedtext_S :: Monad m => String -> WithHTML x m ()
- text_S :: Monad m => String -> WithHTML x m ()
- rawtext_T :: Monad m => String -> WithHTML x m ()
- formattedtext_T :: Monad m => String -> WithHTML x m ()
- text_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 ()
- mkEmpty :: Monad m => String -> HTMLCons x y m a
- mkElement :: Monad m => String -> HTMLCons x y m a
- mkEmpty_S :: Monad m => String -> HTMLCons x y m a
- mkElement_S :: Monad m => String -> HTMLCons x y m a
- mkEmpty_T :: Monad m => String -> HTMLCons x y m a
- mkElement_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 Attributes = [Attribute]Source
WithHTML | |
|
get_attrs :: Monad m => WithHTML x m AttributesSource
comment_S :: Monad m => String -> WithHTML x m ()Source
concatenation of sequences
cleanup of attribute values
text :: Monad m => String -> WithHTML x m ()Source
create a text node with all illegal characters properly escaped
showText :: (Monad m, Show a) => a -> WithHTML x m ()Source
create a text node from any Showable type
rawtext :: Monad m => String -> WithHTML x m ()Source
create a text node where the string is dropped into the webpage without change, e.g., preserving entities
mkElement_S :: Monad m => String -> HTMLCons x y m aSource
mkElement_T :: Monad m => String -> HTMLCons x y m aSource
build_document :: Monad m => WithHTML x m a -> m ElementSource
attr_value :: ATTR_ -> StringSource