Safe Haskell | None |
---|---|
Language | GHC2021 |
Typechecking rewrite rules
Documentation
tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] Source #
Safe Haskell | None |
---|---|
Language | GHC2021 |
Typechecking rewrite rules
tcRules :: [LRuleDecls GhcRn] -> TcM [LRuleDecls GhcTc] Source #