Module ICurry.Extended.I2E

Transform ICurry to Extended ICurry

Author: Marc Andre Wittorf

Summary of exported operations:

extractDepInfoFromI :: IProg -> (String,DepInfo)   
Get all defined names from an ICurry module
i2eProg :: [(String,DepInfo)] -> IProg -> IEProg   
Transform an ICurry module to an Extended ICurry module

Exported operations:

extractDepInfoFromI :: IProg -> (String,DepInfo)   

Get all defined names from an ICurry module

Example call:
(extractDepInfoFromI prog)
Parameters:
  • prog : the module
Returns:
the module name and the defined names

i2eProg :: [(String,DepInfo)] -> IProg -> IEProg   

Transform an ICurry module to an Extended ICurry module

Example call:
(i2eProg di prog)
Parameters:
  • di : the information about all dependencies
  • prog : the module
Returns:
the module