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