Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

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`