clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone

Language.Clafer.Generator.Xml

Description

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

Synopsis

Documentation

tag :: String -> String -> StringSource

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

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

genXmlInteger :: Integer -> StringSource

genXmlBoolean :: String -> Bool -> StringSource

genXmlString :: String -> StringSource

genXmlIntPair :: (Integer, Integer) -> StringSource

genXmlModule :: IModule -> ResultSource

Generate an XML representation of the IR

genXmlAbstract :: Bool -> StringSource

genXmlInterval :: (Integer, Integer) -> StringSource

genXmlId :: String -> StringSource

genXmlUid :: String -> StringSource

genXmlCard :: (Integer, Integer) -> StringSource

genXmlGlCard :: (Integer, Integer) -> StringSource

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

genXmlPExp :: String -> PExp -> StringSource

genXmlIExp :: IExp -> StringSource

genXmlDecl :: IDecl -> StringSource