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

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

This module exposes a set of functions for manipulating and parsing expressions using strategies.

# Documentation

normalize :: Expr -> (Expr, [Attribute]) Source #

Normalizes (commutativity, associativity, distributivity, etc) an expression. Returns a product of a normalized expression and applied rewrites