Module FlatCurry.XML

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 of a Curry system or to use a Curry system, like PAKCS, as back end by other functional logic programming systems.

Author: Sebastian Fischer

Version: October 2015

Summary of exported operations:

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

Transforms a FlatCurry program term into a corresponding XML file.

flatCurry2Xml
                  ::  Prog -> XmlExp

Transforms a FlatCurry program term into a corresponding XML expression.

xmlFile2FlatCurry
                  ::  String -> IO Prog

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

xml2FlatCurry
                  ::  XmlExp -> Prog

Transforms an XML term into a FlatCurry program.

Exported operations:

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

Transforms a FlatCurry program term into a corresponding XML file.

flatCurry2Xml :: Prog -> XmlExp

Transforms a FlatCurry program term into a corresponding XML expression.

xmlFile2FlatCurry :: String -> IO Prog

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

xml2FlatCurry :: XmlExp -> Prog

Transforms an XML term into a FlatCurry program.