Language.Glambda.Globals

Manages the global variables in Glambda

Documentation

data Globals

The global variable environment maps variables to type-checked expressions

Instances

MonadReader Globals GlamE

Methods

ask :: GlamE Globals

local :: (Globals -> Globals) -> GlamE a -> GlamE a

reader :: (Globals -> a) -> GlamE a

MonadState Globals Glam

Methods

get :: Glam Globals

put :: Globals -> Glam ()

state :: (Globals -> (a, Globals)) -> Glam a

emptyGlobals :: Globals

An empty global variable environment

extend :: String -> STy ty -> Exp '[] ty -> Globals -> Globals

Extend a Globals with a new binding

lookupGlobal :: MonadError Doc m => Globals -> String -> (forall ty. STy ty -> Exp '[] ty -> m r) -> m r

Lookup a global variable. Fails with throwError if the variable is not bound.