WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.Source codeContentsIndex
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_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 Element = ELEMENT_Source
type Attributes = [Attribute]Source
type Attribute = ATTR_Source
data WithHTML x m a Source
Constructors
WithHTML
unWithHTML :: Element -> m (a, Element)
type HTMLCons x y m a = WithHTML x m a -> WithHTML y m aSource
lift :: Monad m => m a -> WithHTML x m aSource
get_attrs :: Monad m => WithHTML x m AttributesSource
empty :: Monad m => WithHTML x m ()Source
empty node sequence
comment_S :: Monad m => String -> WithHTML x m ()Source

concatenation of sequences

cleanup of attribute values

comment_T :: Monad m => String -> WithHTML x m ()Source
comment :: Monad m => String -> WithHTML x m ()Source
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
formattedtext :: Monad m => String -> WithHTML x m ()Source
rawtext_S :: Monad m => String -> WithHTML x m ()Source
formattedtext_S :: Monad m => String -> WithHTML x m ()Source
text_S :: Monad m => String -> WithHTML x m ()Source
rawtext_T :: Monad m => String -> WithHTML x m ()Source
formattedtext_T :: Monad m => String -> WithHTML x m ()Source
text_T :: Monad m => String -> WithHTML x m ()Source
attr :: Monad m => String -> String -> WithHTML x m ()Source
attr_SS :: Monad m => String -> String -> WithHTML x m ()Source
attr_TS :: Monad m => String -> String -> WithHTML x m ()Source
attr_TD :: Monad m => String -> String -> WithHTML x m ()Source
attr_SD :: Monad m => String -> String -> WithHTML x m ()Source
(@@) :: Monad m => String -> String -> WithHTML x m ()Source
mkEmpty :: Monad m => String -> HTMLCons x y m aSource
mkElement :: Monad m => String -> HTMLCons x y m aSource
mkEmpty_S :: Monad m => String -> HTMLCons x y m aSource
mkElement_S :: Monad m => String -> HTMLCons x y m aSource
mkEmpty_T :: 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
data ELEMENT_ Source
data ATTR_ Source
attr_name :: ATTR_ -> StringSource
attr_value :: ATTR_ -> StringSource
Produced by Haddock version 2.6.0