Rules

Constructing

emptyRuleBase

mkRuleBase

extendRuleBaseList

unionRuleBase

pprRuleBase

Checking rule applications

ruleCheckProgram

Manipulating RuleInfo rules

mkRuleInfo

extendRuleInfo

addRuleInfo

addIdSpecialisations

Misc. CoreRule helpers

rulesOfBinds

getRules

pprRulesForUser

lookupRule

mkRule

roughTopNames