VarEnv

Var, Id and TyVar environments (maps)

type VarEnv elt
type IdEnv elt
type TyVarEnv elt

Manipulating these environments

The InScopeSet type

data InScopeSet

Operations on InScopeSets

The RnEnv2 type

data RnEnv2

Operations on RnEnv2s

TidyEnv and its operation

type TidyEnv