Language.HERMIT.Primitive.GHC

Documentation

externals :: [External]

substR :: Id -> CoreExpr -> RewriteH Core

substExprR :: Id -> CoreExpr -> RewriteH CoreExpr

substTopBindR :: Id -> CoreExpr -> RewriteH CoreProgram

letSubstR :: RewriteH CoreExpr

letSubstNR :: Int -> RewriteH Core

safeLetSubstR :: RewriteH CoreExpr

safeLetSubstPlusR :: RewriteH CoreExpr

safeLetSubstPlusR tries to inline a stack of bindings, stopping when reaches the end of the stack of lets.

freeIdsQuery :: TranslateH CoreExpr String

Output a list of all free variables in an expression.

showVar :: Var -> String

Show a human-readable version of a Var.

showVars :: [Var] -> String

Show a human-readable version of a list of Vars.

freeIdsT :: TranslateH CoreExpr [Id]

freeVarsT :: TranslateH CoreExpr [Var]

coreExprFreeVars :: CoreExpr -> [Var]

coreExprFreeIds :: CoreExpr -> [Id]

deShadowBindsR :: RewriteH CoreProgram

from GHC documentation

De-shadowing the program is sometimes a useful pre-pass. It can be done simply by running over the bindings with an empty substitution, becuase substitution returns a result that has no-shadowing guaranteed.

(Actually, within a single type there might still be shadowing, because substTy is a no-op for the empty substitution, but that's probably OK.)

rulesToEnv :: [CoreRule] -> Map String (RewriteH CoreExpr)

rulesToRewriteH :: [CoreRule] -> RewriteH CoreExpr

inScope :: Context -> Id -> Bool

See whether an identifier is in scope.

rules :: String -> RewriteH CoreExpr

getHermitRules :: Generic a ~ Core => TranslateH a [(String, [CoreRule])]

rules_help :: TranslateH Core String

makeRule :: String -> Id -> CoreExpr -> CoreRule

addCoreBindAsRule :: String -> Name -> RewriteH ModGuts

flattenModule :: RewriteH ModGuts

mergeBinds :: RewriteH CoreProgram

occurAnalyseExpr :: CoreExpr -> CoreExpr

occurAnalyseExprR :: RewriteH CoreExpr

exprEqual :: CoreExpr -> CoreExpr -> Bool

bindEqual :: CoreBind -> CoreBind -> Maybe Bool

coreEqual :: Core -> Core -> Maybe Bool

compareValues :: Name -> Name -> TranslateH Core ()

arityOf :: Context -> Id -> Int

castElimination :: RewriteH CoreExpr