Language.HERMIT.Primitive.Inline

Inlining

externals :: [External]

Externals for inlining variables.

getUnfolding

Arguments

:: Bool

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

-> Bool

Only succeed if this variable is a case binder.

-> Id

-> HermitC

-> HermitM (CoreExpr, Int)

inline :: RewriteH CoreExpr

Inline the current variable.

inlineName :: Name -> RewriteH CoreExpr

If the current variable matches the given name, then inline it.

inlineScrutinee :: RewriteH CoreExpr

Inline the current variable, using the scrutinee rather than the case alternative if it is a case wild-card binder.

inlineCaseBinder :: RewriteH CoreExpr

If the current variable is a case wild-card binder, then inline it.

inlineTargets :: TranslateH Core [String]

Get list of possible inline targets. Used by shell for completion.