Idris2Doc : Katla.HTML

Katla.HTML

(source)
Functions for generating

Definitions

escapeHTML : Config -> Char -> List Char
Visibility: export
annotate : Maybe Decoration -> 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