Language.HERMIT.Primitive.Unfold

Documentation

externals :: [External]

cleanupUnfoldR :: RewriteH CoreExpr

cleanupUnfoldR cleans a unfold operation (for example, an inline or rule application) It is used at the level of the top-redex. Invariant: will not introduce let bindings

rememberR :: Label -> RewriteH Core

Stash a binding with a name for later use. Allows us to look at past definitions.

showStashT :: Injection CoreDef a => PrettyH a -> TranslateH a DocH

unfoldR :: RewriteH CoreExpr

A more powerful inline. Matches two cases: Var ==> inlines App ==> inlines the head of the function call for the app tree

unfoldPredR :: (Id -> [CoreExpr] -> Bool) -> RewriteH CoreExpr

unfoldNameR :: Name -> RewriteH CoreExpr

unfoldAnyR :: [Name] -> RewriteH CoreExpr

unfoldSaturatedR :: RewriteH CoreExpr

unfoldStashR :: String -> RewriteH CoreExpr

Stash a binding with a name for later use. Allows us to look at past definitions. rememberR :: String -> TranslateH Core () rememberR label = contextfreeT $ core -> case core of DefCore def -> saveDef label def BindCore (NonRec i e) -> saveDef label (Def i e) _ -> fail remember: not a binding

Apply a stashed definition (like inline, but looks in stash instead of context).

specializeR :: RewriteH CoreExpr