Language.Clafer.Generator.Python

Generates Python representation of IR for the ClaferZ3.

Documentation

tag :: String -> String -> String

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

genPythonInteger :: Integer -> String

isNull :: String -> String

boolHelper :: String -> String

genPythonBoolean :: String -> Bool -> String

genPythonString :: String -> String

genPythonIntPair :: (Integer, Integer) -> String

genPythonModule :: IModule -> Result

Generate an API for the IR in Python

genPythonClafer :: IClafer -> Result

genPythonAbstract :: Bool -> String

genPythonGCard :: IGCard -> String

genPythonInterval :: (Integer, Integer) -> String

genPythonId :: String -> String

genPythonUid :: String -> String

genPythonSuper :: ISuper -> String

genPythonCard :: (Integer, Integer) -> String

genPythonGlCard :: (Integer, Integer) -> String

genPythonElement :: IElement -> String

genPythonPExp :: String -> PExp -> String

genPythonPosition :: Span -> String

genPythonIExpType :: IExp -> String

declHelper :: [IDecl] -> String

genPythonIExp :: IExp -> String

genPythonDecl :: IDecl -> String

genPythonQuantType :: IQuant -> String

genPythonITypeType :: IType -> String

genPythonIType :: IType -> String