HERMIT.Dictionary.Rules

GHC Rewrite Rules and Specialisation

externals

Rules

type RuleNameString

ruleR

rulesR

ruleToEqualityT

ruleNameToEqualityT

getHermitRuleT

getHermitRulesT

Specialisation

specConstrR