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