Core.SchemeEval.Compile

Definitions

data Sym : Type

Totality: total
Visibility: export

nextName : Ref Sym Integer => Core Integer

Visibility: export

data SVar : Type

Totality: total
Visibility: public export
Constructors:

Bound : String -> SVar

Free : String -> SVar

Hint: 

Show SVar

getName : SVar -> String

Visibility: export

SchVars : Scoped

Visibility: public export

compile : Ref Sym Integer => Ref Ctxt Defs => SchVars vars -> Term vars -> Core (SchemeObj Write)

Visibility: export

compileDef : Ref Ctxt Defs => SchemeMode -> Name -> Core ()

Visibility: export

initialiseSchemeEval : Ref Ctxt Defs => Core Bool

Visibility: export