Feldspar.Compiler.Imperative.Frontend

Synopsis

• toBlock :: Program () -> Block ()
• toProg :: Block () -> Program ()
• copyProg :: Maybe (Expression ()) -> [Expression ()] -> Program ()
• mkInitialize :: String -> Maybe (Expression ()) -> Expression () -> Program ()
• initArray :: Maybe (Expression ()) -> Expression () -> Program ()
• setLength :: Maybe (Expression ()) -> Expression () -> Program ()
• freeArray :: Variable () -> Program ()
• freeArrays :: [Declaration ()] -> [Program ()]
• arrayLength :: Expression () -> Expression ()
• chaseArray :: Expression t -> Maybe (Range Length)
• iVarInit :: Expression () -> Program ()
• iVarGet :: Expression () -> Expression () -> Program ()
• iVarPut :: Expression () -> Expression () -> Program ()
• iVarDestroy :: Variable () -> Program ()
• freeIVars :: [Declaration ()] -> [Program ()]
• spawn :: String -> [Variable ()] -> Program ()
• run :: String -> [Variable ()] -> Program ()
• intWidth :: Type -> Maybe Integer
• intSigned :: Type -> Maybe Bool
• litF :: Float -> Expression t
• litD :: Double -> Expression t
• litB :: Bool -> Expression ()
• litC :: Constant () -> Constant () -> Expression ()
• litI :: Type -> Integer -> Expression ()
• litI32 :: Integer -> Expression ()
• isArray :: Type -> Bool
• isNativeArray :: Type -> Bool
• isIVar :: Type -> Bool
• isPointer :: Type -> Bool
• isVarExpr :: Expression () -> Bool
• containsNativeArray :: Type -> Bool
• flattenStructs :: Type -> [(Expression () -> Expression (), Type)]
• hasReference :: Type -> Bool
• dVar :: Declaration () -> Variable ()
• vName :: Variable t -> String
• lName :: Expression t -> String
• varToExpr :: Variable t -> Expression t
• binop :: Type -> String -> Expression () -> Expression () -> Expression ()
• fun :: Type -> String -> [Expression ()] -> Expression ()
• fun' :: FunctionMode -> Type -> String -> [Expression ()] -> Expression ()
• call :: String -> [ActualParameter ()] -> Program ()
• for :: Bool -> String -> Expression () -> Expression () -> Block () -> Program ()
• while :: Block () -> Expression () -> Block () -> Program ()

Documentation