WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell.ContentsIndex
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_
type Attributes = [Attribute]
type Attribute = ATTR_
data WithHTML x m a
Constructors
WithHTML
unWithHTML :: Element -> m (a, Element)
show/hide 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_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_
show/hide Instances
Show ELEMENT_
CGIOutput ELEMENT_
data ATTR_
show/hide Instances
Show ATTR_
attr_name :: ATTR_ -> String
attr_value :: ATTR_ -> String
Produced by Haddock version 2.4.2