Ivory.Eval

A simple interpreter for a subset of Ivory.

Documentation

runEval :: Eval a -> Either Error a

runEvalStartingFrom :: EvalState -> Eval a -> Either Error (a, EvalState)

type Error = String

type Eval a = StateT EvalState (ExceptionT Error Id) a

data EvalState

Constructors

EvalState (Map Sym Value) SrcLoc (Map Sym Struct)

Instances

Show EvalState

data Value

Constructors

Sint8 Int8

Sint16 Int16

Sint32 Int32

Sint64 Int64

Uint8 Word8

Uint16 Word16

Uint32 Word32

Uint64 Word64

Float Float

Double Double

Char Char

String String

Bool Bool

Array (Seq Value)

Struct (Map Sym Value)

Ref Sym

Instances

Eq Value

Ord Value

Show Value

initState :: Map Sym Value -> EvalState

openModule :: Module -> Eval a -> Eval a

Run an action inside the scope of a given module.

evalAssert :: Expr -> Eval ()

evalBlock :: Block -> Eval ()

Main Evaluator

evalCond :: Cond -> Eval Bool

evalDeref :: Type -> Expr -> Eval Value

evalExpr :: Type -> Expr -> Eval Value

evalInit :: Type -> Init -> Eval Value

evalLit :: Type -> Literal -> Eval Value

evalOp :: ExpOp -> [Value] -> Eval Value

evalRequires :: [Require] -> Eval Bool

evalStmt :: Stmt -> Eval ()