Module Data2Xml

If this program is applied to some Curry module, it generates a new Curry module containing conversion functions from and to an XML representation for all data types declared in this module.

applying this program to Nat generates a new module NatDataToXml containing the implementation of the following operations:

provided that the module XML is imported. Similarly, one can read the data from this file by

Summary of exported operations:

Exported datatypes:

Option

Constructors:

LowCase
                    :: Option

FileName
                    ::  String -> Option

OutDir
                    ::  String -> Option

Exported operations:

main :: IO ()

printUsage :: IO ()

argsToOptions :: [String] -> [Option]

outDirOf :: [Option] -> String

derive :: [Option] -> IO ()

maybeString :: [(String,String)] -> [(String,String)]

transModName :: String -> String

toXmlName :: (String,String) -> (String,String)

fromXmlName :: (String,String) -> (String,String)

isTupleName :: String -> Bool

tag :: [Option] -> String -> String

tagNameForCons :: (String,String) -> String

mkType2Xml :: [Option] -> CTypeDecl -> CFuncDecl

mkConsDecl2Xml :: [Option] -> [CPattern] -> CConsDecl -> CRule

type2XmlType :: [(Int,String)] -> CTypeExpr -> CTypeExpr

call2xml :: (CTypeExpr,Int) -> CExpr

call2xmlType :: CTypeExpr -> CExpr

xml :: [Option] -> String -> [CExpr] -> [CExpr] -> CExpr

xmlType :: CTypeExpr

Further infos:

solution complete, i.e., able to compute all solutions

mkXml2Type :: [Option] -> CTypeDecl -> CFuncDecl

renVar :: (a,String) -> (a,String)

xml2typeType :: [(Int,String)] -> CTypeExpr -> CTypeExpr

mkXml2ConsDecl :: [Option] -> [CPattern] -> CConsDecl -> CRule

renameUnused :: [(Int,String)] -> [CPattern] -> [CPattern]

pxml :: [Option] -> String -> [CPattern] -> [CPattern] -> CPattern

callXml2 :: (CTypeExpr,Int) -> CExpr

callXml2Type :: CTypeExpr -> CExpr

importTypes :: String -> [(String,String)] -> IO [String]

imessage :: [String] -> IO ()

importType :: (String,String) -> String

specialNames :: [String]

Further infos:

solution complete, i.e., able to compute all solutions

filterSpecials :: [CTypeDecl] -> [CTypeDecl]

specialFuncs :: [Option] -> [CFuncDecl]

mkTupleType :: Int -> CTypeDecl

mkList2xml :: [Option] -> CFuncDecl

mkXml2List :: [Option] -> CFuncDecl

baseType2xml :: [Option] -> String -> CFuncDecl

baseTypeXml2 :: [Option] -> String -> CFuncDecl

readFun :: String -> CExpr

writeFun :: String -> CExpr

requiredTypesTypeDecl :: CTypeDecl -> [(String,String)]

yield list of all types the given type depends on

requiredTypesConsDecl :: CConsDecl -> [(String,String)]

requiredTypesTypeExpr :: CTypeExpr -> [(String,String)]

Exported names:

Imported modules:

Module Data2Xml

Summary of exported operations:

Exported datatypes:

Exported operations: