Rules

RuleBase

type RuleBase

Constructing

emptyRuleBase

mkRuleBase

extendRuleBaseList

unionRuleBase

pprRuleBase

Checking rule applications

ruleCheckProgram

Manipulating SpecInfo rules

mkSpecInfo

extendSpecInfo

addSpecInfo

addIdSpecialisations

Misc. CoreRule helpers

rulesOfBinds

getRules

pprRulesForUser

lookupRule

mkRule

roughTopNames