Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Some simplification rules for BasicOp
.
Synopsis
- basicOpRules :: (BuilderOps rep, Aliased rep) => RuleBook rep
Documentation
basicOpRules :: (BuilderOps rep, Aliased rep) => RuleBook rep Source #
A set of simplification rules for BasicOp
s. Includes rules
from Futhark.Optimise.Simplify.Rules.Simple.