Module "FlatXML.curry"

This library contains functions to convert FlatCurry programs into corresponding XML expressions and vice versa. This can be used to store Curry programs in a way independent from PAKCS or to use the PAKCS back end by other systems.
The library provides the following functions:

"flatCurry2XmlFile": transform a FlatCurry program into XML file
"flatCurry2Xml":     transform a FlatCurry program into XML expression
"xmlFile2FlatCurry": read an XML file and return the FlatCurry program
"xml2FlatCurry":     transform an XML expression into a FlatCurry program

Author: Michael Hanus

Version: March 2001


 Exported names:

Functions:
flatCurry2Xml | flatCurry2XmlFile | xml2FlatCurry | xmlFile2FlatCurry


 Summary of exported functions:

flatCurry2XmlFile  :: Prog -> String -> IO ()  deterministic 
          Transforms a FlatCurry program term into a corresponding XML file.
flatCurry2Xml  :: Prog -> XmlExp  deterministic flexible
          Transforms a FlatCurry program term into a corresponding XML expression.
xmlFile2FlatCurry  :: String -> IO Prog  deterministic 
          Reads an XML file with a FlatCurry program and returns the FlatCurry program.
xml2FlatCurry  :: XmlExp -> Prog  deterministic flexible
          Transforms an XML term into a FlatCurry program.

 Imported modules:

Flat
Prelude
Read
XML
FlatTools

 Exported datatypes:


 Exported functions:

flatCurry2XmlFile :: Prog -> String -> IO ()  deterministic 

Transforms a FlatCurry program term into a corresponding XML file.


flatCurry2Xml :: Prog -> XmlExp  deterministic flexible

Transforms a FlatCurry program term into a corresponding XML expression.


xmlFile2FlatCurry :: String -> IO Prog  deterministic 

Reads an XML file with a FlatCurry program and returns the FlatCurry program.


xml2FlatCurry :: XmlExp -> Prog  deterministic flexible

Transforms an XML term into a FlatCurry program.

Further infos:
  • incompletely defined


Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Jun 16 17:32:57 2009