WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.

Safe HaskellSafe-Infered

WASH.HTML.HTMLMonadBase

Synopsis

Documentation

data WithHTML x m a Source

Constructors

WithHTML 

Fields

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 aSource

lift :: Monad m => m a -> WithHTML x m aSource

empty :: Monad m => WithHTML x m ()Source

empty node sequence

(##) :: Monad m => m b -> m a -> m bSource

concatenation of sequences

av :: [Char] -> StringSource

cleanup of attribute values

addNode :: Monad m => (Element -> t -> Element) -> (t1 -> t) -> t1 -> WithHTML x m ()Source

comment, comment_T, comment_S :: 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

text_S, formattedtext_S, rawtext_S :: Monad m => String -> WithHTML x m ()Source

text_T, formattedtext_T, rawtext_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

addMaker :: Monad m => Element -> WithHTML x1 m a -> WithHTML x m aSource

mkElement, mkEmpty :: Monad m => String -> HTMLCons x y m aSource

mkElement_S, mkEmpty_S :: Monad m => String -> HTMLCons x y m aSource

mkElement_T, mkEmpty_T :: Monad m => String -> HTMLCons x y m aSource

build_document :: Monad m => WithHTML x m a -> m ElementSource

data ATTR_ Source

Instances

Show ATTR_ 

attr_name :: ATTR_ -> StringSource

attr_value :: ATTR_ -> StringSource