VarEnv

Var, Id and TyVar environments (maps)

type VarEnv elt

type IdEnv elt

type TyVarEnv elt

type CoVarEnv elt

Manipulating these environments

emptyVarEnv

unitVarEnv

mkVarEnv

elemVarEnv

varEnvElts

varEnvKeys

extendVarEnv

extendVarEnv_C

extendVarEnv_Acc

extendVarEnvList

plusVarEnv

plusVarEnv_C

plusVarEnv_CD

alterVarEnv

delVarEnvList

delVarEnv

minusVarEnv

intersectsVarEnv

lookupVarEnv

lookupVarEnv_NF

lookupWithDefaultVarEnv

mapVarEnv

zipVarEnv

modifyVarEnv

modifyVarEnv_Directly

isEmptyVarEnv

foldVarEnv

elemVarEnvByKey

lookupVarEnv_Directly

filterVarEnv

filterVarEnv_Directly

restrictVarEnv

partitionVarEnv

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

rnOccL_maybe

rnOccR_maybe

rnBndrL

rnBndrR

nukeRnEnvL

nukeRnEnvR

delBndrL

delBndrR

delBndrsL

delBndrsR

addRnInScopeSet

rnEtaL

rnEtaR

rnInScope

rnInScopeSet

lookupRnInScope

TidyEnv and its operation

type TidyEnv

emptyTidyEnv