Language.HERMIT.Primitive.Local.Case

Rewrites on Case Expressions

externals :: [External]

Externals relating to Case expressions.

letFloatCase :: RewriteH CoreExpr

case (let v = e1 in e2) of alts ==> let v = e1 in case e2 of alts

caseFloatApp :: RewriteH CoreExpr

(case s of alt1 -> e1; alt2 -> e2) v ==> case s of alt1 -> e1 v; alt2 -> e2 v

caseFloatArg :: RewriteH CoreExpr

f (case s of alt1 -> e1; alt2 -> e2) ==> case s of alt1 -> f e1; alt2 -> f e2 Only safe if f is strict.

caseFloatCase :: RewriteH CoreExpr

case (case s1 of alt11 -> e11; alt12 -> e12) of alt21 -> e21; alt22 -> e22 ==> case s1 of alt11 -> case e11 of alt21 -> e21; alt22 -> e22 alt12 -> case e12 of alt21 -> e21; alt22 -> e22

caseFloatLet :: RewriteH CoreExpr

let v = case ec of alt1 -> e1 in e ==> case ec of alt1 -> let v = e1 in e

caseFloat :: RewriteH CoreExpr

Float a Case whatever the context.

caseReduce :: RewriteH CoreExpr

Case-of-known-constructor rewrite.

caseSplit :: Name -> RewriteH CoreExpr

Case split a free variable in an expression:

Assume expression e which mentions x :: [a]

e ==> case x of x [] -> e (a:b) -> e

caseSplitInline :: Name -> RewriteH Core

Like caseSplit, but additionally inlines the constructor applications for each occurance of the named variable.

 caseSplitInline nm = caseSplit nm >>> anybuR (inlineName nm)