| Copyright | (C) 2012-2016 University of Twente (C) 2021 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <devops@qbaylogic.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.Normalize.Strategy
Description
Transformation process for normalization
Synopsis
- normalization :: NormRewrite
- constantPropagation :: 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