Moduleghc-10.0.0.20260917GHC2024

GHC.Unit.External.Substitution

Contents

Synopsis

Substitution and module renaming

typetype ShHoleSubst = ModuleNameEnv Module

Substitution on module variables, mapping module names to module identifiers.

valuerenameHoleModule' :: UnitInfoMap -> ShHoleSubst -> Module -> Module

Like renameHoleModule, but requires only UnitInfoMap so it can be used by GHC.Unit.State.

valuerenameHoleUnit' :: UnitInfoMap -> ShHoleSubst -> Unit -> Unit

Like renameHoleUnit, but requires only UnitInfoMap so it can be used by GHC.Unit.State.

valuerenameUnitInfo

Rename a UnitInfo according to some module instantiation.