| Safe Haskell | None |
|---|
Language.Clafer.Generator.Python
Description
Generates Python representation of IR for the ClaferZ3.
- 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
- 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
Documentation
genPythonInteger :: Integer -> StringSource
boolHelper :: String -> StringSource
genPythonBoolean :: String -> Bool -> StringSource
genPythonString :: String -> StringSource
genPythonIntPair :: (Integer, Integer) -> StringSource
genPythonModule :: IModule -> ResultSource
Generate an API for the IR in Python
genPythonAbstract :: Bool -> StringSource
genPythonGCard :: IGCard -> StringSource
genPythonInterval :: (Integer, Integer) -> StringSource
genPythonId :: String -> StringSource
genPythonUid :: String -> StringSource
genPythonSuper :: ISuper -> StringSource
genPythonCard :: (Integer, Integer) -> StringSource
genPythonGlCard :: (Integer, Integer) -> StringSource
genPythonElement :: IElement -> StringSource
genPythonPExp :: String -> PExp -> StringSource
genPythonPosition :: Span -> StringSource
genPythonIExpType :: IExp -> StringSource
declHelper :: [IDecl] -> StringSource
genPythonIExp :: IExp -> StringSource
genPythonDecl :: IDecl -> StringSource
genPythonQuantType :: IQuant -> StringSource
genPythonITypeType :: IType -> StringSource
genPythonIType :: IType -> StringSource