| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
type Element = ELEMENT_ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
type Attributes = [Attribute] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
type Attribute = ATTR_ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data WithHTML x m a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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_S :: Monad m => String -> WithHTML x m () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
concatenation of sequences cleanup of attribute values | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
comment_T :: Monad m => String -> WithHTML x m () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
comment :: 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 () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.4.2 |