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
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. |
Transforms a FlatCurry program term into a corresponding XML file. |
Transforms a FlatCurry program term into a corresponding XML expression. |
Reads an XML file with a FlatCurry program and returns the FlatCurry program. |
Transforms an XML term into a FlatCurry program. |