Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Translation of ImpCode Exp and Code to C.
Synopsis
- compilePrimExp :: Monad m => (v -> m Exp) -> PrimExp v -> m Exp
- compileExp :: Exp -> CompilerM op s Exp
- compileExpToName :: String -> PrimType -> Exp -> CompilerM op s VName
- compileCode :: Code op -> CompilerM op s ()
- compileDest :: VName -> CompilerM op s (VName, [Stm])
- compileArg :: Arg -> CompilerM op s Exp
- errorMsgString :: ErrorMsg Exp -> CompilerM op s (String, [Exp])
- linearCode :: Code op -> [Code op]
Documentation
compilePrimExp :: Monad m => (v -> m Exp) -> PrimExp v -> m Exp Source #
Tell me how to compile a v
, and I'll Compile any PrimExp v
for you.
compileCode :: Code op -> CompilerM op s () Source #
compileDest :: VName -> CompilerM op s (VName, [Stm]) Source #
Prepare a destination for function application.
linearCode :: Code op -> [Code op] Source #