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: November 2024

Summary of exported operations:

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

Exported operations:

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

Transforms a FlatCurry program term into a corresponding XML file.

flatCurry2Xml :: Prog -> XmlExp  Non-deterministic 

Transforms a FlatCurry program term into a corresponding XML expression.

xmlFile2FlatCurry :: String -> IO Prog  Non-deterministic 

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

xml2FlatCurry :: XmlExp -> Prog  Non-deterministic 

Transforms an XML term into a FlatCurry program.