| Copyright | (C) 2012-2016 University of Twente |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.Normalize.Strategy
Description
Transformation process for normalization
Synopsis
- 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