GHC.Tc.Gen.Rule
Description
Typechecking rewrite rules
tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] Source #