WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.Source codeContentsIndex
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 Source
Constructors
ST
unST :: s -> (a, s)
runST :: s -> ST s a -> aSource
getST :: ST s sSource
setST :: s -> ST s ()Source
data Names Source
Constructors
Names
ntable :: [(String, Int)]
nseen :: [Int]
showTemplatified :: ELEMENT_ -> ShowSSource
showTemplate :: (Template, Mt) -> ShowSSource
analyze :: ELEMENT_ -> (Template, Mt)Source
data Mt Source
Constructors
Mt
open :: Templates
closed :: [(String, (Int, Int, Template))]
dynamics :: [Templates]
actuals :: Templates
count :: Int
type Templates = [Template]Source
type Template = [TemplateItem]Source
data TemplateItem Source
Constructors
TOut String
TVar Int
TCall Int [Template]
tout :: String -> [TemplateItem] -> [TemplateItem]Source
data M a Source
Constructors
M
unM :: Mt -> (a, Mt)
pushOpen :: Template -> M ()Source
popOpen :: M TemplateSource
pushClosed :: Template -> M IntSource
pushActuals :: Template -> M IntSource
getActuals :: M TemplatesSource
get :: (Mt -> x) -> M xSource
mergeActuals :: Template -> M ()Source
maybePushActuals :: Template -> Template -> M TemplateSource
collect :: ELEMENT_ -> BT -> Template -> M TemplateSource
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 2.6.0