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 :: Monad m => String -> WithHTML x m ()Source

comment_T :: Monad m => String -> WithHTML x m ()Source

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 :: Monad m => String -> WithHTML x m ()Source

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

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

text_T :: Monad m => String -> WithHTML x m ()Source

formattedtext_T :: Monad m => String -> WithHTML x m ()Source

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 :: Monad m => String -> HTMLCons x y m aSource

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

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

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

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

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