Compiler.Interpreter.VMCode

Definitions

data Object : Type

Totality: total
Visibility: public export
Constructors:

Closure : Nat -> SnocList Object -> Name -> Object

Constructor : Either Int Name -> List Object -> Object

Const : Constant -> Object

Null : Object

Hint: 

Show Object

codegenVMCodeInterp : Codegen

Visibility: export