Functions to generate documentation in TeX format.
Author: Michael Hanus
Version: December 2018
generateTexDocs
:: DocOptions -> a -> String -> String -> [(SourceLine,String)] -> IO String
|
htmlString2Tex
:: DocOptions -> String -> String
Translate a documentation comment to LaTeX and use markdown translation if necessary. |
replaceIdLinks
:: String -> String
|
genTexFunc
:: DocOptions -> [(SourceLine,String)] -> a -> FuncDecl -> String
|
genTexType
:: DocOptions -> [(SourceLine,String)] -> TypeDecl -> String
generate TeX documentation for a datatype if it is exported and not a dictionary: |
showTexType
:: Bool -> TypeExpr -> String
|
string2tex
:: String -> String
|
|
Translate a documentation comment to LaTeX and use markdown translation if necessary. If the string contains HTML tags, these are also translated into LaTeX. |
|
|
generate TeX documentation for a datatype if it is exported and not a dictionary:
|
|
|