Idris2Doc : Compiler.CompileExpr

Compiler.CompileExpr

(source)
Reexports
import public Core.CompileExpr
Definitions
expandToArity : Nat -> CExp vars -> List (CExp vars) -> CExp vars
  Visibility: export
compileExp : Ref Ctxt Defs => ClosedTerm -> Core ClosedCExp
  Visibility: export
compileDef : Ref Ctxt Defs => Name -> Core ()
  Given a name, look up an expression, and compile it to a CExp in the environment

  Visibility: export