WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell. Contents Index

WASH.HTML.HTMLTemplates

Synopsis

data ST s a = ST { unST :: (s -> (a, s)) } runST :: s -> ST s a -> a getST :: ST s s setST :: s -> ST s () data Names = Names { ntable :: [(String, Int)] nseen :: [Int] } showTemplatified :: ELEMENT_ -> ShowS showTemplate :: (Template, Mt) -> ShowS analyze :: ELEMENT_ -> (Template, Mt) data Mt = Mt { open :: Templates closed :: [(String, (Int, Int, Template))] dynamics :: [Templates] actuals :: Templates count :: Int } type Templates = [Template] type Template = [TemplateItem] data TemplateItem = TOut String | TVar Int | TCall Int [Template] tout :: String -> [TemplateItem] -> [TemplateItem] data M a = M { unM :: (Mt -> (a, Mt)) } pushOpen :: Template -> M () popOpen :: M Template pushClosed :: Template -> M Int pushActuals :: Template -> M Int getActuals :: M Templates get :: (Mt -> x) -> M x mergeActuals :: Template -> M () maybePushActuals :: Template -> Template -> M Template collect :: ELEMENT_ -> BT -> Template -> M Template

Documentation

data ST s a

Constructors ST unST :: (s -> (a, s)) Instances Monad (ST s)

runST :: s -> ST s a -> a

getST :: ST s s

setST :: s -> ST s ()

data Names

Constructors Names ntable :: [(String, Int)] nseen :: [Int]

showTemplatified :: ELEMENT_ -> ShowS

showTemplate :: (Template, Mt) -> ShowS

analyze :: ELEMENT_ -> (Template, Mt)

data Mt

Constructors Mt open :: Templates closed :: [(String, (Int, Int, Template))] dynamics :: [Templates] actuals :: Templates count :: Int Instances Show Mt

type Templates = [Template]

type Template = [TemplateItem]

data TemplateItem

Constructors TOut String TVar Int TCall Int [Template] Instances Show TemplateItem

tout :: String -> [TemplateItem] -> [TemplateItem]

data M a

Constructors M unM :: (Mt -> (a, Mt)) Instances Monad M

pushOpen :: Template -> M ()

popOpen :: M Template

pushClosed :: Template -> M Int

pushActuals :: Template -> M Int

getActuals :: M Templates

get :: (Mt -> x) -> M x

mergeActuals :: Template -> M ()

maybePushActuals :: Template -> Template -> M Template

collect :: ELEMENT_ -> BT -> Template -> M Template

collect takes an element, a list of open templates, a list of finished templates, and returns a pair (open templates, finished templates).

Produced by Haddock version 0.8