Safe Haskell | None |
---|---|

Language | Haskell2010 |

Transformation process for normalization

- normalization :: NormRewrite
- constantPropgation :: NormRewrite
- topdownSucR :: (Functor m, Monad m) => Rewrite m -> Rewrite m
- innerMost :: (Functor m, Monad m) => Rewrite m -> Rewrite m
- applyMany :: (Functor m, Monad m) => [(String, Rewrite m)] -> Rewrite m

# Documentation

normalization :: NormRewrite Source

Normalisation transformation