Language.HERMIT.Primitive.Unfold

Documentation

externals :: [External]

stashDef :: String -> RewriteH Core

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

stashApply :: String -> RewriteH CoreExpr

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

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

getUnfolding

Arguments

:: Monad m

=> Bool

Get the scrutinee instead of the patten match (for case binders).

-> Bool

Only succeed if this variable is a case binder.

-> Id

-> Context

-> m (CoreExpr, Int)