- 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
- analyze :: ELEMENT_ -> (Template, Mt)
- data Mt = 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
Documentation
showTemplate :: (Template, Mt) -> ShowSSource
type Template = [TemplateItem]Source
tout :: String -> [TemplateItem] -> [TemplateItem]Source
pushClosed :: Template -> M IntSource
pushActuals :: Template -> M IntSource
mergeActuals :: Template -> M ()Source