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