clash-lib-1.8.0: Clash: a functional hardware description language - As a library
Copyright(C) 2012-2016 University of Twente
(C) 2021 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Normalize.Strategy

Description

Transformation process for normalization

Synopsis

Documentation

normalization :: NormRewrite Source #

Normalisation transformation

topdownSucR :: Rewrite extra -> Rewrite extra Source #

Topdown traversal, stops upon first success

innerMost :: Rewrite extra -> Rewrite extra Source #

applyMany :: [(String, Rewrite extra)] -> Rewrite extra Source #