Stg.Machine.Env

Defines operations on local and global variable environments.

Locals

addLocals :: [Mapping Var Value] -> Locals -> Locals

Add a list of bindings to the local environment.

Already existing variables will be shadowed (i.e. overwritten).

makeLocals :: [Mapping Var Value] -> Locals

Create a local environment from a list of bindings.

val :: Locals -> Globals -> Atom -> Validate NotInScope Value

Look up the value of an Atom first in the local, then in the global environment.

vals :: Locals -> Globals -> [Atom] -> Validate NotInScope [Value]

Look up the values of many Atoms, and return their values in the input's order, or a list of variables not in scope.

localVal :: Locals -> Atom -> Validate NotInScope Value

Look up the value of a variable in the local environment.

newtype NotInScope

Type safety wrapper.

Constructors

NotInScope [Var]

Instances

Eq NotInScope

Ord NotInScope

Show NotInScope

Generic NotInScope

Pretty NotInScope

Monoid NotInScope

NFData NotInScope

type Rep NotInScope

Globals

globalVal :: Globals -> Atom -> Validate NotInScope Value

Look up the value of a variable in the global environment.