| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Unit.External.Substitution
Contents
Synopsis
- type ShHoleSubst = ModuleNameEnv Module
- renameHoleModule' :: UnitInfoMap -> ShHoleSubst -> Module -> Module
- renameHoleUnit' :: UnitInfoMap -> ShHoleSubst -> Unit -> Unit
- renameUnitInfo :: UnitInfoMap -> [(ModuleName, Module)] -> UnitInfo -> UnitInfo
Substitution and module renaming
type ShHoleSubst = ModuleNameEnv Module Source #
Substitution on module variables, mapping module names to module identifiers.
renameHoleModule' :: UnitInfoMap -> ShHoleSubst -> Module -> Module Source #
Like renameHoleModule, but requires only UnitInfoMap
so it can be used by GHC.Unit.State.
renameHoleUnit' :: UnitInfoMap -> ShHoleSubst -> Unit -> Unit Source #
Like renameHoleUnit, but requires only UnitInfoMap
so it can be used by GHC.Unit.State.
renameUnitInfo :: UnitInfoMap -> [(ModuleName, Module)] -> UnitInfo -> UnitInfo Source #
Rename a UnitInfo according to some module instantiation.