VarEnv
type VarEnv elt
type IdEnv elt
type TyVarEnv elt
type CoVarEnv elt
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
data InScopeSet
emptyInScopeSet
mkInScopeSet
delInScopeSet
extendInScopeSet
extendInScopeSetList
extendInScopeSetSet
getInScopeVars
lookupInScope
lookupInScope_Directly
unionInScope
elemInScopeSet
uniqAway
data RnEnv2
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
type TidyEnv
emptyTidyEnv