NameEnv

Var, Id and TyVar environments (maps)

type NameEnv a

Manipulating these environments

mkNameEnv

emptyNameEnv

isEmptyNameEnv

unitNameEnv

nameEnvElts

nameEnvUniqueElts

extendNameEnv_C

extendNameEnv_Acc

extendNameEnv

extendNameEnvList

extendNameEnvList_C

foldNameEnv

filterNameEnv

anyNameEnv

plusNameEnv

plusNameEnv_C

alterNameEnv

lookupNameEnv

lookupNameEnv_NF

delFromNameEnv

delListFromNameEnv

elemNameEnv

mapNameEnv

disjointNameEnv

type DNameEnv a

emptyDNameEnv

lookupDNameEnv

mapDNameEnv

alterDNameEnv

Dependency analysis

depAnal