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