Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Loop simplification rules.
Synopsis
- loopRules :: BuilderOps rep => RuleBook rep
Documentation
loopRules :: BuilderOps rep => RuleBook rep Source #
Standard loop simplification rules.
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Loop simplification rules.
loopRules :: BuilderOps rep => RuleBook rep Source #
Standard loop simplification rules.