Module CurryDoc.TeX

Functions to generate documentation in TeX format.

Author: Michael Hanus

Version: October 2017

Summary of exported operations:

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:
showTexType :: Bool -> TypeExpr -> String   
string2tex :: String -> String   

Exported operations:

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. If the string contains HTML tags, these are also translated into LaTeX.

genTexFunc :: DocOptions -> [(SourceLine,String)] -> a -> FuncDecl -> String   

genTexType :: DocOptions -> [(SourceLine,String)] -> TypeDecl -> String   

generate TeX documentation for a datatype if it is exported:

showTexType :: Bool -> TypeExpr -> String   

string2tex :: String -> String