Safe Haskell | None |
---|---|
Language | Haskell2010 |
Transformation process for normalization
- normalization :: NormRewrite
- constantPropgation :: NormRewrite
- topdownSucR :: Rewrite extra -> Rewrite extra
- innerMost :: Rewrite extra -> Rewrite extra
- applyMany :: [(String, Rewrite extra)] -> Rewrite extra
Documentation
normalization :: NormRewrite Source
Normalisation transformation
topdownSucR :: Rewrite extra -> Rewrite extra Source
Topdown traversal, stops upon first success