KiCS2
Exported names: Imported modules:

Module CurryDoc.Files

Some auxiliary operations to lookup Curry source files.

Author: Michael Hanus

Version: December 2018

Summary of exported operations:

generateModuleDocMapping :: [(String,String)] -> IO [(String,String)]   
Constructs a mapping from module names into locations where the documentation is stored.

Exported operations:

generateModuleDocMapping :: [(String,String)] -> IO [(String,String)]   

Constructs a mapping from module names into locations where the documentation is stored. The argument is a list of pairs (root dir of Curry sources / documentation dir for these sources).