Exported names:
- Operations:
- generateTexDocs
- genHtmlCons
- genTexFunc
- genTexType
- htmlString2Tex
- replaceIdLinks
- showTexType
- string2tex
Imported modules:

Module CurryDoc.TeX

Functions to generate documentation in TeX format.

Author: Michael Hanus

Version: March 2021

Summary of exported operations:

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.

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:

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

showTexType
                  ::  Bool -> TypeExpr -> String

string2tex
                  ::  String -> String

Exported operations:

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:

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

showTexType :: Bool -> TypeExpr -> String

string2tex :: String -> String

Exported names:

Imported modules:

Summary of exported operations:

Exported operations: