| Safe Haskell | None |
|---|
Language.Clafer.Generator.Xml
Description
Generates a XML representation of IR conforming to the ClaferIR.xsd.
- 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
- 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
Documentation
genXmlInteger :: Integer -> StringSource
genXmlBoolean :: String -> Bool -> StringSource
genXmlString :: String -> StringSource
genXmlIntPair :: (Integer, Integer) -> StringSource
genXmlModule :: IModule -> ResultSource
Generate an XML representation of the IR
genXmlClafer :: IClafer -> ResultSource
genXmlAbstract :: Bool -> StringSource
genXmlGCard :: IGCard -> StringSource
genXmlInterval :: (Integer, Integer) -> StringSource
genXmlSuper :: ISuper -> StringSource
genXmlCard :: (Integer, Integer) -> StringSource
genXmlGlCard :: (Integer, Integer) -> StringSource
genXmlElement :: IElement -> StringSource
genXmlAnyOp :: (a -> String) -> (a -> String) -> [(String, a)] -> StringSource
genXmlPExp :: String -> PExp -> StringSource
genXmlPosition :: Span -> StringSource
genXmlIExpType :: IExp -> StringSource
genXmlIExp :: IExp -> StringSource
genXmlDecl :: IDecl -> StringSource
genXmlQuantType :: IQuant -> StringSource
genXmlITypeType :: IType -> StringSource
genXmlIType :: IType -> StringSource