Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Tc.Gen.Rule
Description
Typechecking rewrite rules
Documentation
tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Tc.Gen.Rule
Description
Typechecking rewrite rules
tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] Source #