Language.HERMIT.Primitive.Local

Local Structural Manipulations

externals :: [External]

Externals for local structural manipulations. (Many taken from Chapter 3 of Andre Santos' dissertation.)

Let Expressions

module Language.HERMIT.Primitive.Local.Let

Case Expressions

module Language.HERMIT.Primitive.Local.Case

Miscellaneous

abstract :: Name -> RewriteH CoreExpr

Abstract over a variable using a lambda. e ==> ( x. e) x

nonrecToRec :: RewriteH CoreBind

NonRec v e ==> Rec [Def v e]

betaReduce :: RewriteH CoreExpr

((\ v -> e1) e2) ==> (let v = e2 in e1) This form of beta-reduction is safe if e2 is an arbitrary expression (won't duplicate work).

betaReducePlus :: RewriteH CoreExpr

Perform one or more beta-reductions.

betaExpand :: RewriteH CoreExpr

(let v = e1 in e2) ==> (\ v -> e2) e1

etaReduce :: RewriteH CoreExpr

(\ v -> e1 v) ==> e1

etaExpand :: Name -> RewriteH CoreExpr

e1 ==> (\ v -> e1 v)

multiEtaExpand :: [Name] -> RewriteH CoreExpr

Perform multiple eta-expansions.

flattenModule :: RewriteH ModGuts

Flatten all the top-level binding groups in the module to a single recursive binding group.

flattenProgramR :: RewriteH CoreProg

Flatten all the top-level binding groups in a program to a program containing a single recursive binding group.

flattenProgramT :: TranslateH CoreProg CoreBind

Flatten all the top-level binding groups in a program to a single recursive binding group.