Language.HERMIT.Primitive.AlphaConversion

Alpha-Renaming and Shadowing

externals :: [External]

Externals for alpha-renaming.

Alpha-Renaming

alpha :: RewriteH Core

Alpha rename any bindings at this node. Note: does not rename case alternatives unless invoked on the alternative.

alphaLam :: Maybe Name -> RewriteH CoreExpr

Alpha rename a lambda binder. Optionally takes a suggested new name.

alphaCaseBinder :: Maybe Name -> RewriteH CoreExpr

Alpha rename a case binder. Optionally takes a suggested new name.

alphaAltIds :: [Id] -> RewriteH CoreAlt

Rename the specified identifiers in a case alternative.

alphaAlt :: RewriteH CoreAlt

Rename all identifiers bound in a case alternative.

alphaCase :: RewriteH CoreExpr

Rename all identifiers bound in a case expression.

alphaLetVars :: [Var] -> RewriteH CoreExpr

Rename the specified variables bound in a let.

alphaLetRecIds :: [Id] -> RewriteH CoreExpr

Rename the specified identifiers bound in a recursive let.

alphaLetOne :: Maybe Name -> RewriteH CoreExpr

Rename the identifier bound in a let with a single bound identifier. Optionally takes a suggested new name.

alphaLet :: RewriteH CoreExpr

Rename all identifiers bound in a Let.

alphaConsOne :: Maybe Name -> RewriteH CoreProg

Rename the identifier bound in a top-level binder with a single bound identifier. Optionally takes a suggested new name.

alphaCons :: RewriteH CoreProg

Rename all identifiers bound in a Let.

Shadow Detection and Unshadowing

unshadow :: RewriteH Core

Rename local variables with manifestly unique names (x, x0, x1, ...). Does not rename top-level definitions (though this may change in the future).

visibleVarsT :: TranslateH CoreExpr [Var]

List all visible identifiers (in the expression or the context).

freshNameGenT :: Maybe Name -> TranslateH CoreExpr (String -> String)

If a name is provided replace the string with that, otherwise modify the string making sure to not clash with any visible variables.

freshNameGenAvoiding :: Maybe Name -> [Var] -> String -> String

A generalisation of freshNameGen that operates on any node, but only avoids name clashes with the results of the argument translation.

replaceVarR :: (Injection a Core, Generic a ~ Core) => Var -> Var -> RewriteH a

Replace all occurrences of a specified variable. Arguments are the variable to replace and the replacement variable, respectively.