Module FlatCurry.XML

Author
Sebastian Fischer
Version
November 2024

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.

Exported Functions


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.