Module CurryDoc.TeX

generateTexDocs :: DocOptions -> AnaInfo -> String -> String -> [(SourceLine,String)] -> IO String   

htmlString2Tex :: DocOptions -> 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.

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:

Further infos:

• partially defined

genHtmlCons :: DocOptions -> [String] -> String -> [(Int,a)] -> ConsDecl -> String   

showTexType :: Bool -> TypeExpr -> String   

Further infos:

• partially defined

string2tex :: String -> String