| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
ABS.Compiler.Codegen.Exp
- tFunBody :: (?st :: SymbolTable, ?fields :: ScopeLVL, ?cname :: String) => FunBody -> [U] -> [FormalPar] -> T -> Exp
- tPureExp :: (?st :: SymbolTable, ?fields :: ScopeLVL, ?cname :: String) => PureExp -> LetScope (Exp, T)
- mUpOne :: (?st :: SymbolTable) => T -> T -> Exp -> Exp
- mUpMany :: (?st :: SymbolTable) => [T] -> [T] -> [Exp] -> [Exp]
Documentation
tFunBody :: (?st :: SymbolTable, ?fields :: ScopeLVL, ?cname :: String) => FunBody -> [U] -> [FormalPar] -> T -> Exp Source #
Translating the body of a pure function
tPureExp :: (?st :: SymbolTable, ?fields :: ScopeLVL, ?cname :: String) => PureExp -> LetScope (Exp, T) Source #
Translating a pure expression
mUpOne :: (?st :: SymbolTable) => T -> T -> Exp -> Exp Source #
mUpMany :: (?st :: SymbolTable) => [T] -> [T] -> [Exp] -> [Exp] Source #