Safe Haskell | Safe-Infered |
---|
WASH.HTML.HTMLTemplates
- 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 {}
- showTemplatified :: ELEMENT_ -> ShowS
- showTemplate :: (Template, Mt) -> ShowS
- showDefinitions :: Int -> [(String, (t, Int, [TemplateItem]))] -> String -> String
- showsIdent :: Int -> ShowS
- charlist :: [Char]
- alphanumlist :: [Char]
- identlist :: [[Char]]
- showBody :: [TemplateItem] -> String -> String
- showStatement :: TemplateItem -> ShowS
- showFormals :: Int -> String -> String
- showActual :: TemplateItem -> ST Names ShowS
- showActualArgs :: [Template] -> ST Names (String -> String)
- showActualArg :: Template -> ST Names (String -> String)
- showStringTable :: [(String, Int)] -> String -> String
- cleanupStringTable :: (Enum b, Num b, Num a1, Ord a1) => b -> [([a], a1)] -> [([a], b)]
- unite :: (Eq a, Num t) => [(a, t)] -> [(a, t)] -> [(a, t)]
- buildStringTableArgs :: [Template] -> [(String, Integer)]
- buildStringTableArg :: [TemplateItem] -> [(String, Integer)]
- buildStringTableActual :: TemplateItem -> [(String, Integer)]
- analyze :: ELEMENT_ -> (Template, Mt)
- data Mt = Mt {}
- mt0 :: Mt
- type Templates = [Template]
- type Template = [TemplateItem]
- data TemplateItem
- tout :: String -> [TemplateItem] -> [TemplateItem]
- data M a = 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
- collectElems :: [ELEMENT_] -> BT -> Template -> M Template
- collectAttrs :: [ATTR_] -> BT -> Template -> M Template
- collectAttr :: ATTR_ -> BT -> Template -> M Template
- collectAttrValue :: String -> BT -> BT -> Template -> M Template
Documentation
showTemplatified :: ELEMENT_ -> ShowSSource
showTemplate :: (Template, Mt) -> ShowSSource
showDefinitions :: Int -> [(String, (t, Int, [TemplateItem]))] -> String -> StringSource
showsIdent :: Int -> ShowSSource
alphanumlist :: [Char]Source
showBody :: [TemplateItem] -> String -> StringSource
showStatement :: TemplateItem -> ShowSSource
showFormals :: Int -> String -> StringSource
showActual :: TemplateItem -> ST Names ShowSSource
showActualArgs :: [Template] -> ST Names (String -> String)Source
showActualArg :: Template -> ST Names (String -> String)Source
showStringTable :: [(String, Int)] -> String -> StringSource
cleanupStringTable :: (Enum b, Num b, Num a1, Ord a1) => b -> [([a], a1)] -> [([a], b)]Source
buildStringTableArgs :: [Template] -> [(String, Integer)]Source
buildStringTableArg :: [TemplateItem] -> [(String, Integer)]Source
buildStringTableActual :: TemplateItem -> [(String, Integer)]Source
type Template = [TemplateItem]Source
data TemplateItem Source
Instances
Show TemplateItem |
tout :: String -> [TemplateItem] -> [TemplateItem]Source
pushClosed :: Template -> M IntSource
pushActuals :: Template -> M IntSource
mergeActuals :: Template -> M ()Source