Language.Hakaru.CodeGen.CodeGenMonad

as some useful helper functions for manipulating it

Documentation

type CodeGen = State CG

data CG

Constructors

CG

Fields

• freshNames :: [String]

  fresh names for code generations

• reservedNames :: Set String

  reserve names during code generations

• extDecls :: [CExtDecl]

  total external declarations

• declarations :: [CDecl]

  declarations in local block

• statements :: [CStat]

  statements can include assignments as well as other side-effects

• varEnv :: Env

  mapping between Hakaru vars and codegeneration vars

• parallel :: Bool

  openMP supported block

runCodeGen :: CodeGen a -> ([CExtDecl], [CDecl], [CStat])

runCodeGenBlock :: CodeGen a -> CodeGen CStat

runCodeGenWith :: CodeGen a -> CG -> [CExtDecl]

emptyCG :: CG

suffixes :: [String]

declare :: Sing (a :: Hakaru) -> Ident -> CodeGen ()

types like SData and SMeasure are impure in that they will produce extra code in the CodeGenMonad while literal types SReal, SInt, SNat, and SProb do not

declare' :: CDecl -> CodeGen ()

assign :: Ident -> CExpr -> CodeGen ()

putStat :: CStat -> CodeGen ()

putExprStat :: CExpr -> CodeGen ()

extDeclare :: CExtDecl -> CodeGen ()

defineFunction :: Sing (a :: Hakaru) -> Ident -> [CDecl] -> CodeGen () -> CodeGen ()

funCG :: CTypeSpec -> Ident -> [CDecl] -> CodeGen () -> CodeGen ()

isParallel :: CodeGen Bool

mkParallel :: CodeGen ()

mkSequential :: CodeGen ()

reserveName :: String -> CodeGen ()

genIdent :: CodeGen Ident

genIdent' :: String -> CodeGen Ident

createIdent :: Variable (a :: Hakaru) -> CodeGen Ident

lookupIdent :: Variable (a :: Hakaru) -> CodeGen Ident

whileCG :: CExpr -> CodeGen () -> CodeGen ()

doWhileCG :: CExpr -> CodeGen () -> CodeGen ()

forCG :: CExpr -> CExpr -> CExpr -> CodeGen () -> CodeGen ()

reductionCG :: CBinaryOp -> Ident -> CExpr -> CExpr -> CExpr -> CodeGen () -> CodeGen ()