| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Strategy.Rules
Description
Defines a set of Ideas rules that may be used for rewriting expressions.
Documentation
liftRule :: Rule (Equation Expr) -> Rule (Relation Expr) Source #
Lifts any rule that may be applied to an equation to a rule that can be applied to relations
removeTimes :: Rule (Relation Expr) Source #
Allows a rewrite that attempts to remove multiplications by division
>>>2 * 2 + 4 * a = 8>>>2 + 2 * a = 4
distributeDivision :: Rule Expr Source #
Rule wrapper over distributeDivisionT