WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.
Source code
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
Source
Constructors
ST
unST
:: s -> (a, s)
runST
:: s ->
ST
s a -> a
Source
getST
::
ST
s s
Source
setST
:: s ->
ST
s
()
Source
data
Names
Source
Constructors
Names
ntable
:: [(
String
,
Int
)]
nseen
:: [
Int
]
showTemplatified
::
ELEMENT_
->
ShowS
Source
showTemplate
:: (
Template
,
Mt
) ->
ShowS
Source
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
Template
Source
pushClosed
::
Template
->
M
Int
Source
pushActuals
::
Template
->
M
Int
Source
getActuals
::
M
Templates
Source
get
:: (
Mt
-> x) ->
M
x
Source
mergeActuals
::
Template
->
M
()
Source
maybePushActuals
::
Template
->
Template
->
M
Template
Source
collect
::
ELEMENT_
->
BT
->
Template
->
M
Template
Source
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.1