Language.HERMIT.Primitive.AlphaConversion

Documentation

externals :: [External]

visibleIds :: TranslateH CoreExpr [Id]

freshNameGen :: Maybe Name -> [Id] -> String -> String

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

inventNames :: [Id] -> String -> String

shadowedNamesT :: TranslateH CoreExpr [String]

shadowedNamesQuery :: TranslateH CoreExpr String

Output a list of all variables that shadowed by bindings in the is expression.

ifShadowingR :: RewriteH CoreExpr

renameIdR :: (Injection a Core, Generic a ~ Core) => Id -> Id -> RewriteH a

Arguments are the original identifier and the replacement identifier, respectively.

replaceId :: Id -> Id -> Id -> Id

Given an identifier to replace, and a replacement, produce an Id -> Id function that acts as in identity for all Ids except the one to replace, for which it returns the replacment. Don't export this, it'll likely just cause confusion.

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.

alphaAltId :: Maybe Name -> Id -> RewriteH CoreAlt

Rename the specified identifier in a case alternative. Optionally takes a suggested new name.

alphaAlt :: RewriteH CoreAlt

Rename all identifiers bound in a case alternative.

alphaCase :: RewriteH CoreExpr

Rename all identifiers bound in a case expression.

alphaLetNonRec :: Maybe Name -> RewriteH CoreExpr

Alpha rename a non-recursive let binder. Optionally takes a suggested new name.

alphaLetRecId :: Maybe Name -> Id -> RewriteH CoreExpr

Rename the specified identifier bound in a recursive let. Optionally takes a suggested new name.

alphaLetRec :: RewriteH CoreExpr

Rename all identifiers bound in a recursive let.

alphaLetRecOne :: Maybe Name -> RewriteH CoreExpr

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

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.

alphaConsNonRec :: Maybe Name -> RewriteH CoreProgram

Alpha rename a non-recursive top-level binder. Optionally takes a suggested new name.

alphaConsRecId :: Maybe Name -> Id -> RewriteH CoreProgram

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

alphaConsRec :: RewriteH CoreProgram

Rename all identifiers bound in a recursive top-level binder.

alphaConsRecOne :: Maybe Name -> RewriteH CoreProgram

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

alphaConsOne :: Maybe Name -> RewriteH CoreProgram

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

alphaCons :: RewriteH CoreProgram

Rename all identifiers bound in a Let.

alpha :: RewriteH Core

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

unshadow :: RewriteH Core

wrongFormForAlpha :: String -> String