VarEnv

Var, Id and TyVar environments (maps)

type VarEnv elt

type IdEnv elt

type TyVarEnv elt

Manipulating these environments

emptyVarEnv

unitVarEnv

mkVarEnv

elemVarEnv

varEnvElts

varEnvKeys

extendVarEnv

extendVarEnv_C

extendVarEnv_Acc

extendVarEnvList

plusVarEnv

plusVarEnv_C

delVarEnvList

delVarEnv

minusVarEnv

intersectsVarEnv

lookupVarEnv

lookupVarEnv_NF

lookupWithDefaultVarEnv

mapVarEnv

zipVarEnv

modifyVarEnv

modifyVarEnv_Directly

isEmptyVarEnv

foldVarEnv

elemVarEnvByKey

lookupVarEnv_Directly

filterVarEnv_Directly

restrictVarEnv

The InScopeSet type

data InScopeSet

Operations on InScopeSets

emptyInScopeSet

mkInScopeSet

delInScopeSet

extendInScopeSet

extendInScopeSetList

extendInScopeSetSet

getInScopeVars

lookupInScope

lookupInScope_Directly

unionInScope

elemInScopeSet

uniqAway

The RnEnv2 type

data RnEnv2

Operations on RnEnv2s

mkRnEnv2

rnBndr2

rnBndrs2

rnOccL

rnOccR

inRnEnvL

inRnEnvR

rnBndrL

rnBndrR

nukeRnEnvL

nukeRnEnvR

addRnInScopeSet

rnEtaL

rnEtaR

rnInScope

rnInScopeSet

lookupRnInScope

TidyEnv and its operation

type TidyEnv

emptyTidyEnv