Idris2Doc : Katla.HTML

Katla.HTML

Functions for generating

Definitions

escapeHTML : Config->Char->ListChar
Visibility: export
annotate : MaybeDecoration->String->String
Visibility: export
styleElement : Decoration->Category->String
Visibility: export
styleHeader : Config->String
Visibility: export
standalonePre : Config->String
Visibility: export
standalonePost : String
Visibility: export
makeMacroPre : String->String
Visibility: export
makeMacroPost : String
Visibility: export
makeInlineMacroPre : String->String
Visibility: export
makeInlineMacroPost : String
Visibility: export
mkDriver : Config->Driver
Visibility: export
initHTMLCmd : Command"init"
Visibility: public export
init : ParsedCommand"init"initHTMLCmd->IO ()
Visibility: export