Compiler.RefC.RefC

Definitions

cUserName : UserName -> String

Visibility: export

cName : Name -> String

Visibility: export

generateCSourceFile : Ref Ctxt Defs => {default [] _ : List String} -> List (Name, ANFDef) -> String -> Core ()

Visibility: export

compileExpr : UsePhase -> Ref Ctxt Defs -> Ref Syn SyntaxInfo -> String -> String -> ClosedTerm -> String -> Core (Maybe String)

Visibility: export

executeExpr : Ref Ctxt Defs -> Ref Syn SyntaxInfo -> String -> ClosedTerm -> Core ()

Visibility: export

codegenRefC : Codegen

Visibility: export