Language.Lambda.Untyped.State

Documentation

data EvalState name

The evaluation state

Constructors

EvalState

Fields

• esGlobals :: Globals name
• esUniques :: [name]

  Unused unique names

type Eval name = StateT (EvalState name) (Except LambdaException)

A stateful computation

type Globals name = Map name (LambdaExpr name)

A mapping of global variables to expressions

runEval :: Eval name result -> EvalState name -> Either LambdaException (result, EvalState name)

Run an evalualation

execEval :: Eval name result -> EvalState name -> Either LambdaException result

Run an evalualation, throwing away the final state

unsafeExecEval :: Eval name result -> EvalState name -> result

Run an evaluation, throwing away the final state. If the result is an error, throws it

unsafeRunEval :: Eval name result -> EvalState name -> (result, EvalState name)

Run an evaluation. If the result is an error, throws it

globals :: Lens' (EvalState name) (Globals name)

uniques :: Lens' (EvalState name) [name]

mkEvalState :: [name] -> EvalState name

Create an EvalState

getGlobals :: Eval name (Globals name)

Access globals from the state monad

getUniques :: Eval name [name]

Access unique supply from state monad

setGlobals :: Globals name -> Eval name ()

setUniques :: [name] -> Eval name ()