ghc-lib-parser-9.4.7.20230826: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Core.Rules

Description

Functions for collecting together and applying rewrite rules to a module. The CoreRule datatype itself is declared elsewhere.

Synopsis

Constructing

Checking rule applications

ruleCheckProgram Source #

Arguments

:: RuleOpts

Rule options

-> CompilerPhase

Rule activation test

-> String

Rule pattern

-> (Id -> [CoreRule])

Rules for an Id

-> CoreProgram

Bindings to check in

-> SDoc

Resulting check message

Report partial matches for rules beginning with the specified string for the purposes of error reporting

Manipulating RuleInfo rules

Misc. CoreRule helpers

rulesOfBinds :: [CoreBind] -> [CoreRule] Source #

Gather all the rules for locally bound identifiers from the supplied bindings

lookupRule :: RuleOpts -> InScopeEnv -> (Activation -> Bool) -> Id -> [CoreExpr] -> [CoreRule] -> Maybe (CoreRule, CoreExpr) Source #

The main rule matching function. Attempts to apply all (active) supplied rules to this instance of an application in a given context, returning the rule applied and the resulting expression if successful.

mkRule :: Module -> Bool -> Bool -> RuleName -> Activation -> Name -> [CoreBndr] -> [CoreExpr] -> CoreExpr -> CoreRule Source #

Used to make CoreRule for an Id defined in the module being compiled. See also CoreRule

roughTopNames :: [CoreExpr] -> [Maybe Name] Source #

Find the "top" free names of several expressions. Such names are either:

  1. The function finally being applied to in an application chain (if that name is a GlobalId: see GHC.Types.Var), or
  2. The TyCon if the expression is a Expr

This is used for the fast-match-check for rules; if the top names don't match, the rest can't

initRuleOpts :: DynFlags -> RuleOpts Source #

Initialize RuleOpts from DynFlags