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.
Author: Sebastian Fischer
Version: March 2006
Functions:
flatCurry2Xml
| flatCurry2XmlFile
| xml2FlatCurry
| xmlFile2FlatCurry
|
Summary of exported functions:
|
flatCurry2XmlFile :: Prog -> String -> IO ()
|
|
Transforms a FlatCurry program term into a corresponding XML file.
|
|
|
|
xmlFile2FlatCurry :: String -> IO Prog
|
|
Reads an XML file with a FlatCurry program and returns
the FlatCurry program.
|
|
|
|
FlatCurry
Prelude
XML
XmlConv
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.
Generated by CurryDoc
(Version 0.4.1 of June 7, 2007) at Aug 28 15:40:17 2008