StgSubst

Documentation

data Subst

A renaming substitution from Ids to Ids. Like RnEnv2, but not maintaining pairs of substitutions. Like CoreSubst.Subst, but with the domain being Ids instead of entire CoreExpr.

Constructors

Subst InScopeSet IdSubstEnv

type IdSubstEnv = IdEnv Id

emptySubst :: Subst

emptySubst = mkEmptySubst emptyInScopeSet

mkEmptySubst :: InScopeSet -> Subst

Constructs a new Subst assuming the variables in the given InScopeSet are in scope.

substBndr :: Id -> Subst -> (Id, Subst)

Substitutes an Id for another one according to the Subst given in a way that avoids shadowing the InScopeSet, returning the result and an updated Subst that should be used by subsequent substitutions.

substBndrs :: Traversable f => f Id -> Subst -> (f Id, Subst)

substBndrs = runState . traverse (state . substBndr)

lookupIdSubst :: HasCallStack => Id -> Subst -> Id

Substitutes an occurrence of an identifier for its counterpart recorded in the Subst.

noWarnLookupIdSubst :: HasCallStack => Id -> Subst -> Id

Substitutes an occurrence of an identifier for its counterpart recorded in the Subst. Does not generate a debug warning if the identifier to to substitute wasn't in scope.

extendInScope :: Id -> Subst -> Subst

Add the Id to the in-scope set and remove any existing substitutions for it.

extendSubst :: Id -> Id -> Subst -> Subst

Add a substitution for an Id to the Subst: you must ensure that the in-scope set is such that TyCoSubst Note [The substitution invariant] holds after extending the substitution like this.