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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Generator.Xml

Description

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

Synopsis

Documentation

tag :: String -> String -> String Source

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

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

genXmlInteger :: Integer -> String Source

genXmlBoolean :: String -> Bool -> String Source

genXmlString :: String -> String Source

genXmlIntPair :: (Integer, Integer) -> String Source

genXmlModule :: IModule -> Result Source

Generate an XML representation of the IR

genXmlClafer :: IClafer -> Result Source

genXmlAbstract :: Bool -> String Source

genXmlGCard :: IGCard -> String Source

genXmlInterval :: (Integer, Integer) -> String Source

genXmlId :: String -> String Source

genXmlUid :: String -> String Source

genXmlParentUid :: String -> String Source

genXmlSuper :: Maybe PExp -> String Source

genXmlReference :: Maybe IReference -> String Source

genXmlCard :: (Integer, Integer) -> String Source

genXmlGlCard :: (Integer, Integer) -> String Source

genXmlElement :: IElement -> String Source

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

genXmlPExp :: String -> PExp -> String Source

genXmlPosition :: Span -> String Source

genXmlIExpType :: IExp -> String Source

genXmlIExp :: IExp -> String Source

genXmlDecl :: IDecl -> String Source

genXmlQuantType :: IQuant -> String Source

genXmlITypeType :: IType -> String Source

genXmlIType :: IType -> String Source