escapeHTML : Config -> Char -> List Charannotate : Maybe Decoration -> String -> StringstyleElement : Decoration -> Category -> StringstyleHeader : Config -> StringstandalonePre : Config -> StringstandalonePost : StringmakeMacroPre : String -> StringmakeMacroPost : StringmakeInlineMacroPre : String -> StringmakeInlineMacroPost : StringmkDriver : Config -> DriverinitHTMLCmd : Command "init"init : ParsedCommand "init" initHTMLCmd -> IO ()