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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Generator.Python

Description

Generates Python representation of IR for the ClaferZ3.

Synopsis

Documentation

tag :: String -> String -> String Source

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

genPythonInteger :: Integer -> String Source

isNull :: String -> String Source

boolHelper :: String -> String Source

genPythonBoolean :: String -> Bool -> String Source

genPythonString :: String -> String Source

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

genPythonModule :: IModule -> Result Source

Generate an API for the IR in Python

genPythonClafer :: IClafer -> Result Source

genPythonAbstract :: Bool -> String Source

genPythonGCard :: IGCard -> String Source

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

genPythonId :: String -> String Source

genPythonUid :: String -> String Source

genPythonSuper :: ISuper -> String Source

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

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

genPythonElement :: IElement -> String Source

genPythonPExp :: String -> PExp -> String Source

genPythonPosition :: Span -> String Source

genPythonIExpType :: IExp -> String Source

declHelper :: [IDecl] -> String Source

genPythonIExp :: IExp -> String Source

genPythonDecl :: IDecl -> String Source

genPythonQuantType :: IQuant -> String Source

genPythonITypeType :: IType -> String Source

genPythonIType :: IType -> String Source