Documentation

eval :: GlobalEnv -> LocalEnv -> Expr -> Val #

apply :: GlobalEnv -> LocalEnv -> Expr -> Expr -> Val #

runBinOp :: BinOp -> Val -> Val -> Val #

runArithmetic :: Expr -> Expr #

type BuiltInFun = [Val] -> Val #

type Arity = Int #

builtInDefs :: [(Var, (Arity, BuiltInFun))] #

isBuiltIn :: Var -> Bool #

arity :: Var -> Arity #

runBuiltIn :: Var -> [Val] -> Val #

isBuildInApp :: Expr -> Bool #

runBuildInApp :: GlobalEnv -> LocalEnv -> Expr -> Val #

globalTest :: GlobalEnv #

testExpr :: Expr #