HERMIT.Dictionary.Rules

GHC Rewrite Rules and Specialisation

externals

Rules

data RuleName

data RuleNameListBox

foldRuleR

foldRulesR

unfoldRuleR

unfoldRulesR

compileRulesT

ruleToQuantifiedT

ruleNameToQuantifiedT

getHermitRuleT

getHermitRulesT

Specialisation

specConstrR

specialiseR