- filterVarEnv_Directly,
-
- -- InScopeSet
- InScopeSet, emptyInScopeSet, mkInScopeSet, delInScopeSet,
- extendInScopeSet, extendInScopeSetList, modifyInScopeSet,
- getInScopeVars, lookupInScope, elemInScopeSet, uniqAway,
- mapInScopeSet,
-
- -- RnEnv2 and its operations
- RnEnv2, mkRnEnv2, rnBndr2, rnBndrs2, rnOccL, rnOccR, inRnEnvL, inRnEnvR,
- rnBndrL, rnBndrR, nukeRnEnvL, nukeRnEnvR, extendRnInScopeList,
- rnInScope,
-
- -- TidyEnvs
- TidyEnv, emptyTidyEnv
+ filterVarEnv_Directly, restrictVarEnv,
+
+ -- * The InScopeSet type
+ InScopeSet,
+
+ -- ** Operations on InScopeSets
+ emptyInScopeSet, mkInScopeSet, delInScopeSet,
+ extendInScopeSet, extendInScopeSetList, extendInScopeSetSet,
+ getInScopeVars, lookupInScope, lookupInScope_Directly,
+ elemInScopeSet, uniqAway,
+
+ -- * The RnEnv2 type
+ RnEnv2,
+
+ -- ** Operations on RnEnv2s
+ mkRnEnv2, rnBndr2, rnBndrs2, rnOccL, rnOccR, inRnEnvL, inRnEnvR,
+ rnBndrL, rnBndrR, nukeRnEnvL, nukeRnEnvR, extendRnInScopeList,
+ rnEtaL, rnEtaR,
+ rnInScope, rnInScopeSet, lookupRnInScope,
+
+ -- * TidyEnv and its operation
+ TidyEnv,
+ emptyTidyEnv