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