Language.Clafer.Generator.Xml

Generates a XML representation of IR conforming to the ClaferIR.xsd.

Documentation

tag :: String -> String -> String

optTag :: Maybe a -> (a -> String) -> String

tagType :: String -> String -> String -> String

genXmlInteger :: Integer -> String

genXmlBoolean :: String -> Bool -> String

genXmlString :: String -> String

genXmlIntPair :: (Integer, Integer) -> String

genXmlModule :: IModule -> Result

Generate an XML representation of the IR

genXmlClafer :: IClafer -> Result

genXmlAbstract :: Bool -> String

genXmlGCard :: IGCard -> String

genXmlInterval :: (Integer, Integer) -> String

genXmlId :: String -> String

genXmlUid :: String -> String

genXmlSuper :: ISuper -> String

genXmlCard :: (Integer, Integer) -> String

genXmlGlCard :: (Integer, Integer) -> String

genXmlElement :: IElement -> String

genXmlAnyOp :: (a -> String) -> (a -> String) -> [(String, a)] -> String

genXmlPExp :: String -> PExp -> String

genXmlPosition :: Span -> String

genXmlIExpType :: IExp -> String

genXmlIExp :: IExp -> String

genXmlDecl :: IDecl -> String

genXmlQuantType :: IQuant -> String

genXmlITypeType :: IType -> String

genXmlIType :: IType -> String