GHC.Core.Opt.ConstantFold

Constant Folder

Documentation

primOpRules :: Name -> PrimOp -> Maybe CoreRule

builtinRules :: [CoreRule]

caseRules :: Platform -> CoreExpr -> Maybe (CoreExpr, AltCon -> Maybe AltCon, Id -> CoreExpr)

Match the scrutinee of a case and potentially return a new scrutinee and a function to apply to each literal alternative.

caseRules2

Arguments

:: InExpr

Scutinee

-> InId

Case-binder

-> [InAlt]

Alternatives in standard (increasing) order

-> Maybe (InExpr, InId, [InAlt])

Case rules

It's important that occurence info are present, hence the use of In* types.